The cat eats the rabbit. The cat sees the rabbit. The cat visits the rabbit. The rabbit eats the cat. The rabbit is green. The rabbit is rough. The rabbit sees the cat. If something visits the rabbit then the rabbit sees the cat. If something visits the rabbit then the rabbit eats the cat. If something sees the cat then it eats the cat.
The cat does not eat the cat.
@0: The cat eats the rabbit.[(triple1)] The cat sees the rabbit.[(triple2)] The cat visits the rabbit.[(triple3)] The rabbit eats the cat.[(triple4 OR ((triple3) -> rule2) OR ((triple7) -> rule3) OR ((((triple3) -> rule1)) -> rule3))] The rabbit is green.[(triple5)] The rabbit is rough.[(triple6)] The rabbit sees the cat.[(triple7 OR ((triple3) -> rule1))]