Anne is green. Bob is furry. Dave is cold. All furry, green things are round. Cold, quiet things are not round. All furry things are round. All furry, round things are green. If something is quiet and round then it is green. Round things are blue. Blue things are quiet. If something is green then it is red.
Dave is not blue.
@0: Anne is green.[(triple1)] Bob is furry.[(triple2)] Dave is cold.[(triple3)] @1: Anne is red.[(((triple1) -> rule8))] Bob is round.[(((triple2) -> rule3))] @2: Bob is blue.[(((((triple2) -> rule3)) -> rule6))] Bob is green.[(((triple2 ((triple2) -> rule3)) -> rule4) OR ((((((((triple2) -> rule3)) -> rule6)) -> rule7) ((triple2) -> rule3)) -> rule5))] @3: Bob is quiet.[(((((((triple2) -> rule3)) -> rule6)) -> rule7))] Bob is red.[(((((triple2 ((triple2) -> rule3)) -> rule4)) -> rule8) OR ((((((((((triple2) -> rule3)) -> rule6)) -> rule7) ((triple2) -> rule3)) -> rule5)) -> rule8))]