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