The squirrel is kind. The squirrel is rough. The squirrel is round. If someone is round and rough then they are not cold. All round people are rough. If the squirrel is round then the squirrel is red. All kind people are red. Round people are red. If someone is rough and cold then they are red. If the squirrel is not rough then the squirrel is cold. If the squirrel is round and the squirrel is cold then the squirrel is kind.
The squirrel does not like the squirrel.
@0: The squirrel is kind.[(triple1)] The squirrel is rough.[(triple2 OR ((triple3) -> rule2))] The squirrel is round.[(triple3)] @1: The squirrel is not cold.[(((triple3 triple2) -> rule1) OR ((triple3 ((triple3) -> rule2)) -> rule1))] The squirrel is red.[(((triple1) -> rule4) OR ((triple3) -> rule3) OR ((triple3) -> rule5))]