CONSOLIDATE : 3 OUT relations NEG
lecteur [peut] acheter [endroit] libraire r_isa entité matérielle IS < 0 AND entité matérielle r_hypo lecteur [peut] acheter [endroit] libraire IS > 0 ==> inverse_relation(15506208, 166697818, 8)
lecteur [peut] acheter [endroit] libraire r_isa cynodonte IS < 0 AND cynodonte r_hypo lecteur [peut] acheter [endroit] libraire IS > 0 ==> inverse_relation(396149, 166697818, 8)
CONSOLIDATE : 2 IN relations NEG

fini !