The cat eats the rabbit. The cat is green. The rabbit likes the cat. If something visits the cat then it eats the rabbit. If the cat visits the rabbit then the cat is round. If something eats the rabbit then the rabbit visits the cat. If something eats the rabbit and the rabbit likes the cat then it is green. If the rabbit likes the cat then the rabbit is blue. If something visits the cat and it visits the rabbit then the rabbit eats the cat. If something eats the cat then it likes the rabbit. If something is round then it eats the cat.
The rabbit does not visit the cat.
@0: The cat eats the rabbit.[(triple1)] The cat is green.[(triple2 OR ((triple1 triple3) -> rule4))] The rabbit likes the cat.[(triple3)] @1: The rabbit is blue.[(((triple3) -> rule5))] The rabbit visits the cat.[(((triple1) -> rule3))] @2: The rabbit eats the rabbit.[(((((triple1) -> rule3)) -> rule1))] @3: The rabbit is green.[(((((((triple1) -> rule3)) -> rule1) triple3) -> rule4))]