The bear is blue. The bear is cold. The bear visits the cow. The cow needs the squirrel. The squirrel is big. The squirrel is nice. The squirrel needs the bear. If something visits the squirrel and it chases the cow then the squirrel chases the bear. If something needs the squirrel then it chases the squirrel. If something is cold and it visits the squirrel then the squirrel needs the bear. If something is big and it chases the squirrel then the squirrel visits the cow. If something is nice then it visits the bear. If something visits the bear then the bear is nice. If something visits the cow then the cow needs the bear. If something visits the squirrel then it is nice.
The bear does not visit the bear.
@0: The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear visits the cow.[(triple3)] The cow needs the squirrel.[(triple4)] The squirrel is big.[(triple5)] The squirrel is nice.[(triple6)] The squirrel needs the bear.[(triple7)] @1: The cow chases the squirrel.[(((triple4) -> rule2))] The cow needs the bear.[(((triple3) -> rule7))] The squirrel visits the bear.[(((triple6) -> rule5))] @2: The bear is nice.[(((((triple6) -> rule5)) -> rule6))] @3: The bear visits the bear.[(((((((triple6) -> rule5)) -> rule6)) -> rule5))]