Gary is big. Gary is green. Harry is big. Harry is not furry. Harry is green. Harry is smart. Harry is white. If something is nice then it is green. Smart, nice things are green. Smart things are nice. All green things are smart. If Gary is white then Gary is green. If Gary is young and Gary is not nice then Gary is big. If Gary is not nice then Gary is young. If something is white and not young then it is not furry.
Gary is not white.
@0: Gary is big.[(triple1)] Gary is green.[(triple2)] Harry is big.[(triple3)] Harry is green.[(triple5 OR ((((triple6) -> rule3)) -> rule1) OR ((triple6 ((triple6) -> rule3)) -> rule2))] Harry is not furry.[(triple4)] Harry is smart.[(triple6 OR ((triple5) -> rule4))] Harry is white.[(triple7)] @1: Gary is smart.[(((triple2) -> rule4))] Harry is nice.[(((triple6) -> rule3) OR ((((triple5) -> rule4)) -> rule3))] @2: Gary is nice.[(((((triple2) -> rule4)) -> rule3))]