The squirrel is green. All round, young things are red. All young, rough things are round. Green, round things are young. If the squirrel is green then the squirrel is red. If something is round and rough then it is red. If the squirrel is red then the squirrel is round. All young things are red. Rough, green things are round.
The squirrel is green.
@0: The squirrel is green.[(triple1)] @1: The squirrel is red.[(((triple1) -> rule4))] @2: The squirrel is round.[(((((triple1) -> rule4)) -> rule6))] @3: The squirrel is young.[(((triple1 ((((triple1) -> rule4)) -> rule6)) -> rule3))]