Anne is quiet. Bob is furry. Dave is nice. Gary is nice. Nice things are quiet. All young, furry things are cold. Quiet things are furry. All nice, quiet things are rough. If something is quiet then it is young. If Bob is nice then Bob is rough.
Dave is cold.
@0: Anne is quiet.[(triple1)] Bob is furry.[(triple2)] Dave is nice.[(triple3)] Gary is nice.[(triple4)] @1: Anne is furry.[(((triple1) -> rule3))] Anne is young.[(((triple1) -> rule5))] Dave is quiet.[(((triple3) -> rule1))] Gary is quiet.[(((triple4) -> rule1))] @2: Anne is cold.[(((((triple1) -> rule5) ((triple1) -> rule3)) -> rule2))] Dave is furry.[(((((triple3) -> rule1)) -> rule3))] Dave is rough.[(((triple3 ((triple3) -> rule1)) -> rule4))] Dave is young.[(((((triple3) -> rule1)) -> rule5))] Gary is furry.[(((((triple4) -> rule1)) -> rule3))] Gary is rough.[(((triple4 ((triple4) -> rule1)) -> rule4))] Gary is young.[(((((triple4) -> rule1)) -> rule5))] @3: Dave is cold.[(((((((triple3) -> rule1)) -> rule5) ((((triple3) -> rule1)) -> rule3)) -> rule2))] Gary is cold.[(((((((triple4) -> rule1)) -> rule5) ((((triple4) -> rule1)) -> rule3)) -> rule2))]