The cow chases the mouse. The cow eats the mouse. The cow is nice. The cow is red. The cow is rough. The cow is round. The cow sees the mouse. The mouse chases the cow. The mouse eats the cow. The mouse is green. The mouse is nice. The mouse is red. The mouse is rough. The mouse is round. The mouse sees the cow. If the cow eats the mouse then the cow chases the mouse. If someone eats the mouse and the mouse eats the cow then they chase the mouse. If someone is green then they eat the cow. If someone is green and they chase the mouse then they eat the mouse. If someone is green then they eat the mouse. If someone sees the mouse and the mouse chases the cow then the cow is rough.
The mouse is not nice.
@0: The cow chases the mouse.[(triple1 OR ((triple2) -> rule1) OR ((triple2 triple9) -> rule2) OR ((triple2 ((triple10) -> rule3)) -> rule2))] The cow eats the mouse.[(triple2)] The cow is nice.[(triple3)] The cow is red.[(triple4)] The cow is rough.[(triple5 OR ((triple7 triple8) -> rule6))] The cow is round.[(triple6)] The cow sees the mouse.[(triple7)] The mouse chases the cow.[(triple8)] The mouse eats the cow.[(triple9 OR ((triple10) -> rule3))] The mouse is green.[(triple10)] The mouse is nice.[(triple11)] The mouse is red.[(triple12)] The mouse is rough.[(triple13)] The mouse is round.[(triple14)] The mouse sees the cow.[(triple15)] @1: The mouse eats the mouse.[(((triple10) -> rule5))] @2: The mouse chases the mouse.[(((((triple10) -> rule5) triple9) -> rule2) OR ((((triple10) -> rule5) ((triple10) -> rule3)) -> rule2))]