Bob is cold. Dave is cold. Dave is furry. Dave is quiet. Dave is rough. Erin is quiet. Gary is red. All furry, red things are quiet. If something is blue then it is quiet. If something is blue and not cold then it is quiet. If something is red then it is rough. If Erin is cold and Erin is furry then Erin is not rough. If something is rough then it is round. If something is cold and not blue then it is furry. If Gary is rough and Gary is red then Gary is quiet.
Gary is not quiet.
@0: Bob is cold.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3)] Dave is quiet.[(triple4)] Dave is rough.[(triple5)] Erin is quiet.[(triple6)] Gary is red.[(triple7)] @1: Dave is round.[(((triple5) -> rule6))] Gary is rough.[(((triple7) -> rule4))] @2: Gary is quiet.[(((((triple7) -> rule4) triple7) -> rule8))] Gary is round.[(((((triple7) -> rule4)) -> rule6))]