The squirrel is cold. If the squirrel is blue and the squirrel is cold then the squirrel is green. All green, young people are not cold. If the squirrel is cold and the squirrel is green then the squirrel is not young. Cold people are blue. Cold, blue people are green. If the squirrel is young then the squirrel is not cold. If the squirrel is green and the squirrel is not young then the squirrel is not nice. If someone is blue and not green then they are nice.
The squirrel eats the squirrel.
@0: The squirrel is cold.[(triple1)] @1: The squirrel is blue.[(((triple1) -> rule4))] @2: The squirrel is green.[(((triple1 ((triple1) -> rule4)) -> rule5) OR ((((triple1) -> rule4) triple1) -> rule1))] @3: The squirrel is not young.[(((triple1 ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule3) OR ((triple1 ((((triple1) -> rule4) triple1) -> rule1)) -> rule3))] @4: The squirrel is not nice.[(((((triple1 ((triple1) -> rule4)) -> rule5) ((triple1 ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule3)) -> rule7) OR ((((triple1 ((triple1) -> rule4)) -> rule5) ((triple1 ((((triple1) -> rule4) triple1) -> rule1)) -> rule3)) -> rule7) OR ((((((triple1) -> rule4) triple1) -> rule1) ((triple1 ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule3)) -> rule7) OR ((((((triple1) -> rule4) triple1) -> rule1) ((triple1 ((((triple1) -> rule4) triple1) -> rule1)) -> rule3)) -> rule7))]