The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is rough. The squirrel is young. Rough things are big. All blue things are cold. All cold, young things are blue.
The squirrel is not big.
@0: The squirrel is big.[(triple1 OR ((triple4) -> rule1))] The squirrel is blue.[(triple2 OR ((triple3 triple5) -> rule3))] The squirrel is cold.[(triple3 OR ((triple2) -> rule2))] The squirrel is rough.[(triple4)] The squirrel is young.[(triple5)]