The cow chases the tiger. The cow eats the rabbit. The cow is red. The cow is young. The cow sees the squirrel. The rabbit eats the cow. The rabbit is young. The squirrel is kind. The squirrel is red. The tiger is red. The tiger is young. The tiger sees the squirrel. If the cow sees the squirrel and the squirrel eats the rabbit then the rabbit sees the tiger. If something sees the tiger then the tiger is round. If something chases the squirrel then the squirrel eats the rabbit. If something is round then it sees the tiger. If something is big then it chases the squirrel. If something eats the rabbit then the rabbit chases the squirrel. If the tiger eats the cow and the cow sees the squirrel then the squirrel is young.
The squirrel chases the squirrel.
@0: The cow chases the tiger.[(triple1)] The cow eats the rabbit.[(triple2)] The cow is red.[(triple3)] The cow is young.[(triple4)] The cow sees the squirrel.[(triple5)] The rabbit eats the cow.[(triple6)] The rabbit is young.[(triple7)] The squirrel is kind.[(triple8)] The squirrel is red.[(triple9)] The tiger is red.[(triple10)] The tiger is young.[(triple11)] The tiger sees the squirrel.[(triple12)] @1: The rabbit chases the squirrel.[(((triple2) -> rule6))] @2: The squirrel eats the rabbit.[(((((triple2) -> rule6)) -> rule3))] @3: The rabbit sees the tiger.[(((triple5 ((((triple2) -> rule6)) -> rule3)) -> rule1))] @4: The tiger is round.[(((((triple5 ((((triple2) -> rule6)) -> rule3)) -> rule1)) -> rule2))] @5: The tiger sees the tiger.[(((((((triple5 ((((triple2) -> rule6)) -> rule3)) -> rule1)) -> rule2)) -> rule4))]