The bear chases the tiger. The mouse is round. The squirrel chases the tiger. The squirrel is round. The tiger chases the squirrel. The tiger likes the bear. The tiger needs the squirrel. If the tiger is round and the tiger needs the mouse then the mouse is green. If something chases the bear and the bear is green then the bear is blue. If something chases the squirrel then the squirrel likes the bear. If the bear is rough then the bear is round. If something chases the squirrel and the squirrel likes the mouse then the squirrel needs the tiger. If something likes the bear then it chases the bear.
The bear likes the squirrel.
@0: The bear chases the tiger.[(triple1)] The mouse is round.[(triple2)] The squirrel chases the tiger.[(triple3)] The squirrel is round.[(triple4)] The tiger chases the squirrel.[(triple5)] The tiger likes the bear.[(triple6)] The tiger needs the squirrel.[(triple7)] @1: The squirrel likes the bear.[(((triple5) -> rule3))] The tiger chases the bear.[(((triple6) -> rule6))] @2: The squirrel chases the bear.[(((((triple5) -> rule3)) -> rule6))]