Anne is blue. Bob is cold. Dave is furry. Erin is white. Blue things are smart. If something is white then it is blue. If something is smart then it is cold. If Anne is red and Anne is smart then Anne is cold. If Bob is round and Bob is white then Bob is smart. Round things are red. All cold, blue things are round. All smart things are red.
Dave is not blue.
@0: Anne is blue.[(triple1)] Bob is cold.[(triple2)] Dave is furry.[(triple3)] Erin is white.[(triple4)] @1: Anne is smart.[(((triple1) -> rule1))] Erin is blue.[(((triple4) -> rule2))] @2: Anne is cold.[(((((triple1) -> rule1)) -> rule3) OR ((((((triple1) -> rule1)) -> rule8) ((triple1) -> rule1)) -> rule4))] Anne is red.[(((((triple1) -> rule1)) -> rule8) OR ((((((((triple1) -> rule1)) -> rule3) triple1) -> rule7)) -> rule6))] Erin is smart.[(((((triple4) -> rule2)) -> rule1))] @3: Anne is round.[(((((((triple1) -> rule1)) -> rule3) triple1) -> rule7) OR ((((((((triple1) -> rule1)) -> rule8) ((triple1) -> rule1)) -> rule4) triple1) -> rule7))] Erin is cold.[(((((((triple4) -> rule2)) -> rule1)) -> rule3))] Erin is red.[(((((((triple4) -> rule2)) -> rule1)) -> rule8) OR ((((((((((triple4) -> rule2)) -> rule1)) -> rule3) ((triple4) -> rule2)) -> rule7)) -> rule6))] @4: Erin is round.[(((((((((triple4) -> rule2)) -> rule1)) -> rule3) ((triple4) -> rule2)) -> rule7))]