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