The bear visits the squirrel. The lion visits the bear. The rabbit eats the bear. The squirrel visits the bear. If someone likes the squirrel and the squirrel visits the bear then the squirrel likes the rabbit. If someone likes the rabbit then the rabbit eats the squirrel. If someone eats the squirrel and the squirrel eats the rabbit then the squirrel visits the rabbit. If someone eats the bear then they like the squirrel. If someone visits the lion then they like the squirrel. If someone visits the squirrel then they eat the rabbit. If someone visits the rabbit and the rabbit does not like the lion then the lion visits the bear. Red people are not kind.
The bear does not eat the rabbit.
@0: The bear visits the squirrel.[(triple1)] The lion visits the bear.[(triple2)] The rabbit eats the bear.[(triple3)] The squirrel visits the bear.[(triple4)] @1: The bear eats the rabbit.[(((triple1) -> rule6))] The rabbit likes the squirrel.[(((triple3) -> rule4))] @2: The squirrel likes the rabbit.[(((((triple3) -> rule4) triple4) -> rule1))] @3: The rabbit eats the squirrel.[(((((((triple3) -> rule4) triple4) -> rule1)) -> rule2))]