The cat likes the cow. The cat does not see the squirrel. The cow is kind. The cow likes the squirrel. The squirrel likes the tiger. The squirrel sees the cat. The tiger likes the squirrel. If something is kind then it sees the tiger. If something sees the tiger then the tiger likes the cat. If something likes the squirrel then the squirrel eats the tiger. If something sees the cat then the cat is nice. If something is young then it does not eat the cow. If something eats the squirrel then it sees the squirrel. If something is nice and green then it is big. If something likes the tiger and it is not young then the tiger does not see the cat.
The cat is not big.
@0: The cat does not see the squirrel.[(triple2)] The cat likes the cow.[(triple1)] The cow is kind.[(triple3)] The cow likes the squirrel.[(triple4)] The squirrel likes the tiger.[(triple5)] The squirrel sees the cat.[(triple6)] The tiger likes the squirrel.[(triple7)] @1: The cat is nice.[(((triple6) -> rule4))] The cow sees the tiger.[(((triple3) -> rule1))] The squirrel eats the tiger.[(((triple4) -> rule3) OR ((triple7) -> rule3))] @2: The tiger likes the cat.[(((((triple3) -> rule1)) -> rule2))]