Gary is big. Gary is blue. Gary is furry. Gary is kind. Gary is smart. Gary is white. Gary is young. If Gary is smart and Gary is white then Gary is big. Kind, furry people are white.
Gary is blue.
@0: Gary is big.[(triple1 OR ((triple5 triple6) -> rule1) OR ((triple5 ((triple4 triple3) -> rule2)) -> rule1))] Gary is blue.[(triple2)] Gary is furry.[(triple3)] Gary is kind.[(triple4)] Gary is smart.[(triple5)] Gary is white.[(triple6 OR ((triple4 triple3) -> rule2))] Gary is young.[(triple7)]