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