Bob is blue. Bob is quiet. Erin is furry. Erin is white. Gary is blue. Gary is furry. Gary is quiet. Gary is red. Gary is rough. Harry is rough. If something is red then it is blue. All white, nice things are quiet.
Harry is not blue.
@0: Bob is blue.[(triple1)] Bob is quiet.[(triple2)] Erin is furry.[(triple3)] Erin is white.[(triple4)] Gary is blue.[(triple5 OR ((triple8) -> rule1))] Gary is furry.[(triple6)] Gary is quiet.[(triple7)] Gary is red.[(triple8)] Gary is rough.[(triple9)] Harry is rough.[(triple10)]