Gary is big. Gary is round. Gary is white. White things are young. Big, kind things are white. White things are kind. All white things are big. If something is furry then it is green. Young things are furry. If something is big then it is round. If something is white then it is young.
Gary is young.
@0: Gary is big.[(triple1 OR ((triple3) -> rule4))] Gary is round.[(triple2 OR ((triple1) -> rule7) OR ((((triple3) -> rule4)) -> rule7))] Gary is white.[(triple3)] @1: Gary is kind.[(((triple3) -> rule3))] Gary is young.[(((triple3) -> rule1) OR ((triple3) -> rule8))] @2: Gary is furry.[(((((triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule8)) -> rule6))] @3: Gary is green.[(((((((triple3) -> rule1)) -> rule6)) -> rule5) OR ((((((triple3) -> rule8)) -> rule6)) -> rule5))]