The cat chases the lion. The cat is not big. The cat is cold. The cat is nice. The cat is red. The cat is round. The cat needs the lion. The cat does not see the lion. The lion chases the cat. The lion is big. The lion is not cold. The lion is nice. The lion is red. The lion is round. The lion needs the cat. The lion sees the cat. If something chases the lion then it does not chase the cat. If something sees the cat then the cat is round. If something sees the lion and it is nice then it sees the cat. If the cat chases the lion and the cat is big then the cat does not see the lion. If something sees the cat then the cat does not see the lion. All round things are red. If the lion needs the cat then the cat needs the lion. If something needs the cat then it sees the lion.
The cat does not see the cat.
@0: The cat chases the lion.[(triple1)] The cat does not see the lion.[(triple8 OR ((triple16) -> rule5) OR ((((((triple15) -> rule8) triple12) -> rule3)) -> rule5))] The cat is cold.[(triple3)] The cat is nice.[(triple4)] The cat is not big.[(triple2)] The cat is red.[(triple5 OR ((triple6) -> rule6) OR ((((triple16) -> rule2)) -> rule6) OR ((((((((triple15) -> rule8) triple12) -> rule3)) -> rule2)) -> rule6))] The cat is round.[(triple6 OR ((triple16) -> rule2) OR ((((((triple15) -> rule8) triple12) -> rule3)) -> rule2))] The cat needs the lion.[(triple7 OR ((triple15) -> rule7))] The lion chases the cat.[(triple9)] The lion is big.[(triple10)] The lion is nice.[(triple12)] The lion is not cold.[(triple11)] The lion is red.[(triple13 OR ((triple14) -> rule6))] The lion is round.[(triple14)] The lion needs the cat.[(triple15)] The lion sees the cat.[(triple16 OR ((((triple15) -> rule8) triple12) -> rule3))] @1: The cat does not chase the cat.[(((triple1) -> rule1))] The lion sees the lion.[(((triple15) -> rule8))]