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