The cat chases the lion. The cat is cold. The cat needs the lion. The cat sees the lion. The lion does not chase 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 cat is nice then the cat is blue. If someone sees the lion and the lion sees the cat then the lion needs the cat. If someone sees the lion then they chase the cat. If someone chases the lion and they need the lion then they see the lion. If someone needs the cat then the cat chases the lion. Blue people are not cold. If someone chases the cat and the cat does not see the lion then they are round. If someone sees the lion and the lion is round then the lion is red.
The lion is not nice.
@0: The cat chases the lion.[(triple1 OR ((triple9) -> rule5) OR ((((triple4 triple10) -> rule2)) -> rule5))] The cat is cold.[(triple2)] The cat needs the lion.[(triple3)] The cat sees the lion.[(triple4 OR ((triple1 triple3) -> rule4) OR ((((triple9) -> rule5) triple3) -> rule4))] The lion does not chase the cat.[(triple5)] The lion is blue.[(triple6)] The lion is nice.[(triple7)] The lion is red.[(triple8)] The lion needs the cat.[(triple9 OR ((triple4 triple10) -> rule2) OR ((((triple1 triple3) -> rule4) triple10) -> rule2))] The lion sees the cat.[(triple10)] @1: The cat chases the cat.[(((triple4) -> rule3) OR ((((triple1 triple3) -> rule4)) -> rule3) OR ((((((triple9) -> rule5) triple3) -> rule4)) -> rule3))] The lion is not cold.[(((triple6) -> rule6))]