The squirrel is kind. If someone is rough and not kind then they are red. All round people are red. If someone is round then they are rough. All nice, red people are rough. All red people are nice. If the squirrel is kind then the squirrel is round.
The squirrel is kind.
@0: The squirrel is kind.[(triple1)] @1: The squirrel is round.[(((triple1) -> rule6))] @2: The squirrel is red.[(((((triple1) -> rule6)) -> rule2))] The squirrel is rough.[(((((triple1) -> rule6)) -> rule3) OR ((((((((triple1) -> rule6)) -> rule2)) -> rule5) ((((triple1) -> rule6)) -> rule2)) -> rule4))] @3: The squirrel is nice.[(((((((triple1) -> rule6)) -> rule2)) -> rule5))]