The cat likes the lion. The lion likes the cat. The lion needs the cat. If someone is cold and blue then they need the lion. If someone likes the lion then the lion needs the cat. If the lion sees the cat and the cat likes the lion then the lion is green. If someone needs the lion and the lion is nice then they like the lion. If someone needs the cat then the cat needs the lion. If someone needs the cat then the cat is nice.
The cat likes the lion.
@0: The cat likes the lion.[(triple1)] The lion likes the cat.[(triple2)] The lion needs the cat.[(triple3 OR ((triple1) -> rule2))] @1: The cat is nice.[(((triple3) -> rule6) OR ((((triple1) -> rule2)) -> rule6))] The cat needs the lion.[(((triple3) -> rule5) OR ((((triple1) -> rule2)) -> rule5))]