The cow chases the mouse. The cow is blue. The cow is cold. The cow is rough. The cow is round. The cow likes the mouse. The cow needs the mouse. The mouse chases the cow. The mouse is blue. The mouse is cold. The mouse likes the cow. The mouse needs the cow. If someone likes the cow and the cow needs the mouse then they need the mouse. If someone is cold and they do not chase the cow then the cow likes the mouse. If the mouse chases the cow and the cow is round then the cow likes the mouse. If the cow needs the mouse and the mouse is blue then the cow chases the mouse. If someone needs the mouse and they need the cow then the mouse is round. If someone likes the mouse then they need the cow. If someone needs the mouse and the mouse chases the cow then they need the cow. If the mouse is not round then the mouse is rough.
The cow is not round.
@0: The cow chases the mouse.[(triple1 OR ((triple7 triple9) -> rule4))] The cow is blue.[(triple2)] The cow is cold.[(triple3)] The cow is rough.[(triple4)] The cow is round.[(triple5)] The cow likes the mouse.[(triple6 OR ((triple8 triple5) -> rule3))] The cow needs the mouse.[(triple7)] The mouse chases the cow.[(triple8)] The mouse is blue.[(triple9)] The mouse is cold.[(triple10)] The mouse likes the cow.[(triple11)] The mouse needs the cow.[(triple12 OR ((((triple11 triple7) -> rule1) triple8) -> rule7))] @1: The cow needs the cow.[(((triple6) -> rule6) OR ((triple7 triple8) -> rule7) OR ((((triple8 triple5) -> rule3)) -> rule6))] The mouse needs the mouse.[(((triple11 triple7) -> rule1))] @2: The mouse is round.[(((triple7 ((triple6) -> rule6)) -> rule5) OR ((triple7 ((triple7 triple8) -> rule7)) -> rule5) OR ((((triple11 triple7) -> rule1) triple12) -> rule5) OR ((triple7 ((((triple8 triple5) -> rule3)) -> rule6)) -> rule5) OR ((((triple11 triple7) -> rule1) ((((triple11 triple7) -> rule1) triple8) -> rule7)) -> rule5))]