Charlie is furry. Dave is furry. If something is red then it is green. Big things are red. If Charlie is furry then Charlie is big. All blue things are big. Green, red things are blue. If something is red and cold then it is green. If Charlie is cold and Charlie is blue then Charlie is furry. If something is cold then it is red.
Dave is not blue.
@0: Charlie is furry.[(triple1)] Dave is furry.[(triple2)] @1: Charlie is big.[(((triple1) -> rule3))] @2: Charlie is red.[(((((triple1) -> rule3)) -> rule2))] @3: Charlie is green.[(((((((triple1) -> rule3)) -> rule2)) -> rule1))] @4: Charlie is blue.[(((((((((triple1) -> rule3)) -> rule2)) -> rule1) ((((triple1) -> rule3)) -> rule2)) -> rule5))]