Anne is white. Bob is smart. Dave is blue. Gary is white. All quiet things are blue. If something is red then it is smart. All red things are furry. Furry things are quiet. Blue things are red. If Dave is white and Dave is furry then Dave is red. If Anne is cold then Anne is white. Cold things are furry.
Bob is blue.
@0: Anne is white.[(triple1)] Bob is smart.[(triple2)] Dave is blue.[(triple3)] Gary is white.[(triple4)] @1: Dave is red.[(((triple3) -> rule5))] @2: Dave is furry.[(((((triple3) -> rule5)) -> rule3))] Dave is smart.[(((((triple3) -> rule5)) -> rule2))] @3: Dave is quiet.[(((((((triple3) -> rule5)) -> rule3)) -> rule4))]