The dog needs the squirrel. The lion is blue. The lion is green. The lion is nice. The lion likes the mouse. The lion sees the dog. The mouse likes the lion. The mouse needs the squirrel. The mouse sees the squirrel. The squirrel is green. The squirrel is nice. The squirrel is rough. The squirrel likes the dog. The squirrel needs the mouse. The squirrel sees the dog. The squirrel sees the lion. If something needs the squirrel and the squirrel needs the mouse then the squirrel likes the mouse. If something likes the lion and it likes the dog then it needs the squirrel. If something likes the mouse and the mouse is cold then it sees the mouse. If the mouse needs the dog then the mouse is green. If something sees the squirrel then it is cold. If something likes the mouse and it is rough then the mouse is rough.
The dog is not cold.
@0: The dog needs the squirrel.[(triple1)] The lion is blue.[(triple2)] The lion is green.[(triple3)] The lion is nice.[(triple4)] The lion likes the mouse.[(triple5)] The lion sees the dog.[(triple6)] The mouse likes the lion.[(triple7)] The mouse needs the squirrel.[(triple8)] The mouse sees the squirrel.[(triple9)] The squirrel is green.[(triple10)] The squirrel is nice.[(triple11)] The squirrel is rough.[(triple12)] The squirrel likes the dog.[(triple13)] The squirrel needs the mouse.[(triple14)] The squirrel sees the dog.[(triple15)] The squirrel sees the lion.[(triple16)] @1: The mouse is cold.[(((triple9) -> rule5))] The squirrel likes the mouse.[(((triple1 triple14) -> rule1) OR ((triple8 triple14) -> rule1))] @2: The lion sees the mouse.[(((triple5 ((triple9) -> rule5)) -> rule3))] The mouse is rough.[(((((triple1 triple14) -> rule1) triple12) -> rule6) OR ((((triple8 triple14) -> rule1) triple12) -> rule6))] The squirrel sees the mouse.[(((((triple1 triple14) -> rule1) ((triple9) -> rule5)) -> rule3) OR ((((triple8 triple14) -> rule1) ((triple9) -> rule5)) -> rule3))]