Anne is red. Bob is young. Dave is rough. Gary is smart. Rough things are young. If Bob is young then Bob is furry. If Gary is red and Gary is smart then Gary is furry. If something is furry and rough then it is red. Red, kind things are young. If something is smart then it is furry. All young, rough things are smart. If something is smart then it is kind.
Dave is not furry.
@0: Anne is red.[(triple1)] Bob is young.[(triple2)] Dave is rough.[(triple3)] Gary is smart.[(triple4)] @1: Bob is furry.[(((triple2) -> rule2))] Dave is young.[(((triple3) -> rule1))] Gary is furry.[(((triple4) -> rule6))] Gary is kind.[(((triple4) -> rule8))] @2: Dave is smart.[(((((triple3) -> rule1) triple3) -> rule7))] @3: Dave is furry.[(((((((triple3) -> rule1) triple3) -> rule7)) -> rule6))] Dave is kind.[(((((((triple3) -> rule1) triple3) -> rule7)) -> rule8))] @4: Dave is red.[(((((((((triple3) -> rule1) triple3) -> rule7)) -> rule6) triple3) -> rule4))]