The cow chases the mouse. The cow eats the mouse. The cow is kind. The cow is nice. The cow is red. The cow is rough. The cow is young. The cow likes the mouse. The mouse chases the cow. The mouse eats the cow. The mouse is young. The mouse likes the cow. If the mouse eats the cow and the cow eats the mouse then the cow likes the mouse. If someone is red then they chase the cow. If someone chases the mouse then they eat the cow. If someone eats the cow and they chase the mouse then they like the mouse. If someone is nice and they eat the mouse then they eat the cow. If someone likes the cow then the cow chases the mouse.
The mouse is rough.
@0: The cow chases the mouse.[(triple1 OR ((triple12) -> rule6))] The cow eats the mouse.[(triple2)] The cow is kind.[(triple3)] The cow is nice.[(triple4)] The cow is red.[(triple5)] The cow is rough.[(triple6)] The cow is young.[(triple7)] The cow likes the mouse.[(triple8 OR ((triple10 triple2) -> rule1) OR ((((triple1) -> rule3) triple1) -> rule4) OR ((((triple4 triple2) -> rule5) triple1) -> rule4) OR ((((triple1) -> rule3) ((triple12) -> rule6)) -> rule4) OR ((((triple4 triple2) -> rule5) ((triple12) -> rule6)) -> rule4) OR ((((((triple12) -> rule6)) -> rule3) triple1) -> rule4) OR ((((((triple12) -> rule6)) -> rule3) ((triple12) -> rule6)) -> rule4))] The mouse chases the cow.[(triple9)] The mouse eats the cow.[(triple10)] The mouse is young.[(triple11)] The mouse likes the cow.[(triple12)] @1: The cow chases the cow.[(((triple5) -> rule2))] The cow eats the cow.[(((triple1) -> rule3) OR ((triple4 triple2) -> rule5) OR ((((triple12) -> rule6)) -> rule3))]