The cow eats the mouse. The cow is green. The cow is red. The cow is rough. The cow needs the mouse. The cow sees the mouse. The mouse eats the cow. The mouse is blue. The mouse is green. The mouse needs the cow. If someone is rough then they need the mouse. If someone is blue and they see the cow then the cow is blue. If someone needs the mouse then they are green. Young people are blue. All young people are rough. If someone eats the cow and the cow sees the mouse then the mouse sees the cow. If someone is rough and they eat the cow then they need the mouse. If someone sees the mouse then they need the mouse.
The mouse sees the cow.
@0: The cow eats the mouse.[(triple1)] The cow is green.[(triple2 OR ((triple5) -> rule3) OR ((((triple4) -> rule1)) -> rule3) OR ((((triple6) -> rule8)) -> rule3))] The cow is red.[(triple3)] The cow is rough.[(triple4)] The cow needs the mouse.[(triple5 OR ((triple4) -> rule1) OR ((triple6) -> rule8))] The cow sees the mouse.[(triple6)] The mouse eats the cow.[(triple7)] The mouse is blue.[(triple8)] The mouse is green.[(triple9)] The mouse needs the cow.[(triple10)] @1: The mouse sees the cow.[(((triple7 triple6) -> rule6))] @2: The cow is blue.[(((triple8 ((triple7 triple6) -> rule6)) -> rule2))]