The cat is red. The cat is young. The cat sees the lion. The cat sees the squirrel. The lion chases the squirrel. The lion is young. The lion likes the cat. The lion likes the squirrel. The squirrel chases the lion. The squirrel is green. The squirrel is red. The squirrel is young. The squirrel likes the cat. The squirrel likes the lion. The squirrel sees the cat. If something likes the cat and the cat likes the squirrel then the squirrel is young. If something is blue and it sees the squirrel then it likes the lion. If the lion is cold and the lion chases the cat then the lion sees the squirrel. If something is blue then it likes the lion. If something is red and it sees the lion then the lion is blue. If something is young then it sees the lion. If something is green then it likes the squirrel. If something chases the lion and it is red then it likes the squirrel.
The squirrel chases the lion.
@0: The cat is red.[(triple1)] The cat is young.[(triple2)] The cat sees the lion.[(triple3 OR ((triple2) -> rule6))] The cat sees the squirrel.[(triple4)] The lion chases the squirrel.[(triple5)] The lion is young.[(triple6)] The lion likes the cat.[(triple7)] The lion likes the squirrel.[(triple8)] The squirrel chases the lion.[(triple9)] The squirrel is green.[(triple10)] The squirrel is red.[(triple11)] The squirrel is young.[(triple12)] The squirrel likes the cat.[(triple13)] The squirrel likes the lion.[(triple14)] The squirrel sees the cat.[(triple15)] @1: The lion is blue.[(((triple1 triple3) -> rule5) OR ((triple1 ((triple2) -> rule6)) -> rule5) OR ((triple11 ((triple12) -> rule6)) -> rule5))] The lion sees the lion.[(((triple6) -> rule6))] The squirrel likes the squirrel.[(((triple10) -> rule7) OR ((triple9 triple11) -> rule8))] The squirrel sees the lion.[(((triple12) -> rule6))] @2: The lion likes the lion.[(((((triple1 triple3) -> rule5)) -> rule4) OR ((((triple1 ((triple2) -> rule6)) -> rule5)) -> rule4) OR ((((triple11 ((triple12) -> rule6)) -> rule5)) -> rule4))]