Dave is cold. Gary is kind. Gary is rough. Furry things are quiet. All kind things are rough. If something is furry and big then it is rough. All furry things are kind. All cold things are furry. If Gary is not cold then Gary is furry.
Dave is rough.
@0: Dave is cold.[(triple1)] Gary is kind.[(triple2)] Gary is rough.[(triple3 OR ((triple2) -> rule2))] @1: Dave is furry.[(((triple1) -> rule5))] @2: Dave is kind.[(((((triple1) -> rule5)) -> rule4))] Dave is quiet.[(((((triple1) -> rule5)) -> rule1))] @3: Dave is rough.[(((((((triple1) -> rule5)) -> rule4)) -> rule2))]