The cat chases the lion. The cat eats the rabbit. The cat does not eat the squirrel. The cat is red. The cat does not see the rabbit. The lion chases the cat. The lion chases the squirrel. The lion eats the squirrel. The lion is nice. The lion is red. The lion sees the squirrel. The rabbit eats the lion. The rabbit eats the squirrel. The rabbit is rough. The rabbit sees the squirrel. The squirrel is cold. If something is cold then it does not chase the rabbit. If something chases the rabbit then it eats the lion. If something chases the cat and the cat does not see the rabbit then the cat chases the rabbit. If something eats the lion then it chases the cat. If the rabbit chases the lion and the squirrel does not eat the rabbit then the rabbit sees the lion. If something sees the lion then it eats the squirrel. If something is rough then it does not eat the cat. If something chases the rabbit then the rabbit chases the lion.
The cat is not red.
@0: The cat chases the lion.[(triple1)] The cat does not eat the squirrel.[(triple3)] The cat does not see the rabbit.[(triple5)] The cat eats the rabbit.[(triple2)] The cat is red.[(triple4)] The lion chases the cat.[(triple6)] The lion chases the squirrel.[(triple7)] The lion eats the squirrel.[(triple8)] The lion is nice.[(triple9)] The lion is red.[(triple10)] The lion sees the squirrel.[(triple11)] The rabbit eats the lion.[(triple12)] The rabbit eats the squirrel.[(triple13)] The rabbit is rough.[(triple14)] The rabbit sees the squirrel.[(triple15)] The squirrel is cold.[(triple16)] @1: The cat chases the rabbit.[(((triple6 triple5) -> rule3) OR ((((triple12) -> rule4) triple5) -> rule3))] The rabbit chases the cat.[(((triple12) -> rule4))] The rabbit does not eat the cat.[(((triple14) -> rule7))] The squirrel does not chase the rabbit.[(((triple16) -> rule1))] @2: The cat eats the lion.[(((((triple6 triple5) -> rule3)) -> rule2) OR ((((((triple12) -> rule4) triple5) -> rule3)) -> rule2))] The rabbit chases the lion.[(((((triple6 triple5) -> rule3)) -> rule8) OR ((((((triple12) -> rule4) triple5) -> rule3)) -> rule8))] @3: The cat chases the cat.[(((((((triple6 triple5) -> rule3)) -> rule2)) -> rule4) OR ((((((((triple12) -> rule4) triple5) -> rule3)) -> rule2)) -> rule4))]