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.
Harry is not nice.
@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)]