Gary is big. Gary is blue. Gary is furry. Gary is not green. Gary is kind. Gary is smart. Gary is white. If someone is white and green then they are smart. If someone is kind then they are smart. Kind, green people are blue. Green, kind people are blue. If Gary is white and Gary is kind then Gary is blue. All blue, green people are furry. If someone is smart then they are white. If someone is blue and not furry then they are not big.
Gary is kind.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2 OR ((triple7 triple5) -> rule5) OR ((((triple6) -> rule7) triple5) -> rule5) OR ((((((triple5) -> rule2)) -> rule7) triple5) -> rule5))] Gary is furry.[(triple3)] Gary is kind.[(triple5)] Gary is not green.[(triple4)] Gary is smart.[(triple6 OR ((triple5) -> rule2))] Gary is white.[(triple7 OR ((triple6) -> rule7) OR ((((triple5) -> rule2)) -> rule7))]