The squirrel is cold. The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel is rough. All red, cold people are rough. Cold, nice people are red.
The squirrel is kind.
@0: The squirrel is cold.[(triple1)] The squirrel is kind.[(triple2)] The squirrel is nice.[(triple3)] The squirrel is red.[(triple4 OR ((triple1 triple3) -> rule2))] The squirrel is rough.[(triple5 OR ((triple4 triple1) -> rule1) OR ((((triple1 triple3) -> rule2) triple1) -> rule1))]