Charlie is round. Dave is blue. Dave is quiet. All furry, red things are green. All round things are green. If something is furry and green then it is red. All green things are young. If Charlie is young and Charlie is furry then Charlie is red. If Dave is quiet and Dave is blue then Dave is round. All green, young things are quiet. Furry, green things are young.
Charlie is quiet.
@0: Charlie is round.[(triple1)] Dave is blue.[(triple2)] Dave is quiet.[(triple3)] @1: Charlie is green.[(((triple1) -> rule2))] Dave is round.[(((triple3 triple2) -> rule6))] @2: Charlie is young.[(((((triple1) -> rule2)) -> rule4))] Dave is green.[(((((triple3 triple2) -> rule6)) -> rule2))] @3: Charlie is quiet.[(((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule4)) -> rule7))] Dave is young.[(((((((triple3 triple2) -> rule6)) -> rule2)) -> rule4))]