Dave is blue. Dave is cold. Dave is quiet. If Dave is quiet and Dave is blue then Dave is nice. If something is big then it is white. All blue, furry things are big. All cold things are furry. If something is nice then it is furry. If something is quiet then it is nice. All quiet, white things are blue. Furry, big things are quiet.
Dave is not blue.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is quiet.[(triple3 OR ((((triple2) -> rule4) ((triple1 ((triple2) -> rule4)) -> rule3)) -> rule8))] @1: Dave is furry.[(((triple2) -> rule4) OR ((((triple3) -> rule6)) -> rule5) OR ((((triple3 triple1) -> rule1)) -> rule5))] Dave is nice.[(((triple3) -> rule6) OR ((triple3 triple1) -> rule1) OR ((((((triple2) -> rule4) ((triple1 ((triple2) -> rule4)) -> rule3)) -> rule8)) -> rule6) OR ((((((triple2) -> rule4) ((triple1 ((triple2) -> rule4)) -> rule3)) -> rule8) triple1) -> rule1))] @2: Dave is big.[(((triple1 ((triple2) -> rule4)) -> rule3) OR ((triple1 ((((triple3) -> rule6)) -> rule5)) -> rule3) OR ((triple1 ((((triple3 triple1) -> rule1)) -> rule5)) -> rule3))] @3: Dave is white.[(((((triple1 ((triple2) -> rule4)) -> rule3)) -> rule2) OR ((((triple1 ((((triple3) -> rule6)) -> rule5)) -> rule3)) -> rule2) OR ((((triple1 ((((triple3 triple1) -> rule1)) -> rule5)) -> rule3)) -> rule2))]