The cow chases the mouse. The cow is cold. The cow is kind. The cow is rough. The cow likes the tiger. The cow sees the tiger. The mouse is kind. The tiger is blue. The tiger is green. The tiger is kind. The tiger likes the cow. The tiger likes the mouse. If something chases the tiger and it is kind then the tiger is cold. If something is cold then it sees the mouse. If something is rough then it chases the tiger.
The tiger does not chase the tiger.
@0: The cow chases the mouse.[(triple1)] The cow is cold.[(triple2)] The cow is kind.[(triple3)] The cow is rough.[(triple4)] The cow likes the tiger.[(triple5)] The cow sees the tiger.[(triple6)] The mouse is kind.[(triple7)] The tiger is blue.[(triple8)] The tiger is green.[(triple9)] The tiger is kind.[(triple10)] The tiger likes the cow.[(triple11)] The tiger likes the mouse.[(triple12)] @1: The cow chases the tiger.[(((triple4) -> rule3))] The cow sees the mouse.[(((triple2) -> rule2))] @2: The tiger is cold.[(((((triple4) -> rule3) triple3) -> rule1))] @3: The tiger sees the mouse.[(((((((triple4) -> rule3) triple3) -> rule1)) -> rule2))]