The cow chases the mouse. The cow is blue. The cow is red. The cow is rough. The cow is round. The cow is young. The cow needs the mouse. The cow visits the mouse. The mouse chases the cow. The mouse is blue. The mouse is red. The mouse is rough. The mouse is round. The mouse needs the cow. The mouse visits the cow. If someone is young then they chase the cow. If someone is red and rough then they need the mouse. If someone is red and blue then they chase the cow. If the mouse visits the cow then the mouse chases the cow. If the cow chases the mouse then the mouse needs the cow. If the mouse is rough and the mouse is young then the mouse needs the cow.
The mouse is not rough.
@0: The cow chases the mouse.[(triple1)] The cow is blue.[(triple2)] The cow is red.[(triple3)] The cow is rough.[(triple4)] The cow is round.[(triple5)] The cow is young.[(triple6)] The cow needs the mouse.[(triple7 OR ((triple3 triple4) -> rule2))] The cow visits the mouse.[(triple8)] The mouse chases the cow.[(triple9 OR ((triple15) -> rule4) OR ((triple11 triple10) -> rule3))] The mouse is blue.[(triple10)] The mouse is red.[(triple11)] The mouse is rough.[(triple12)] The mouse is round.[(triple13)] The mouse needs the cow.[(triple14 OR ((triple1) -> rule5))] The mouse visits the cow.[(triple15)] @1: The cow chases the cow.[(((triple6) -> rule1) OR ((triple3 triple2) -> rule3))] The mouse needs the mouse.[(((triple11 triple12) -> rule2))]