The squirrel is big. If the squirrel is rough then the squirrel is blue. All big, rough things are blue. All cold, green things are blue. If the squirrel is big then the squirrel is rough. If something is blue then it is green. If the squirrel is cold and the squirrel is big then the squirrel is rough.
The squirrel is cold.
@0: The squirrel is big.[(triple1)] @1: The squirrel is rough.[(((triple1) -> rule4))] @2: The squirrel is blue.[(((((triple1) -> rule4)) -> rule1) OR ((triple1 ((triple1) -> rule4)) -> rule2))] @3: The squirrel is green.[(((((((triple1) -> rule4)) -> rule1)) -> rule5) OR ((((triple1 ((triple1) -> rule4)) -> rule2)) -> rule5))]