The squirrel is nice. Nice people are blue. If the squirrel is big then the squirrel is blue. Red people are not cold. If someone is blue and nice then they are cold. Cold people are big. If someone is blue then they are nice. All cold people are nice. If the squirrel is nice and the squirrel is blue then the squirrel is not red.
The squirrel is nice.
@0: The squirrel is nice.[(triple1)] @1: The squirrel is blue.[(((triple1) -> rule1))] @2: The squirrel is cold.[(((((triple1) -> rule1) triple1) -> rule4))] The squirrel is not red.[(((triple1 ((triple1) -> rule1)) -> rule8))] @3: The squirrel is big.[(((((((triple1) -> rule1) triple1) -> rule4)) -> rule5))]