The squirrel is big. The squirrel is cold. The squirrel is green. The squirrel is red. The squirrel is not rough. Rough people are red. Rough people are not green. If the squirrel is cold then the squirrel is red. If someone is red then they are cold. If someone is rough and not green then they are cold. If the squirrel is not cold then the squirrel is not big.
The squirrel is green.
@0: The squirrel is big.[(triple1)] The squirrel is cold.[(triple2 OR ((triple4) -> rule4))] The squirrel is green.[(triple3)] The squirrel is not rough.[(triple5)] The squirrel is red.[(triple4 OR ((triple2) -> rule3))]