Bob is green. Dave is red. Gary is not furry. If someone is green then they are red. If someone is red then they are quiet. If someone is green and not quiet then they are not big. If someone is cold and not big then they are not furry. All quiet, red people are furry. If someone is green and cold then they are furry.
Bob is not quiet.
@0: Bob is green.[(triple1)] Dave is red.[(triple2)] Gary is not furry.[(triple3)] @1: Bob is red.[(((triple1) -> rule1))] Dave is quiet.[(((triple2) -> rule2))] @2: Bob is quiet.[(((((triple1) -> rule1)) -> rule2))] Dave is furry.[(((((triple2) -> rule2) triple2) -> rule5))] @3: Bob is furry.[(((((((triple1) -> rule1)) -> rule2) ((triple1) -> rule1)) -> rule5))]