The cat chases the rabbit. The cat eats the cow. The cat is kind. The cow chases the cat. The cow is kind. The cow is not red. The cow likes the cat. The rabbit chases the cow. The rabbit eats the cat. The rabbit is not red. If someone likes the cat then the cat chases the cow. If someone chases the cat and the cat chases the cow then the cow chases the rabbit. If someone chases the cat then they like the cat.
The cat does not chase the cow.
@0: The cat chases the rabbit.[(triple1)] The cat eats the cow.[(triple2)] The cat is kind.[(triple3)] The cow chases the cat.[(triple4)] The cow is kind.[(triple5)] The cow is not red.[(triple6)] The cow likes the cat.[(triple7 OR ((triple4) -> rule3))] The rabbit chases the cow.[(triple8)] The rabbit eats the cat.[(triple9)] The rabbit is not red.[(triple10)] @1: The cat chases the cow.[(((triple7) -> rule1) OR ((((triple4) -> rule3)) -> rule1))] @2: The cow chases the rabbit.[(((triple4 ((triple7) -> rule1)) -> rule2) OR ((triple4 ((((triple4) -> rule3)) -> rule1)) -> rule2))]