The cat chases the lion. The cat chases the squirrel. The cat is red. The cat is not young. The cat sees the lion. The cat does not see the squirrel. The cat visits the lion. The cat visits the squirrel. The lion chases the cat. The lion chases the squirrel. The lion is young. The lion sees the squirrel. The lion visits the cat. The squirrel chases the cat. The squirrel is young. The squirrel does not see the lion. If the lion is young then the lion is nice. If something visits the lion then the lion visits the cat. If something sees the cat then the cat does not visit the lion. If something visits the squirrel then it sees the lion. If something visits the lion and it is red then it is nice. If the lion visits the cat then the lion sees the squirrel. If something visits the squirrel then it visits the cat. If something chases the lion then the lion does not see the cat.
The lion does not see the cat.
@0: The cat chases the lion.[(triple1)] The cat chases the squirrel.[(triple2)] The cat does not see the squirrel.[(triple6)] The cat is not young.[(triple4)] The cat is red.[(triple3)] The cat sees the lion.[(triple5 OR ((triple8) -> rule4))] The cat visits the lion.[(triple7)] The cat visits the squirrel.[(triple8)] The lion chases the cat.[(triple9)] The lion chases the squirrel.[(triple10)] The lion is young.[(triple11)] The lion sees the squirrel.[(triple12 OR ((triple13) -> rule6) OR ((((triple7) -> rule2)) -> rule6))] The lion visits the cat.[(triple13 OR ((triple7) -> rule2))] The squirrel chases the cat.[(triple14)] The squirrel does not see the lion.[(triple16)] The squirrel is young.[(triple15)] @1: The cat is nice.[(((triple7 triple3) -> rule5))] The cat visits the cat.[(((triple8) -> rule7))] The lion does not see the cat.[(((triple1) -> rule8))] The lion is nice.[(((triple11) -> rule1))]