The mouse is blue. The mouse is not red. The mouse likes the squirrel. The mouse needs the squirrel. The mouse needs the tiger. The mouse sees the tiger. The rabbit is red. The rabbit needs the squirrel. The rabbit needs the tiger. The rabbit sees the tiger. The squirrel is not red. The squirrel likes the mouse. The squirrel sees the tiger. The tiger likes the mouse. The tiger does not need the mouse. If something is red and it sees the squirrel then the squirrel needs the mouse. If something is blue then it likes the rabbit. If something likes the rabbit then it sees the squirrel. If something likes the mouse and it likes the squirrel then it needs the squirrel. If something is blue and it does not need the squirrel then it sees the tiger. If something sees the squirrel and it sees the tiger then the tiger is cold.
The mouse sees the squirrel.
@0: The mouse is blue.[(triple1)] The mouse is not red.[(triple2)] The mouse likes the squirrel.[(triple3)] The mouse needs the squirrel.[(triple4)] The mouse needs the tiger.[(triple5)] The mouse sees the tiger.[(triple6)] The rabbit is red.[(triple7)] The rabbit needs the squirrel.[(triple8)] The rabbit needs the tiger.[(triple9)] The rabbit sees the tiger.[(triple10)] The squirrel is not red.[(triple11)] The squirrel likes the mouse.[(triple12)] The squirrel sees the tiger.[(triple13)] The tiger does not need the mouse.[(triple15)] The tiger likes the mouse.[(triple14)] @1: The mouse likes the rabbit.[(((triple1) -> rule2))] @2: The mouse sees the squirrel.[(((((triple1) -> rule2)) -> rule3))] @3: The tiger is cold.[(((((((triple1) -> rule2)) -> rule3) triple6) -> rule6))]