The squirrel is cold. The squirrel is green. The squirrel is nice. The squirrel is not rough. The squirrel is round. Rough things are cold. If something is rough and not nice then it is not cold. All nice things are cold. If the squirrel is rough and the squirrel is green then the squirrel is cold. If something is nice and not rough then it is round. If something is green and not cold then it is round. All nice, green things are round. Nice things are round.
The squirrel eats the squirrel.
@0: The squirrel is cold.[(triple1 OR ((triple3) -> rule3))] The squirrel is green.[(triple2)] The squirrel is nice.[(triple3)] The squirrel is not rough.[(triple4)] The squirrel is round.[(triple5 OR ((triple3) -> rule8) OR ((triple3 triple2) -> rule7) OR ((triple3 triple4) -> rule5))]