The cat chases the lion. The cat is big. The cat is blue. The cat is kind. The cat is red. The cat is rough. The cat needs the lion. The cat visits the lion. The lion chases the cat. The lion is big. The lion is blue. The lion is kind. The lion is red. The lion needs the cat. The lion visits the cat. If the lion is big then the lion is blue. If something is blue and it needs the lion then it visits the lion. If the cat needs the lion then the lion needs the cat. If something is rough and kind then it chases the cat. If something chases the lion then the lion visits the cat. If the lion chases the cat and the cat needs the lion then the cat visits the lion. If something visits the cat then it visits the lion. If something is blue and it needs the lion then it visits the cat.
The cat does not need the lion.
@0: The cat chases the lion.[(triple1)] The cat is big.[(triple2)] The cat is blue.[(triple3)] The cat is kind.[(triple4)] The cat is red.[(triple5)] The cat is rough.[(triple6)] The cat needs the lion.[(triple7)] The cat visits the lion.[(triple8 OR ((triple3 triple7) -> rule2) OR ((triple9 triple7) -> rule6) OR ((((triple3 triple7) -> rule8)) -> rule7))] The lion chases the cat.[(triple9)] The lion is big.[(triple10)] The lion is blue.[(triple11 OR ((triple10) -> rule1))] The lion is kind.[(triple12)] The lion is red.[(triple13)] The lion needs the cat.[(triple14 OR ((triple7) -> rule3))] The lion visits the cat.[(triple15 OR ((triple1) -> rule5))] @1: The cat chases the cat.[(((triple6 triple4) -> rule4))] The cat visits the cat.[(((triple3 triple7) -> rule8))] The lion visits the lion.[(((triple15) -> rule7) OR ((((triple1) -> rule5)) -> rule7))]