Dave is furry. Erin is furry. Erin is not white. Gary is rough. Gary is white. Harry is big. Harry is furry. If someone is blue and round then they are not big. If someone is white then they are not big. All rough, round people are blue.
Dave is big.
@0: Dave is furry.[(triple1)] Erin is furry.[(triple2)] Erin is not white.[(triple3)] Gary is rough.[(triple4)] Gary is white.[(triple5)] Harry is big.[(triple6)] Harry is furry.[(triple7)] @1: Gary is not big.[(((triple5) -> rule2))]