Gary is blue. Gary is white. Gary is young. If something is red and big then it is round. Smart things are round. Blue, smart things are not round. If something is big and not smart then it is round. Red, blue things are big. If something is big and white then it is blue. Young things are blue. All young things are red.
Gary is big.
@0: Gary is blue.[(triple1 OR ((triple3) -> rule7))] Gary is white.[(triple2)] Gary is young.[(triple3)] @1: Gary is red.[(((triple3) -> rule8))] @2: Gary is big.[(((((triple3) -> rule8) triple1) -> rule5) OR ((((triple3) -> rule8) ((triple3) -> rule7)) -> rule5))] @3: Gary is round.[(((((triple3) -> rule8) ((((triple3) -> rule8) triple1) -> rule5)) -> rule1) OR ((((triple3) -> rule8) ((((triple3) -> rule8) ((triple3) -> rule7)) -> rule5)) -> rule1))]