The cow chases the mouse. The cow sees the mouse. The mouse sees the cow. If something sees the mouse then it is kind. If something is rough then it chases the cow. If something sees the mouse and the mouse chases the cow then the cow sees the mouse. If something likes the cow and it sees the cow then the cow is red. If the mouse chases the cow then the cow is young. If something is rough then it likes the cow. If something chases the cow then it sees the mouse. If the mouse sees the cow then the mouse chases the cow.
The cow is not young.
@0: The cow chases the mouse.[(triple1)] The cow sees the mouse.[(triple2 OR ((((((triple3) -> rule8)) -> rule7) ((triple3) -> rule8)) -> rule3))] The mouse sees the cow.[(triple3)] @1: The cow is kind.[(((triple2) -> rule1) OR ((((((((triple3) -> rule8)) -> rule7) ((triple3) -> rule8)) -> rule3)) -> rule1))] The mouse chases the cow.[(((triple3) -> rule8))] @2: The cow is young.[(((((triple3) -> rule8)) -> rule5))] The mouse sees the mouse.[(((((triple3) -> rule8)) -> rule7))] @3: The mouse is kind.[(((((((triple3) -> rule8)) -> rule7)) -> rule1))]