The cat chases the cow. The cat eats the cow. The cat sees the rabbit. The cow chases the cat. The cow eats the rabbit. The cow sees the cat. The cow sees the rabbit. The rabbit chases the cow. The rabbit eats the cat. The rabbit eats the cow. The rabbit is green. The rabbit sees the cow. If something chases the cow then it chases the cat. If something sees the cow and it chases the cow then it eats the cow. If something eats the cat and the cat sees the cow then the cow chases the rabbit.
The rabbit does not chase the cow.
@0: The cat chases the cow.[(triple1)] The cat eats the cow.[(triple2)] The cat sees the rabbit.[(triple3)] The cow chases the cat.[(triple4)] The cow eats the rabbit.[(triple5)] The cow sees the cat.[(triple6)] The cow sees the rabbit.[(triple7)] The rabbit chases the cow.[(triple8)] The rabbit eats the cat.[(triple9)] The rabbit eats the cow.[(triple10 OR ((triple12 triple8) -> rule2))] The rabbit is green.[(triple11)] The rabbit sees the cow.[(triple12)] @1: The cat chases the cat.[(((triple1) -> rule1))] The rabbit chases the cat.[(((triple8) -> rule1))]