The lion is big. The lion is young. The lion visits the squirrel. The squirrel is young. The squirrel likes the lion. The squirrel needs the lion. The squirrel visits the lion. If something needs the lion and it is kind then it likes the lion. If something needs the squirrel then it likes the squirrel. If something likes the squirrel and the squirrel visits the lion then the lion is kind. If something is big then it is cold. If something is red and it visits the lion then it likes the squirrel. If something visits the lion and the lion needs the squirrel then the squirrel needs the lion. If something likes the lion then it is red. If the lion likes the squirrel then the lion is big.
The lion is not kind.
@0: The lion is big.[(triple1)] The lion is young.[(triple2)] The lion visits the squirrel.[(triple3)] The squirrel is young.[(triple4)] The squirrel likes the lion.[(triple5)] The squirrel needs the lion.[(triple6)] The squirrel visits the lion.[(triple7)] @1: The lion is cold.[(((triple1) -> rule4))] The squirrel is red.[(((triple5) -> rule7))] @2: The squirrel likes the squirrel.[(((((triple5) -> rule7) triple7) -> rule5))] @3: The lion is kind.[(((((((triple5) -> rule7) triple7) -> rule5) triple7) -> rule3))]