The bear is round. The bear needs the squirrel. The rabbit is cold. The rabbit is round. The rabbit needs the squirrel. The rabbit visits the bear. The squirrel is young. The squirrel likes the rabbit. The squirrel needs the bear. The squirrel visits the rabbit. If the squirrel is young and the squirrel likes the bear then the bear is green. If someone likes the rabbit then they are round. If someone is round then they like the bear.
The bear visits the rabbit.
@0: The bear is round.[(triple1)] The bear needs the squirrel.[(triple2)] The rabbit is cold.[(triple3)] The rabbit is round.[(triple4)] The rabbit needs the squirrel.[(triple5)] The rabbit visits the bear.[(triple6)] The squirrel is young.[(triple7)] The squirrel likes the rabbit.[(triple8)] The squirrel needs the bear.[(triple9)] The squirrel visits the rabbit.[(triple10)] @1: The bear likes the bear.[(((triple1) -> rule3))] The rabbit likes the bear.[(((triple4) -> rule3))] The squirrel is round.[(((triple8) -> rule2))] @2: The squirrel likes the bear.[(((((triple8) -> rule2)) -> rule3))] @3: The bear is green.[(((triple7 ((((triple8) -> rule2)) -> rule3)) -> rule1))]