The cat chases the tiger. The cat is big. The cat likes the squirrel. The squirrel is blue. The squirrel likes the cat. The squirrel likes the tiger. The tiger chases the cat. The tiger chases the squirrel. The tiger sees the cat. The tiger sees the squirrel. If something is red then it sees the tiger. If something chases the squirrel then the squirrel sees the cat. If something is red and it likes the tiger then the tiger sees the squirrel. If something is blue then it likes the cat. If something chases the cat then it is green. If something likes the tiger and it likes the squirrel then the squirrel is young.
The tiger is green.
@0: The cat chases the tiger.[(triple1)] The cat is big.[(triple2)] The cat likes the squirrel.[(triple3)] The squirrel is blue.[(triple4)] The squirrel likes the cat.[(triple5 OR ((triple4) -> rule4))] The squirrel likes the tiger.[(triple6)] The tiger chases the cat.[(triple7)] The tiger chases the squirrel.[(triple8)] The tiger sees the cat.[(triple9)] The tiger sees the squirrel.[(triple10)] @1: The squirrel sees the cat.[(((triple8) -> rule2))] The tiger is green.[(((triple7) -> rule5))]