The cow chases the mouse. The cow is not big. The cow is nice. The cow is red. 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 not big. The mouse is nice. The mouse is red. The mouse is rough. The mouse is not round. The mouse likes the cow. The mouse needs the cow. If the cow is not big then the cow is nice. If someone likes the mouse then they need the mouse. If someone likes the cow then they need the cow. If someone is rough then they like the cow. If someone chases the cow then they are red. If someone is red then they chase the mouse. If someone chases the mouse and they do not need the mouse then the mouse does not chase the cow. If someone is red then they chase the cow.
The mouse does not need the mouse.
@0: The cow chases the mouse.[(triple1 OR ((triple4) -> rule6))] The cow is nice.[(triple3 OR ((triple2) -> rule1))] The cow is not big.[(triple2)] The cow is red.[(triple4)] The cow is rough.[(triple5)] The cow is round.[(triple6)] The cow likes the mouse.[(triple7)] The cow needs the mouse.[(triple8 OR ((triple7) -> rule2))] The mouse chases the cow.[(triple9 OR ((triple12) -> rule8))] The mouse is nice.[(triple11)] The mouse is not big.[(triple10)] The mouse is not round.[(triple14)] The mouse is red.[(triple12 OR ((triple9) -> rule5))] The mouse is rough.[(triple13)] The mouse likes the cow.[(triple15 OR ((triple13) -> rule4))] The mouse needs the cow.[(triple16 OR ((triple15) -> rule3) OR ((((triple13) -> rule4)) -> rule3))] @1: The cow chases the cow.[(((triple4) -> rule8))] The cow likes the cow.[(((triple5) -> rule4))] The mouse chases the mouse.[(((triple12) -> rule6) OR ((((triple9) -> rule5)) -> rule6))] @2: The cow needs the cow.[(((((triple5) -> rule4)) -> rule3))]