The squirrel is cold. The squirrel is kind. The squirrel is red. The squirrel is rough. The squirrel is round. All round things are kind. If something is rough then it is kind. All kind things are round.
The squirrel likes the squirrel.
@0: The squirrel is cold.[(triple1)] The squirrel is kind.[(triple2 OR ((triple4) -> rule2) OR ((triple5) -> rule1))] The squirrel is red.[(triple3)] The squirrel is rough.[(triple4)] The squirrel is round.[(triple5 OR ((triple2) -> rule3) OR ((((triple4) -> rule2)) -> rule3))]