Charlie is furry. Dave is furry. Erin is cold. Gary is round. If Charlie is smart and Charlie is green then Charlie is red. If something is furry then it is green. Green things are smart.
Charlie is not green.
@0: Charlie is furry.[(triple1)] Dave is furry.[(triple2)] Erin is cold.[(triple3)] Gary is round.[(triple4)] @1: Charlie is green.[(((triple1) -> rule2))] Dave is green.[(((triple2) -> rule2))] @2: Charlie is smart.[(((((triple1) -> rule2)) -> rule3))] Dave is smart.[(((((triple2) -> rule2)) -> rule3))] @3: Charlie is red.[(((((((triple1) -> rule2)) -> rule3) ((triple1) -> rule2)) -> rule1))]