Dave is white. Gary is not big. Harry is rough. White things are big. If Gary is young then Gary is big. White things are round. All big things are round. If Gary is white then Gary is blue. All kind things are young. Round things are rough. If Dave is round and Dave is not big then Dave is blue.
Gary is white.
@0: Dave is white.[(triple1)] Gary is not big.[(triple2)] Harry is rough.[(triple3)] @1: Dave is big.[(((triple1) -> rule1))] Dave is round.[(((triple1) -> rule3) OR ((((triple1) -> rule1)) -> rule4))] @2: Dave is rough.[(((((triple1) -> rule3)) -> rule7) OR ((((((triple1) -> rule1)) -> rule4)) -> rule7))]