Anne is cold. Anne is green. Anne is round. Bob is furry. Bob is not round. Charlie is smart. Dave is green. All furry, rough things are white. If something is white and furry then it is cold. All round things are rough. If something is green then it is furry. If something is round then it is furry. If something is cold and green then it is smart. If something is furry and not green then it is smart. If something is green then it is round.
Dave is white.
@0: Anne is cold.[(triple1 OR ((((((triple2) -> rule4) ((triple3) -> rule3)) -> rule1) ((triple2) -> rule4)) -> rule2) OR ((((((triple2) -> rule4) ((triple3) -> rule3)) -> rule1) ((triple3) -> rule5)) -> rule2) OR ((((((triple3) -> rule5) ((triple3) -> rule3)) -> rule1) ((triple2) -> rule4)) -> rule2) OR ((((((triple3) -> rule5) ((triple3) -> rule3)) -> rule1) ((triple3) -> rule5)) -> rule2) OR ((((((triple2) -> rule4) ((triple3) -> rule3)) -> rule1) ((((triple2) -> rule8)) -> rule5)) -> rule2) OR ((((((triple3) -> rule5) ((triple3) -> rule3)) -> rule1) ((((triple2) -> rule8)) -> rule5)) -> rule2) OR ((((((triple2) -> rule4) ((((triple2) -> rule8)) -> rule3)) -> rule1) ((triple2) -> rule4)) -> rule2) OR ((((((triple2) -> rule4) ((((triple2) -> rule8)) -> rule3)) -> rule1) ((triple3) -> rule5)) -> rule2) OR ((((((triple3) -> rule5) ((((triple2) -> rule8)) -> rule3)) -> rule1) ((triple2) -> rule4)) -> rule2) OR ((((((triple3) -> rule5) ((((triple2) -> rule8)) -> rule3)) -> rule1) ((triple3) -> rule5)) -> rule2) OR ((((((((triple2) -> rule8)) -> rule5) ((triple3) -> rule3)) -> rule1) ((triple2) -> rule4)) -> rule2) OR ((((((((triple2) -> rule8)) -> rule5) ((triple3) -> rule3)) -> rule1) ((triple3) -> rule5)) -> rule2) OR ((((((triple2) -> rule4) ((((triple2) -> rule8)) -> rule3)) -> rule1) ((((triple2) -> rule8)) -> rule5)) -> rule2) OR ((((((triple3) -> rule5) ((((triple2) -> rule8)) -> rule3)) -> rule1) ((((triple2) -> rule8)) -> rule5)) -> rule2) OR ((((((((triple2) -> rule8)) -> rule5) ((triple3) -> rule3)) -> rule1) ((((triple2) -> rule8)) -> rule5)) -> rule2) OR ((((((((triple2) -> rule8)) -> rule5) ((((triple2) -> rule8)) -> rule3)) -> rule1) ((triple2) -> rule4)) -> rule2) OR ((((((((triple2) -> rule8)) -> rule5) ((((triple2) -> rule8)) -> rule3)) -> rule1) ((triple3) -> rule5)) -> rule2) OR ((((((((triple2) -> rule8)) -> rule5) ((((triple2) -> rule8)) -> rule3)) -> rule1) ((((triple2) -> rule8)) -> rule5)) -> rule2))] Anne is green.[(triple2)] Anne is round.[(triple3 OR ((triple2) -> rule8))] Bob is furry.[(triple4)] Bob is not round.[(triple5)] Charlie is smart.[(triple6)] Dave is green.[(triple7)] @1: Anne is furry.[(((triple2) -> rule4) OR ((triple3) -> rule5) OR ((((triple2) -> rule8)) -> rule5))] Anne is rough.[(((triple3) -> rule3) OR ((((triple2) -> rule8)) -> rule3))] Anne is smart.[(((triple1 triple2) -> rule6) OR ((((((((triple2) -> rule4) ((triple3) -> rule3)) -> rule1) ((triple2) -> rule4)) -> rule2) triple2) -> rule6) OR ((((((((triple2) -> rule4) ((triple3) -> rule3)) -> rule1) ((triple3) -> rule5)) -> rule2) triple2) -> rule6) OR ((((((((triple3) -> rule5) ((triple3) -> rule3)) -> rule1) ((triple2) -> rule4)) -> rule2) triple2) -> rule6) OR ((((((((triple3) -> rule5) ((triple3) -> rule3)) -> rule1) ((triple3) -> rule5)) -> rule2) triple2) -> rule6) OR ((((((((triple2) -> rule4) ((triple3) -> rule3)) -> rule1) ((((triple2) -> rule8)) -> rule5)) -> rule2) triple2) -> rule6) OR ((((((((triple3) -> rule5) ((triple3) -> rule3)) -> rule1) ((((triple2) -> rule8)) -> rule5)) -> rule2) triple2) -> rule6) OR ((((((((triple2) -> rule4) ((((triple2) -> rule8)) -> rule3)) -> rule1) ((triple2) -> rule4)) -> rule2) triple2) -> rule6) OR ((((((((triple2) -> rule4) ((((triple2) -> rule8)) -> rule3)) -> rule1) ((triple3) -> rule5)) -> rule2) triple2) -> rule6) OR ((((((((triple3) -> rule5) ((((triple2) -> rule8)) -> rule3)) -> rule1) ((triple2) -> rule4)) -> rule2) triple2) -> rule6) OR ((((((((triple3) -> rule5) ((((triple2) -> rule8)) -> rule3)) -> rule1) ((triple3) -> rule5)) -> rule2) triple2) -> rule6) OR ((((((((((triple2) -> rule8)) -> rule5) ((triple3) -> rule3)) -> rule1) ((triple2) -> rule4)) -> rule2) triple2) -> rule6) OR ((((((((((triple2) -> rule8)) -> rule5) ((triple3) -> rule3)) -> rule1) ((triple3) -> rule5)) -> rule2) triple2) -> rule6) OR ((((((((triple2) -> rule4) ((((triple2) -> rule8)) -> rule3)) -> rule1) ((((triple2) -> rule8)) -> rule5)) -> rule2) triple2) -> rule6) OR ((((((((triple3) -> rule5) ((((triple2) -> rule8)) -> rule3)) -> rule1) ((((triple2) -> rule8)) -> rule5)) -> rule2) triple2) -> rule6) OR ((((((((((triple2) -> rule8)) -> rule5) ((triple3) -> rule3)) -> rule1) ((((triple2) -> rule8)) -> rule5)) -> rule2) triple2) -> rule6) OR ((((((((((triple2) -> rule8)) -> rule5) ((((triple2) -> rule8)) -> rule3)) -> rule1) ((triple2) -> rule4)) -> rule2) triple2) -> rule6) OR ((((((((((triple2) -> rule8)) -> rule5) ((((triple2) -> rule8)) -> rule3)) -> rule1) ((triple3) -> rule5)) -> rule2) triple2) -> rule6) OR ((((((((((triple2) -> rule8)) -> rule5) ((((triple2) -> rule8)) -> rule3)) -> rule1) ((((triple2) -> rule8)) -> rule5)) -> rule2) triple2) -> rule6))] Dave is furry.[(((triple7) -> rule4) OR ((((triple7) -> rule8)) -> rule5))] Dave is round.[(((triple7) -> rule8))] @2: Anne is white.[(((((triple2) -> rule4) ((triple3) -> rule3)) -> rule1) OR ((((triple3) -> rule5) ((triple3) -> rule3)) -> rule1) OR ((((triple2) -> rule4) ((((triple2) -> rule8)) -> rule3)) -> rule1) OR ((((triple3) -> rule5) ((((triple2) -> rule8)) -> rule3)) -> rule1) OR ((((((triple2) -> rule8)) -> rule5) ((triple3) -> rule3)) -> rule1) OR ((((((triple2) -> rule8)) -> rule5) ((((triple2) -> rule8)) -> rule3)) -> rule1))] Dave is rough.[(((((triple7) -> rule8)) -> rule3))] @3: Dave is white.[(((((triple7) -> rule4) ((((triple7) -> rule8)) -> rule3)) -> rule1) OR ((((((triple7) -> rule8)) -> rule5) ((((triple7) -> rule8)) -> rule3)) -> rule1))] @4: Dave is cold.[(((((((triple7) -> rule4) ((((triple7) -> rule8)) -> rule3)) -> rule1) ((triple7) -> rule4)) -> rule2) OR ((((((triple7) -> rule4) ((((triple7) -> rule8)) -> rule3)) -> rule1) ((((triple7) -> rule8)) -> rule5)) -> rule2) OR ((((((((triple7) -> rule8)) -> rule5) ((((triple7) -> rule8)) -> rule3)) -> rule1) ((triple7) -> rule4)) -> rule2) OR ((((((((triple7) -> rule8)) -> rule5) ((((triple7) -> rule8)) -> rule3)) -> rule1) ((((triple7) -> rule8)) -> rule5)) -> rule2))] @5: Dave is smart.[(((((((((triple7) -> rule4) ((((triple7) -> rule8)) -> rule3)) -> rule1) ((triple7) -> rule4)) -> rule2) triple7) -> rule6) OR ((((((((triple7) -> rule4) ((((triple7) -> rule8)) -> rule3)) -> rule1) ((((triple7) -> rule8)) -> rule5)) -> rule2) triple7) -> rule6) OR ((((((((((triple7) -> rule8)) -> rule5) ((((triple7) -> rule8)) -> rule3)) -> rule1) ((triple7) -> rule4)) -> rule2) triple7) -> rule6) OR ((((((((((triple7) -> rule8)) -> rule5) ((((triple7) -> rule8)) -> rule3)) -> rule1) ((((triple7) -> rule8)) -> rule5)) -> rule2) triple7) -> rule6))]