The cat chases the lion. The cat eats the lion. The cat is big. The cat needs the lion. The lion is red. The lion is young. The lion needs the cat. If something is green then it needs the lion. If something chases the cat then the cat is red. If something is green and it eats the cat then it is young. If something is young then it eats the cat. If something chases the lion and it is red then it eats the cat. If something needs the lion and it is big then the lion chases the cat. If something chases the lion and the lion is young then the lion is big. If something needs the cat and the cat needs the lion then it is big.
The lion does not chase the cat.
@0: The cat chases the lion.[(triple1)] The cat eats the lion.[(triple2)] The cat is big.[(triple3)] The cat needs the lion.[(triple4)] The lion is red.[(triple5)] The lion is young.[(triple6)] The lion needs the cat.[(triple7)] @1: The lion chases the cat.[(((triple4 triple3) -> rule6))] The lion eats the cat.[(((triple6) -> rule4))] The lion is big.[(((triple1 triple6) -> rule7) OR ((triple7 triple4) -> rule8))] @2: The cat is red.[(((((triple4 triple3) -> rule6)) -> rule2))] @3: The cat eats the cat.[(((triple1 ((((triple4 triple3) -> rule6)) -> rule2)) -> rule5))]