The squirrel is not big. The squirrel is cold. The squirrel is not nice. The squirrel is red. The squirrel is round. All cold people are round. All big, red people are not round. If the squirrel is red and the squirrel is big then the squirrel is round.
The squirrel is not nice.
@0: The squirrel is cold.[(triple2)] The squirrel is not big.[(triple1)] The squirrel is not nice.[(triple3)] The squirrel is red.[(triple4)] The squirrel is round.[(triple5 OR ((triple2) -> rule1))]