The squirrel is cold. Rough people are cold. If someone is round and not rough then they are red. If someone is cold and round then they are red. If the squirrel is round and the squirrel is red then the squirrel is cold. If the squirrel is blue and the squirrel is rough then the squirrel is not cold. If someone is blue then they are round. If someone is blue then they are round. Cold people are blue.
The squirrel is round.
@0: The squirrel is cold.[(triple1)] @1: The squirrel is blue.[(((triple1) -> rule8))] @2: The squirrel is round.[(((((triple1) -> rule8)) -> rule6) OR ((((triple1) -> rule8)) -> rule7))] @3: The squirrel is red.[(((triple1 ((((triple1) -> rule8)) -> rule6)) -> rule3) OR ((triple1 ((((triple1) -> rule8)) -> rule7)) -> rule3))]