The squirrel is cold. The squirrel is green. The squirrel is round. If someone is blue and green then they are round. If someone is blue then they are green. If the squirrel is cold and the squirrel is green then the squirrel is red. Red, cold people are blue. All cold, green people are round. If the squirrel is red and the squirrel is green then the squirrel is blue.
The squirrel is not cold.
@0: The squirrel is cold.[(triple1)] The squirrel is green.[(triple2)] The squirrel is round.[(triple3 OR ((triple1 triple2) -> rule5) OR ((((((triple1 triple2) -> rule3) triple1) -> rule4) triple2) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule6) triple2) -> rule1))] @1: The squirrel is red.[(((triple1 triple2) -> rule3))] @2: The squirrel is blue.[(((((triple1 triple2) -> rule3) triple1) -> rule4) OR ((((triple1 triple2) -> rule3) triple2) -> rule6))]