Charlie is round. Dave is white. Erin is green. Gary is young. If Charlie is round and Charlie is nice then Charlie is young. If Gary is young then Gary is round. If Erin is green and Erin is white then Erin is round. All round, white things are nice. Round things are green. Green things are furry. If something is kind and white then it is round. If something is nice then it is furry.
Gary is not white.
@0: Charlie is round.[(triple1)] Dave is white.[(triple2)] Erin is green.[(triple3)] Gary is young.[(triple4)] @1: Charlie is green.[(((triple1) -> rule5))] Erin is furry.[(((triple3) -> rule6))] Gary is round.[(((triple4) -> rule2))] @2: Charlie is furry.[(((((triple1) -> rule5)) -> rule6))] Gary is green.[(((((triple4) -> rule2)) -> rule5))] @3: Gary is furry.[(((((((triple4) -> rule2)) -> rule5)) -> rule6))]