Bob is big. Fiona is blue. Gary is round. Gary is white. Harry is not big. Harry is not white. Harry is young. If something is young then it is not round. If something is young then it is not white. If Gary is furry and Gary is young then Gary is not white.
Gary is not big.
@0: Bob is big.[(triple1)] Fiona is blue.[(triple2)] Gary is round.[(triple3)] Gary is white.[(triple4)] Harry is not big.[(triple5)] Harry is not white.[(triple6 OR ((triple7) -> rule2))] Harry is young.[(triple7)] @1: Harry is not round.[(((triple7) -> rule1))]