The squirrel is blue. The squirrel is cold. The squirrel is young. Nice things are young. All young things are red. Nice, blue things are young. All cold, red things are nice. If the squirrel is blue then the squirrel is red. All cold things are blue.
The squirrel visits the squirrel.
@0: The squirrel is blue.[(triple1 OR ((triple2) -> rule6))] The squirrel is cold.[(triple2)] The squirrel is young.[(triple3 OR ((((triple2 ((triple1) -> rule5)) -> rule4)) -> rule1) OR ((((triple2 ((triple1) -> rule5)) -> rule4) triple1) -> rule3) OR ((((triple2 ((triple1) -> rule5)) -> rule4) ((triple2) -> rule6)) -> rule3) OR ((((triple2 ((((triple2) -> rule6)) -> rule5)) -> rule4)) -> rule1) OR ((((triple2 ((((triple2) -> rule6)) -> rule5)) -> rule4) triple1) -> rule3) OR ((((triple2 ((((triple2) -> rule6)) -> rule5)) -> rule4) ((triple2) -> rule6)) -> rule3))] @1: The squirrel is red.[(((triple1) -> rule5) OR ((triple3) -> rule2) OR ((((triple2) -> rule6)) -> rule5))] @2: The squirrel is nice.[(((triple2 ((triple1) -> rule5)) -> rule4) OR ((triple2 ((triple3) -> rule2)) -> rule4) OR ((triple2 ((((triple2) -> rule6)) -> rule5)) -> rule4))]