The squirrel is cold. The squirrel is round. The squirrel is young. All cold, blue things are young. If the squirrel is cold then the squirrel is round. If something is round then it is blue. All young, round things are cold. If something is blue then it is round. If something is nice then it is young.
The squirrel does not visit the squirrel.
@0: The squirrel is cold.[(triple1 OR ((triple3 triple2) -> rule4))] The squirrel is round.[(triple2 OR ((triple1) -> rule2))] The squirrel is young.[(triple3 OR ((triple1 ((triple2) -> rule3)) -> rule1) OR ((triple1 ((((triple1) -> rule2)) -> rule3)) -> rule1))] @1: The squirrel is blue.[(((triple2) -> rule3) OR ((((triple1) -> rule2)) -> rule3))]