The squirrel is green. The squirrel is rough. The squirrel is not young. If something is young then it is blue. Rough things are blue. All blue things are green. If something is young and blue then it is not rough. If something is young and not rough then it is not kind. If something is young then it is kind.
The squirrel is not green.
@0: The squirrel is green.[(triple1 OR ((((triple2) -> rule2)) -> rule3))] The squirrel is not young.[(triple3)] The squirrel is rough.[(triple2)] @1: The squirrel is blue.[(((triple2) -> rule2))]