Gary is big. Gary is blue. Gary is furry. Gary is green. Gary is kind. Gary is not rough. Gary is round. If Gary is furry and Gary is not rough then Gary is big. If Gary is rough and Gary is green then Gary is not furry. All green things are kind.
Gary is furry.
@0: Gary is big.[(triple1 OR ((triple3 triple6) -> rule1))] Gary is blue.[(triple2)] Gary is furry.[(triple3)] Gary is green.[(triple4)] Gary is kind.[(triple5 OR ((triple4) -> rule3))] Gary is not rough.[(triple6)] Gary is round.[(triple7)]