The cat chases the tiger. The cat is young. The cat needs the squirrel. The cat needs the tiger. The cat sees the squirrel. The squirrel is big. The squirrel is cold. The squirrel sees the tiger. The tiger chases the cat. The tiger chases the squirrel. The tiger is big. The tiger needs the cat. The tiger needs the squirrel. The tiger sees the cat. The tiger sees the squirrel. If something is rough and big then it needs the cat. If something is rough then it chases the squirrel. If something is cold and it chases the cat then the cat sees the tiger. If something sees the tiger then it sees the cat. If something needs the tiger then the tiger is young. If something is big then it chases the cat. If something chases the tiger and it needs the cat then it sees the squirrel. If something is rough then it chases the squirrel.
The squirrel does not see the squirrel.
@0: The cat chases the tiger.[(triple1)] The cat is young.[(triple2)] The cat needs the squirrel.[(triple3)] The cat needs the tiger.[(triple4)] The cat sees the squirrel.[(triple5)] The squirrel is big.[(triple6)] The squirrel is cold.[(triple7)] The squirrel sees the tiger.[(triple8)] The tiger chases the cat.[(triple9 OR ((triple11) -> rule6))] The tiger chases the squirrel.[(triple10)] The tiger is big.[(triple11)] The tiger needs the cat.[(triple12)] The tiger needs the squirrel.[(triple13)] The tiger sees the cat.[(triple14)] The tiger sees the squirrel.[(triple15)] @1: The squirrel chases the cat.[(((triple6) -> rule6))] The squirrel sees the cat.[(((triple8) -> rule4))] The tiger is young.[(((triple4) -> rule5))] @2: The cat sees the tiger.[(((triple7 ((triple6) -> rule6)) -> rule3))] @3: The cat sees the cat.[(((((triple7 ((triple6) -> rule6)) -> rule3)) -> rule4))]