The cat is nice. The lion is cold. The squirrel eats the lion. If something eats the cat then it needs the lion. If something eats the squirrel and the squirrel needs the cat then it likes the squirrel. If something is cold and it needs the squirrel then it is big. If something eats the squirrel then it is round. If something is nice then it needs the cat. If something eats the squirrel and the squirrel eats the lion then the lion is nice. If something needs the cat then it eats the squirrel. If the cat likes the lion then the lion likes the squirrel.
The cat needs the squirrel.
@0: The cat is nice.[(triple1)] The lion is cold.[(triple2)] The squirrel eats the lion.[(triple3)] @1: The cat needs the cat.[(((triple1) -> rule5))] @2: The cat eats the squirrel.[(((((triple1) -> rule5)) -> rule7))] @3: The cat is round.[(((((((triple1) -> rule5)) -> rule7)) -> rule4))] The lion is nice.[(((((((triple1) -> rule5)) -> rule7) triple3) -> rule6))] @4: The lion needs the cat.[(((((((((triple1) -> rule5)) -> rule7) triple3) -> rule6)) -> rule5))] @5: The lion eats the squirrel.[(((((((((((triple1) -> rule5)) -> rule7) triple3) -> rule6)) -> rule5)) -> rule7))] @6: The lion is round.[(((((((((((((triple1) -> rule5)) -> rule7) triple3) -> rule6)) -> rule5)) -> rule7)) -> rule4))]