Bob is furry. Bob is rough. Gary is cold. Gary is furry. Gary is quiet. Gary is not rough. Gary is white. Round things are quiet. All smart things are quiet. If Gary is quiet and Gary is smart then Gary is white. If something is quiet and not furry then it is smart. If Gary is rough and Gary is quiet then Gary is cold. If something is white then it is cold.
Bob is not furry.
@0: Bob is furry.[(triple1)] Bob is rough.[(triple2)] Gary is cold.[(triple3 OR ((triple7) -> rule6))] Gary is furry.[(triple4)] Gary is not rough.[(triple6)] Gary is quiet.[(triple5)] Gary is white.[(triple7)]