The squirrel is young. If something is red then it is young. All young, round things are green. If something is nice then it is not green. Young things are round. Nice things are round. Nice things are red. If the squirrel is green then the squirrel is not nice. If the squirrel is young and the squirrel is nice then the squirrel is round.
The squirrel is nice.
@0: The squirrel is young.[(triple1)] @1: The squirrel is round.[(((triple1) -> rule4))] @2: The squirrel is green.[(((triple1 ((triple1) -> rule4)) -> rule2))] @3: The squirrel is not nice.[(((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule7))]