Gary is furry. Gary is not red. Harry is big. Harry is furry. Harry is quiet. Harry is red. Harry is white. All big things are red.
Gary is blue.
@0: Gary is furry.[(triple1)] Gary is not red.[(triple2)] Harry is big.[(triple3)] Harry is furry.[(triple4)] Harry is quiet.[(triple5)] Harry is red.[(triple6 OR ((triple3) -> rule1))] Harry is white.[(triple7)]