The bear is green. The bear is kind. The mouse needs the bear. The mouse visits the bear. The mouse visits the squirrel. The mouse visits the tiger. The squirrel chases the bear. The squirrel is cold. The squirrel is nice. The tiger is green. The tiger needs the bear. If something needs the mouse then it is kind. If the mouse is young then the mouse needs the bear. If something chases the bear then it needs the tiger. If something needs the squirrel and it visits the mouse then the mouse needs the squirrel. If something visits the squirrel then it needs the mouse. If something chases the squirrel and the squirrel is nice then it is young. If something visits the mouse and the mouse is green then it needs the tiger. If something is kind and it visits the tiger then the tiger visits the squirrel. If the bear needs the squirrel and the bear visits the tiger then the bear chases the tiger.
The tiger visits the squirrel.
@0: The bear is green.[(triple1)] The bear is kind.[(triple2)] The mouse needs the bear.[(triple3)] The mouse visits the bear.[(triple4)] The mouse visits the squirrel.[(triple5)] The mouse visits the tiger.[(triple6)] The squirrel chases the bear.[(triple7)] The squirrel is cold.[(triple8)] The squirrel is nice.[(triple9)] The tiger is green.[(triple10)] The tiger needs the bear.[(triple11)] @1: The mouse needs the mouse.[(((triple5) -> rule5))] The squirrel needs the tiger.[(((triple7) -> rule3))] @2: The mouse is kind.[(((((triple5) -> rule5)) -> rule1))] @3: The tiger visits the squirrel.[(((((((triple5) -> rule5)) -> rule1) triple6) -> rule8))] @4: The tiger needs the mouse.[(((((((((triple5) -> rule5)) -> rule1) triple6) -> rule8)) -> rule5))] @5: The tiger is kind.[(((((((((((triple5) -> rule5)) -> rule1) triple6) -> rule8)) -> rule5)) -> rule1))]