The cat chases the cow. The cat is big. The cat is blue. The cat is cold. The cat is green. The cat is nice. The cat sees the cow. The cat visits the cow. The cow chases the cat. The cow is big. The cow is blue. The cow is cold. The cow is green. The cow is nice. The cow sees the cat. The cow visits the cat. If someone sees the cat then they are nice. If someone sees the cat then they are big. If someone chases the cow and they chase the cat then the cow is green.
The cat does not chase the cat.
@0: The cat chases the cow.[(triple1)] The cat is big.[(triple2)] The cat is blue.[(triple3)] The cat is cold.[(triple4)] The cat is green.[(triple5)] The cat is nice.[(triple6)] The cat sees the cow.[(triple7)] The cat visits the cow.[(triple8)] The cow chases the cat.[(triple9)] The cow is big.[(triple10 OR ((triple15) -> rule2))] The cow is blue.[(triple11)] The cow is cold.[(triple12)] The cow is green.[(triple13)] The cow is nice.[(triple14 OR ((triple15) -> rule1))] The cow sees the cat.[(triple15)] The cow visits the cat.[(triple16)]