The cat is kind. The cat is red. The cat likes the lion. The cat needs the lion. The cat visits the lion. The lion is blue. The lion is green. The lion is nice. The lion likes the cat. The lion needs the cat. If something is kind then it visits the lion. If something is green and it needs the cat then the cat likes the lion. If something visits the cat and the cat is nice then the cat needs the lion. If something is nice then it likes the cat. If something likes the cat then it likes the lion. If something likes the lion then the lion needs the cat.
The lion is nice.
@0: The cat is kind.[(triple1)] The cat is red.[(triple2)] The cat likes the lion.[(triple3 OR ((triple7 triple10) -> rule2) OR ((triple7 ((((triple9) -> rule5)) -> rule6)) -> rule2) OR ((triple7 ((((((triple8) -> rule4)) -> rule5)) -> rule6)) -> rule2))] The cat needs the lion.[(triple4)] The cat visits the lion.[(triple5 OR ((triple1) -> rule1))] The lion is blue.[(triple6)] The lion is green.[(triple7)] The lion is nice.[(triple8)] The lion likes the cat.[(triple9 OR ((triple8) -> rule4))] The lion needs the cat.[(triple10 OR ((triple3) -> rule6) OR ((((triple9) -> rule5)) -> rule6) OR ((((((triple8) -> rule4)) -> rule5)) -> rule6))] @1: The lion likes the lion.[(((triple9) -> rule5) OR ((((triple8) -> rule4)) -> rule5))]