The cat is blue. The cat likes the lion. The lion does not need the cat. If something chases the lion and it does not like the lion then it does not need the lion. If something likes the cat and the cat needs the lion then the cat chases the lion. If something likes the cat then the cat needs the lion. If something chases the lion and it likes the lion then the lion likes the cat. If something is blue then it likes the cat. If something is kind and nice then it needs the cat. If something chases the lion and the lion is green then the lion is nice. If something likes the lion and it is blue then the lion is kind.
The lion is not rough.
@0: The cat is blue.[(triple1)] The cat likes the lion.[(triple2)] The lion does not need the cat.[(triple3)] @1: The cat likes the cat.[(((triple1) -> rule5))] The lion is kind.[(((triple2 triple1) -> rule8))] @2: The cat needs the lion.[(((((triple1) -> rule5)) -> rule3))] @3: The cat chases the lion.[(((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule3)) -> rule2))] @4: The lion likes the cat.[(((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule3)) -> rule2) triple2) -> rule4))]