Gary is big. Gary is furry. Gary is green. Gary is kind. Gary is round. Gary is smart. Gary is young. All green things are big.
Gary is not smart.
@0: Gary is big.[(triple1 OR ((triple3) -> rule1))] Gary is furry.[(triple2)] Gary is green.[(triple3)] Gary is kind.[(triple4)] Gary is round.[(triple5)] Gary is smart.[(triple6)] Gary is young.[(triple7)]