Anne is furry. Bob is furry. Bob is green. Bob is round. Dave is round. Dave is white. Harry is quiet. If someone is round then they are red. Green, red people are white. Furry people are red. White, red people are green. All quiet, smart people are white. All white, green people are quiet.
Harry is not red.
@0: Anne is furry.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is round.[(triple4)] Dave is round.[(triple5)] Dave is white.[(triple6)] Harry is quiet.[(triple7)] @1: Anne is red.[(((triple1) -> rule3))] Bob is red.[(((triple2) -> rule3) OR ((triple4) -> rule1))] Dave is red.[(((triple5) -> rule1))] @2: Bob is white.[(((triple3 ((triple2) -> rule3)) -> rule2) OR ((triple3 ((triple4) -> rule1)) -> rule2))] Dave is green.[(((triple6 ((triple5) -> rule1)) -> rule4))] @3: Bob is quiet.[(((((triple3 ((triple2) -> rule3)) -> rule2) triple3) -> rule6) OR ((((triple3 ((triple4) -> rule1)) -> rule2) triple3) -> rule6))] Dave is quiet.[(((triple6 ((triple6 ((triple5) -> rule1)) -> rule4)) -> rule6))]