The squirrel is kind. The squirrel is red. The squirrel is rough. All kind, young things are nice. If something is nice then it is red. Nice, red things are young. All red things are nice. Rough things are red. If the squirrel is young then the squirrel is rough. If something is young and rough then it is nice. Kind, rough things are nice.
The squirrel is not nice.
@0: The squirrel is kind.[(triple1)] The squirrel is red.[(triple2 OR ((triple3) -> rule5) OR ((((triple1 triple3) -> rule8)) -> rule2))] The squirrel is rough.[(triple3 OR ((((((triple2) -> rule4) triple2) -> rule3)) -> rule6))] @1: The squirrel is nice.[(((triple2) -> rule4) OR ((triple1 triple3) -> rule8) OR ((((triple3) -> rule5)) -> rule4))] @2: The squirrel is young.[(((((triple2) -> rule4) triple2) -> rule3) OR ((((triple1 triple3) -> rule8) triple2) -> rule3) OR ((((triple2) -> rule4) ((triple3) -> rule5)) -> rule3) OR ((((triple1 triple3) -> rule8) ((triple3) -> rule5)) -> rule3) OR ((((((triple3) -> rule5)) -> rule4) triple2) -> rule3) OR ((((triple2) -> rule4) ((((triple1 triple3) -> rule8)) -> rule2)) -> rule3) OR ((((((triple3) -> rule5)) -> rule4) ((triple3) -> rule5)) -> rule3) OR ((((triple1 triple3) -> rule8) ((((triple1 triple3) -> rule8)) -> rule2)) -> rule3) OR ((((((triple3) -> rule5)) -> rule4) ((((triple1 triple3) -> rule8)) -> rule2)) -> rule3))]