CONSOLIDATE : 39 OUT relations NEG
Hell in a Cell r_isa en:to match IS < 0 AND en:to match r_hypo Hell in a Cell IS > 0 ==> inverse_relation(15314747, 10368029, 8)
Hell in a Cell r_isa en:to reply to IS < 0 AND en:to reply to r_hypo Hell in a Cell IS > 0 ==> inverse_relation(15762132, 10368029, 8)
Hell in a Cell r_isa en:to meet IS < 0 AND en:to meet r_hypo Hell in a Cell IS > 0 ==> inverse_relation(15293451, 10368029, 8)
CONSOLIDATE : 704 IN relations NEG

fini !