The cat chases the rabbit. The cat is red. The cat likes the tiger. The rabbit chases the tiger. The rabbit is red. The rabbit is young. The rabbit needs the tiger. The squirrel chases the cat. The squirrel is young. The squirrel likes the tiger. The squirrel needs the rabbit. The tiger chases the squirrel. The tiger is blue. The tiger is green. The tiger is kind. The tiger likes the cat. If the cat chases the squirrel then the squirrel chases the tiger. If something is blue then it chases the tiger. If something likes the tiger and the tiger is green then it is green. If something is red and it needs the rabbit then the rabbit likes the squirrel. If something chases the rabbit then it needs the rabbit. If something needs the cat then the cat likes the squirrel.
The tiger does not chase the tiger.
@0: The cat chases the rabbit.[(triple1)] The cat is red.[(triple2)] The cat likes the tiger.[(triple3)] The rabbit chases the tiger.[(triple4)] The rabbit is red.[(triple5)] The rabbit is young.[(triple6)] The rabbit needs the tiger.[(triple7)] The squirrel chases the cat.[(triple8)] The squirrel is young.[(triple9)] The squirrel likes the tiger.[(triple10)] The squirrel needs the rabbit.[(triple11)] The tiger chases the squirrel.[(triple12)] The tiger is blue.[(triple13)] The tiger is green.[(triple14)] The tiger is kind.[(triple15)] The tiger likes the cat.[(triple16)] @1: The cat is green.[(((triple3 triple14) -> rule3))] The cat needs the rabbit.[(((triple1) -> rule5))] The squirrel is green.[(((triple10 triple14) -> rule3))] The tiger chases the tiger.[(((triple13) -> rule2))] @2: The rabbit likes the squirrel.[(((triple2 ((triple1) -> rule5)) -> rule4))]