The bear is blue. The bear needs the squirrel. The bear visits the squirrel. The squirrel eats the bear. The squirrel is round. The squirrel needs the bear. The squirrel visits the bear. If the squirrel is cold then the squirrel visits the bear. If someone needs the squirrel and they visit the squirrel then the squirrel is young. All young people are cold.
The bear is green.
@0: The bear is blue.[(triple1)] The bear needs the squirrel.[(triple2)] The bear visits the squirrel.[(triple3)] The squirrel eats the bear.[(triple4)] The squirrel is round.[(triple5)] The squirrel needs the bear.[(triple6)] The squirrel visits the bear.[(triple7 OR ((((((triple2 triple3) -> rule2)) -> rule3)) -> rule1))] @1: The squirrel is young.[(((triple2 triple3) -> rule2))] @2: The squirrel is cold.[(((((triple2 triple3) -> rule2)) -> rule3))]