Anne is cold. Anne is white. Bob is nice. Bob is white. Dave is blue. Gary is blue. Gary is smart. All blue people are smart. If someone is smart then they are cold. If someone is white then they are quiet. If someone is nice and quiet then they are blue. All white, furry people are blue. If Gary is furry then Gary is cold. If Bob is not white then Bob is smart. All cold, blue people are not furry.
Bob is furry.
@0: Anne is cold.[(triple1)] Anne is white.[(triple2)] Bob is nice.[(triple3)] Bob is white.[(triple4)] Dave is blue.[(triple5)] Gary is blue.[(triple6)] Gary is smart.[(triple7 OR ((triple6) -> rule1))] @1: Anne is quiet.[(((triple2) -> rule3))] Bob is quiet.[(((triple4) -> rule3))] Dave is smart.[(((triple5) -> rule1))] Gary is cold.[(((triple7) -> rule2) OR ((((triple6) -> rule1)) -> rule2))] @2: Bob is blue.[(((triple3 ((triple4) -> rule3)) -> rule4))] Dave is cold.[(((((triple5) -> rule1)) -> rule2))] Gary is not furry.[(((((triple7) -> rule2) triple6) -> rule8) OR ((((((triple6) -> rule1)) -> rule2) triple6) -> rule8))] @3: Bob is smart.[(((((triple3 ((triple4) -> rule3)) -> rule4)) -> rule1))] Dave is not furry.[(((((((triple5) -> rule1)) -> rule2) triple5) -> rule8))] @4: Bob is cold.[(((((((triple3 ((triple4) -> rule3)) -> rule4)) -> rule1)) -> rule2))] @5: Bob is not furry.[(((((((((triple3 ((triple4) -> rule3)) -> rule4)) -> rule1)) -> rule2) ((triple3 ((triple4) -> rule3)) -> rule4)) -> rule8))]