The squirrel is big. The squirrel is cold. The squirrel is nice. The squirrel is red. The squirrel is rough. If someone is nice and not red then they are rough. All red people are big.
The squirrel is not red.
@0: The squirrel is big.[(triple1 OR ((triple4) -> rule2))] The squirrel is cold.[(triple2)] The squirrel is nice.[(triple3)] The squirrel is red.[(triple4)] The squirrel is rough.[(triple5)]