The cat eats the cow. The cat eats the dog. The cat is red. The cat sees the cow. The cow chases the cat. The cow chases the dog. The cow eats the cat. The cow eats the dog. The cow is big. The cow is green. The cow is red. The cow sees the cat. The cow sees the dog. The dog chases the cow. The dog eats the cow. The dog sees the cat. If the dog sees the cow then the dog is rough. If someone eats the cat then they chase the dog. If someone sees the dog then the dog sees the cow. If someone chases the cat and they are rough then the cat is blue. If someone chases the cat and the cat eats the dog then they chase the cow. If someone sees the dog then the dog chases the cow. If someone eats the dog and the dog is green then they are blue. If someone eats the cow then they eat the dog.
The dog is not blue.
@0: The cat eats the cow.[(triple1)] The cat eats the dog.[(triple2 OR ((triple1) -> rule8))] The cat is red.[(triple3)] The cat sees the cow.[(triple4)] The cow chases the cat.[(triple5)] The cow chases the dog.[(triple6 OR ((triple7) -> rule2))] The cow eats the cat.[(triple7)] The cow eats the dog.[(triple8)] The cow is big.[(triple9)] The cow is green.[(triple10)] The cow is red.[(triple11)] The cow sees the cat.[(triple12)] The cow sees the dog.[(triple13)] The dog chases the cow.[(triple14 OR ((triple13) -> rule6))] The dog eats the cow.[(triple15)] The dog sees the cat.[(triple16)] @1: The cow chases the cow.[(((triple5 triple2) -> rule5) OR ((triple5 ((triple1) -> rule8)) -> rule5))] The dog eats the dog.[(((triple15) -> rule8))] The dog sees the cow.[(((triple13) -> rule3))] @2: The dog is rough.[(((((triple13) -> rule3)) -> rule1))]