The bear chases the squirrel. The bear sees the squirrel. The lion is blue. The mouse likes the bear. The mouse sees the lion. The squirrel chases the bear. The squirrel is big. If something chases the mouse then the mouse is rough. If something likes the mouse then the mouse is rough. If something sees the squirrel then it likes the mouse. If something chases the squirrel and it chases the mouse then it likes the mouse. If something is big then it sees the squirrel. If something is red then it sees the bear. Cold things are blue. If something likes the mouse and it chases the bear then the mouse likes the lion.
The squirrel does not see the lion.
@0: The bear chases the squirrel.[(triple1)] The bear sees the squirrel.[(triple2)] The lion is blue.[(triple3)] The mouse likes the bear.[(triple4)] The mouse sees the lion.[(triple5)] The squirrel chases the bear.[(triple6)] The squirrel is big.[(triple7)] @1: The bear likes the mouse.[(((triple2) -> rule3))] The squirrel sees the squirrel.[(((triple7) -> rule5))] @2: The mouse is rough.[(((((triple2) -> rule3)) -> rule2) OR ((((((triple7) -> rule5)) -> rule3)) -> rule2))] The squirrel likes the mouse.[(((((triple7) -> rule5)) -> rule3))] @3: The mouse likes the lion.[(((((((triple7) -> rule5)) -> rule3) triple6) -> rule8))]