The squirrel is cold. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel is rough. Rough, green things are cold. All red, kind things are cold.
The squirrel eats the squirrel.
@0: The squirrel is cold.[(triple1 OR ((triple4 triple3) -> rule2) OR ((triple5 triple2) -> rule1))] The squirrel is green.[(triple2)] The squirrel is kind.[(triple3)] The squirrel is red.[(triple4)] The squirrel is rough.[(triple5)]