Anne is furry. Anne is red. Anne is round. Bob is blue. Dave is blue. Dave is furry. Dave is green. Dave is red. Dave is round. Fiona is furry. Fiona is green. Fiona is red. If something is red then it is kind. If something is red and kind then it is white. All green things are kind. If Dave is white then Dave is round. All red, round things are furry. If Anne is kind and Anne is white then Anne is blue. If something is red and furry then it is kind. All white, red things are round.
Bob is not red.
@0: Anne is furry.[(triple1 OR ((triple2 triple3) -> rule5) OR ((triple2 ((((triple2 ((triple2) -> rule1)) -> rule2) triple2) -> rule8)) -> rule5))] Anne is red.[(triple2)] Anne is round.[(triple3 OR ((((triple2 ((triple2) -> rule1)) -> rule2) triple2) -> rule8) OR ((((triple2 ((triple2 triple1) -> rule7)) -> rule2) triple2) -> rule8))] Bob is blue.[(triple4)] Dave is blue.[(triple5)] Dave is furry.[(triple6 OR ((triple8 triple9) -> rule5) OR ((triple8 ((((triple8 ((triple7) -> rule3)) -> rule2)) -> rule4)) -> rule5) OR ((triple8 ((((triple8 ((triple8) -> rule1)) -> rule2)) -> rule4)) -> rule5) OR ((triple8 ((((triple8 ((triple7) -> rule3)) -> rule2) triple8) -> rule8)) -> rule5) OR ((triple8 ((((triple8 ((triple8) -> rule1)) -> rule2) triple8) -> rule8)) -> rule5))] Dave is green.[(triple7)] Dave is red.[(triple8)] Dave is round.[(triple9 OR ((((triple8 ((triple7) -> rule3)) -> rule2)) -> rule4) OR ((((triple8 ((triple8) -> rule1)) -> rule2)) -> rule4) OR ((((triple8 ((triple8 triple6) -> rule7)) -> rule2)) -> rule4) OR ((((triple8 ((triple7) -> rule3)) -> rule2) triple8) -> rule8) OR ((((triple8 ((triple8) -> rule1)) -> rule2) triple8) -> rule8) OR ((((triple8 ((triple8 triple6) -> rule7)) -> rule2) triple8) -> rule8))] Fiona is furry.[(triple10 OR ((triple12 ((((triple12 ((triple11) -> rule3)) -> rule2) triple12) -> rule8)) -> rule5) OR ((triple12 ((((triple12 ((triple12) -> rule1)) -> rule2) triple12) -> rule8)) -> rule5))] Fiona is green.[(triple11)] Fiona is red.[(triple12)] @1: Anne is kind.[(((triple2) -> rule1) OR ((triple2 triple1) -> rule7) OR ((triple2 ((triple2 triple3) -> rule5)) -> rule7))] Dave is kind.[(((triple7) -> rule3) OR ((triple8) -> rule1) OR ((triple8 triple6) -> rule7) OR ((triple8 ((triple8 triple9) -> rule5)) -> rule7))] Fiona is kind.[(((triple11) -> rule3) OR ((triple12) -> rule1) OR ((triple12 triple10) -> rule7))] @2: Anne is white.[(((triple2 ((triple2) -> rule1)) -> rule2) OR ((triple2 ((triple2 triple1) -> rule7)) -> rule2) OR ((triple2 ((triple2 ((triple2 triple3) -> rule5)) -> rule7)) -> rule2))] Dave is white.[(((triple8 ((triple7) -> rule3)) -> rule2) OR ((triple8 ((triple8) -> rule1)) -> rule2) OR ((triple8 ((triple8 triple6) -> rule7)) -> rule2) OR ((triple8 ((triple8 ((triple8 triple9) -> rule5)) -> rule7)) -> rule2))] Fiona is white.[(((triple12 ((triple11) -> rule3)) -> rule2) OR ((triple12 ((triple12) -> rule1)) -> rule2) OR ((triple12 ((triple12 triple10) -> rule7)) -> rule2))] @3: Anne is blue.[(((((triple2) -> rule1) ((triple2 ((triple2) -> rule1)) -> rule2)) -> rule6) OR ((((triple2) -> rule1) ((triple2 ((triple2 triple1) -> rule7)) -> rule2)) -> rule6) OR ((((triple2 triple1) -> rule7) ((triple2 ((triple2) -> rule1)) -> rule2)) -> rule6) OR ((((triple2 triple1) -> rule7) ((triple2 ((triple2 triple1) -> rule7)) -> rule2)) -> rule6) OR ((((triple2 ((triple2 triple3) -> rule5)) -> rule7) ((triple2 ((triple2) -> rule1)) -> rule2)) -> rule6) OR ((((triple2 ((triple2 triple3) -> rule5)) -> rule7) ((triple2 ((triple2 triple1) -> rule7)) -> rule2)) -> rule6) OR ((((triple2) -> rule1) ((triple2 ((triple2 ((triple2 triple3) -> rule5)) -> rule7)) -> rule2)) -> rule6) OR ((((triple2 triple1) -> rule7) ((triple2 ((triple2 ((triple2 triple3) -> rule5)) -> rule7)) -> rule2)) -> rule6) OR ((((triple2 ((triple2 triple3) -> rule5)) -> rule7) ((triple2 ((triple2 ((triple2 triple3) -> rule5)) -> rule7)) -> rule2)) -> rule6))] Fiona is round.[(((((triple12 ((triple11) -> rule3)) -> rule2) triple12) -> rule8) OR ((((triple12 ((triple12) -> rule1)) -> rule2) triple12) -> rule8) OR ((((triple12 ((triple12 triple10) -> rule7)) -> rule2) triple12) -> rule8))]