The bear visits the rabbit. The rabbit is big. The rabbit needs the bear. The squirrel eats the bear. The squirrel is rough. The squirrel is young. The squirrel needs the rabbit. If something is big then it eats the squirrel. If something is big and it needs the squirrel then the squirrel eats the bear. If something is big and it eats the squirrel then the squirrel is big.
The bear is not red.
@0: The bear visits the rabbit.[(triple1)] The rabbit is big.[(triple2)] The rabbit needs the bear.[(triple3)] The squirrel eats the bear.[(triple4)] The squirrel is rough.[(triple5)] The squirrel is young.[(triple6)] The squirrel needs the rabbit.[(triple7)] @1: The rabbit eats the squirrel.[(((triple2) -> rule1))] @2: The squirrel is big.[(((triple2 ((triple2) -> rule1)) -> rule3))] @3: The squirrel eats the squirrel.[(((((triple2 ((triple2) -> rule1)) -> rule3)) -> rule1))]