The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is not rough. The squirrel is round. If the squirrel is rough and the squirrel is round then the squirrel is cold. If something is rough and not big then it is cold. If the squirrel is round then the squirrel is not rough.
The squirrel is not round.
@0: The squirrel is big.[(triple1)] The squirrel is blue.[(triple2)] The squirrel is cold.[(triple3)] The squirrel is not rough.[(triple4 OR ((triple5) -> rule3))] The squirrel is round.[(triple5)]