Dave is quiet. Dave is smart. Gary is red. Quiet people are round. Furry, quiet people are cold. If someone is red then they are young. If Gary is cold and Gary is quiet then Gary is young. All young people are furry. All red people are quiet. Smart, quiet people are cold. If someone is quiet and young then they are furry.
Gary is not smart.
@0: Dave is quiet.[(triple1)] Dave is smart.[(triple2)] Gary is red.[(triple3)] @1: Dave is cold.[(((triple2 triple1) -> rule7))] Dave is round.[(((triple1) -> rule1))] Gary is quiet.[(((triple3) -> rule6))] Gary is young.[(((triple3) -> rule3))] @2: Gary is furry.[(((((triple3) -> rule3)) -> rule5) OR ((((triple3) -> rule6) ((triple3) -> rule3)) -> rule8))] Gary is round.[(((((triple3) -> rule6)) -> rule1))] @3: Gary is cold.[(((((((triple3) -> rule3)) -> rule5) ((triple3) -> rule6)) -> rule2) OR ((((((triple3) -> rule6) ((triple3) -> rule3)) -> rule8) ((triple3) -> rule6)) -> rule2))]