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