The cat chases the lion. The cat is big. The cat is red. The cat is round. The cat needs the lion. The cat sees the lion. The lion chases the cat. The lion is nice. The lion is red. The lion is round. The lion needs the cat. The lion sees the cat. If something sees the cat then it is not big. If something needs the lion then the lion chases the cat. If something is rough then it chases the cat. If something chases the lion then the lion needs the cat. If the lion sees the cat and the cat does not chase the lion then the cat is red. If something needs the cat then the cat sees the lion.
The cat does not see the lion.
@0: The cat chases the lion.[(triple1)] The cat is big.[(triple2)] The cat is red.[(triple3)] The cat is round.[(triple4)] The cat needs the lion.[(triple5)] The cat sees the lion.[(triple6 OR ((triple11) -> rule6) OR ((((triple1) -> rule4)) -> rule6))] The lion chases the cat.[(triple7 OR ((triple5) -> rule2))] The lion is nice.[(triple8)] The lion is red.[(triple9)] The lion is round.[(triple10)] The lion needs the cat.[(triple11 OR ((triple1) -> rule4))] The lion sees the cat.[(triple12)] @1: The lion is not big.[(((triple12) -> rule1))]