The squirrel is nice. If something is green then it is blue. Nice, blue things are kind. All nice, blue things are kind. If the squirrel is blue then the squirrel is green. If the squirrel is nice then the squirrel is blue. Blue things are green. If something is green then it is young. If something is nice and not green then it is not young.
The squirrel is not blue.
@0: The squirrel is nice.[(triple1)] @1: The squirrel is blue.[(((triple1) -> rule5))] @2: The squirrel is green.[(((((triple1) -> rule5)) -> rule4) OR ((((triple1) -> rule5)) -> rule6))] The squirrel is kind.[(((triple1 ((triple1) -> rule5)) -> rule2) OR ((triple1 ((triple1) -> rule5)) -> rule3))] @3: The squirrel is young.[(((((((triple1) -> rule5)) -> rule4)) -> rule7) OR ((((((triple1) -> rule5)) -> rule6)) -> rule7))]