Erin is red. Gary is nice. Gary is white. Kind things are not big. Nice things are kind. If Erin is green and Erin is big then Erin is furry. If something is green and not big then it is white. White, big things are red. If Gary is not big then Gary is not green.
Gary is green.
@0: Erin is red.[(triple1)] Gary is nice.[(triple2)] Gary is white.[(triple3)] @1: Gary is kind.[(((triple2) -> rule2))] @2: Gary is not big.[(((((triple2) -> rule2)) -> rule1))] @3: Gary is not green.[(((((((triple2) -> rule2)) -> rule1)) -> rule6))]