Bob is quiet. Bob is round. Dave is young. Gary is furry. Gary is quiet. Gary is not round. Gary is smart. If Dave is quiet and Dave is smart then Dave is young. If something is smart and cold then it is nice. If Bob is cold and Bob is smart then Bob is quiet. If something is smart and nice then it is round. Young things are smart. Smart, young things are cold.
Bob is not nice.
@0: Bob is quiet.[(triple1)] Bob is round.[(triple2)] Dave is young.[(triple3)] Gary is furry.[(triple4)] Gary is not round.[(triple6)] Gary is quiet.[(triple5)] Gary is smart.[(triple7)] @1: Dave is smart.[(((triple3) -> rule5))] @2: Dave is cold.[(((((triple3) -> rule5) triple3) -> rule6))] @3: Dave is nice.[(((((triple3) -> rule5) ((((triple3) -> rule5) triple3) -> rule6)) -> rule2))] @4: Dave is round.[(((((triple3) -> rule5) ((((triple3) -> rule5) ((((triple3) -> rule5) triple3) -> rule6)) -> rule2)) -> rule4))]