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