Anne is blue. Bob is quiet. Bob is red. Dave is cold. Dave is quiet. Harry is blue. Harry is cold. Harry is nice. Harry is quiet. Harry is rough. If something is cold and furry then it is blue. Cold, red things are furry. Quiet things are red. If something is furry then it is nice. Red things are quiet. If something is nice then it is rough. If something is cold then it is red. If something is blue and red then it is nice.
Dave is not red.
@0: Anne is blue.[(triple1)] Bob is quiet.[(triple2 OR ((triple3) -> rule5))] Bob is red.[(triple3 OR ((triple2) -> rule3))] Dave is cold.[(triple4)] Dave is quiet.[(triple5 OR ((((triple4) -> rule7)) -> rule5))] Harry is blue.[(triple6 OR ((triple7 ((triple7 ((triple7) -> rule7)) -> rule2)) -> rule1) OR ((triple7 ((triple7 ((triple9) -> rule3)) -> rule2)) -> rule1))] Harry is cold.[(triple7)] Harry is nice.[(triple8 OR ((triple6 ((triple7) -> rule7)) -> rule8) OR ((triple6 ((triple9) -> rule3)) -> rule8) OR ((((triple7 ((triple7) -> rule7)) -> rule2)) -> rule4) OR ((((triple7 ((triple9) -> rule3)) -> rule2)) -> rule4) OR ((((triple7 ((triple7 ((triple7) -> rule7)) -> rule2)) -> rule1) ((triple7) -> rule7)) -> rule8) OR ((((triple7 ((triple7 ((triple7) -> rule7)) -> rule2)) -> rule1) ((triple9) -> rule3)) -> rule8) OR ((((triple7 ((triple7 ((triple9) -> rule3)) -> rule2)) -> rule1) ((triple7) -> rule7)) -> rule8) OR ((((triple7 ((triple7 ((triple9) -> rule3)) -> rule2)) -> rule1) ((triple9) -> rule3)) -> rule8))] Harry is quiet.[(triple9 OR ((((triple7) -> rule7)) -> rule5))] Harry is rough.[(triple10 OR ((triple8) -> rule6) OR ((((triple6 ((triple7) -> rule7)) -> rule8)) -> rule6) OR ((((triple6 ((triple9) -> rule3)) -> rule8)) -> rule6) OR ((((((triple7 ((triple7) -> rule7)) -> rule2)) -> rule4)) -> rule6) OR ((((((triple7 ((triple9) -> rule3)) -> rule2)) -> rule4)) -> rule6) OR ((((((triple7 ((triple7 ((triple7) -> rule7)) -> rule2)) -> rule1) ((triple7) -> rule7)) -> rule8)) -> rule6) OR ((((((triple7 ((triple7 ((triple7) -> rule7)) -> rule2)) -> rule1) ((triple9) -> rule3)) -> rule8)) -> rule6) OR ((((((triple7 ((triple7 ((triple9) -> rule3)) -> rule2)) -> rule1) ((triple7) -> rule7)) -> rule8)) -> rule6) OR ((((((triple7 ((triple7 ((triple9) -> rule3)) -> rule2)) -> rule1) ((triple9) -> rule3)) -> rule8)) -> rule6))] @1: Dave is red.[(((triple4) -> rule7) OR ((triple5) -> rule3))] Harry is red.[(((triple7) -> rule7) OR ((triple9) -> rule3))] @2: Dave is furry.[(((triple4 ((triple4) -> rule7)) -> rule2) OR ((triple4 ((triple5) -> rule3)) -> rule2))] Harry is furry.[(((triple7 ((triple7) -> rule7)) -> rule2) OR ((triple7 ((triple9) -> rule3)) -> rule2))] @3: Dave is blue.[(((triple4 ((triple4 ((triple4) -> rule7)) -> rule2)) -> rule1) OR ((triple4 ((triple4 ((triple5) -> rule3)) -> rule2)) -> rule1))] Dave is nice.[(((((triple4 ((triple4) -> rule7)) -> rule2)) -> rule4) OR ((((triple4 ((triple5) -> rule3)) -> rule2)) -> rule4) OR ((((triple4 ((triple4 ((triple4) -> rule7)) -> rule2)) -> rule1) ((triple4) -> rule7)) -> rule8) OR ((((triple4 ((triple4 ((triple4) -> rule7)) -> rule2)) -> rule1) ((triple5) -> rule3)) -> rule8) OR ((((triple4 ((triple4 ((triple5) -> rule3)) -> rule2)) -> rule1) ((triple4) -> rule7)) -> rule8) OR ((((triple4 ((triple4 ((triple5) -> rule3)) -> rule2)) -> rule1) ((triple5) -> rule3)) -> rule8))] @4: Dave is rough.[(((((((triple4 ((triple4) -> rule7)) -> rule2)) -> rule4)) -> rule6) OR ((((((triple4 ((triple5) -> rule3)) -> rule2)) -> rule4)) -> rule6) OR ((((((triple4 ((triple4 ((triple4) -> rule7)) -> rule2)) -> rule1) ((triple4) -> rule7)) -> rule8)) -> rule6) OR ((((((triple4 ((triple4 ((triple4) -> rule7)) -> rule2)) -> rule1) ((triple5) -> rule3)) -> rule8)) -> rule6) OR ((((((triple4 ((triple4 ((triple5) -> rule3)) -> rule2)) -> rule1) ((triple4) -> rule7)) -> rule8)) -> rule6) OR ((((((triple4 ((triple4 ((triple5) -> rule3)) -> rule2)) -> rule1) ((triple5) -> rule3)) -> rule8)) -> rule6))]