The squirrel is cold. The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel is not rough. If the squirrel is kind and the squirrel is rough then the squirrel is cold. All cold, rough things are nice. All kind things are nice.
The squirrel chases the squirrel.
@0: The squirrel is cold.[(triple1)] The squirrel is kind.[(triple2)] The squirrel is nice.[(triple3 OR ((triple2) -> rule3))] The squirrel is not rough.[(triple5)] The squirrel is red.[(triple4)]