The squirrel is blue. The squirrel is cold. The squirrel is red. The squirrel is rough. The squirrel is round. Round, red people are cold. Blue, round people are red. If someone is rough then they are cold.
The squirrel is not blue.
@0: The squirrel is blue.[(triple1)] The squirrel is cold.[(triple2 OR ((triple4) -> rule3) OR ((triple5 triple3) -> rule1) OR ((triple5 ((triple1 triple5) -> rule2)) -> rule1))] The squirrel is red.[(triple3 OR ((triple1 triple5) -> rule2))] The squirrel is rough.[(triple4)] The squirrel is round.[(triple5)]