The bear is cold. The dog does not like the bear. The dog likes the squirrel. The mouse is blue. The mouse is rough. The mouse likes the dog. The mouse does not need the bear. The squirrel is cold. The squirrel likes the dog. The squirrel likes the mouse. If someone likes the bear and they like the dog then they like the squirrel. If someone is blue then they chase the bear. If someone needs the squirrel and the squirrel is cold then they chase the bear. If the dog does not need the bear then the dog does not chase the squirrel. If someone likes the mouse and the mouse needs the dog then they chase the dog. If someone chases the dog then the dog needs the squirrel. If someone chases the bear and they do not need the bear then they need the dog. If someone likes the mouse and they are cold then they need the squirrel.
The dog needs the squirrel.
@0: The bear is cold.[(triple1)] The dog does not like the bear.[(triple2)] The dog likes the squirrel.[(triple3)] The mouse does not need the bear.[(triple7)] The mouse is blue.[(triple4)] The mouse is rough.[(triple5)] The mouse likes the dog.[(triple6)] The squirrel is cold.[(triple8)] The squirrel likes the dog.[(triple9)] The squirrel likes the mouse.[(triple10)] @1: The mouse chases the bear.[(((triple4) -> rule2))] The squirrel needs the squirrel.[(((triple10 triple8) -> rule8))] @2: The mouse needs the dog.[(((((triple4) -> rule2) triple7) -> rule7))] The squirrel chases the bear.[(((((triple10 triple8) -> rule8) triple8) -> rule3))] @3: The squirrel chases the dog.[(((triple10 ((((triple4) -> rule2) triple7) -> rule7)) -> rule5))] @4: The dog needs the squirrel.[(((((triple10 ((((triple4) -> rule2) triple7) -> rule7)) -> rule5)) -> rule6))] @5: The dog chases the bear.[(((((((triple10 ((((triple4) -> rule2) triple7) -> rule7)) -> rule5)) -> rule6) triple8) -> rule3))]