The squirrel is cold. The squirrel is green. The squirrel is red. The squirrel is not rough. The squirrel is round. If something is green and cold then it is not rough. If something is rough and not green then it is not cold. All red, rough things are not cold. All red, rough things are not cold. If the squirrel is round then the squirrel is red. If something is red and not green then it is not round. Red, rough things are round. If something is rough then it is round.
The squirrel needs the squirrel.
@0: The squirrel is cold.[(triple1)] The squirrel is green.[(triple2)] The squirrel is not rough.[(triple4 OR ((triple2 triple1) -> rule1))] The squirrel is red.[(triple3 OR ((triple5) -> rule5))] The squirrel is round.[(triple5)]