The bear visits the squirrel. The lion visits the squirrel. The squirrel needs the lion. If something visits the bear and it is red then it is cold. If something visits the squirrel then it needs the bear. If something eats the lion then it is kind. If the lion needs the squirrel then the lion does not need the bear. If the lion is blue and the lion is cold then the lion does not need the bear. If something eats the bear then it is not blue. If something needs the bear then the bear does not need the squirrel. If something is blue then it visits the lion.
The bear eats the squirrel.
@0: The bear visits the squirrel.[(triple1)] The lion visits the squirrel.[(triple2)] The squirrel needs the lion.[(triple3)] @1: The bear needs the bear.[(((triple1) -> rule2))] The lion needs the bear.[(((triple2) -> rule2))] @2: The bear does not need the squirrel.[(((((triple1) -> rule2)) -> rule7) OR ((((triple2) -> rule2)) -> rule7))]