Gary is big. Gary is furry. Gary is green. Gary is nice. Gary is round. Gary is white. Gary is young. Green, round things are furry. All big, furry things are nice.
Gary is round.
@0: Gary is big.[(triple1)] Gary is furry.[(triple2 OR ((triple3 triple5) -> rule1))] Gary is green.[(triple3)] Gary is nice.[(triple4 OR ((triple1 triple2) -> rule2) OR ((triple1 ((triple3 triple5) -> rule1)) -> rule2))] Gary is round.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7)]