Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is quiet. Anne is red. Anne is round. Bob is cold. Bob is quiet. Bob is red. Bob is round. Dave is blue. Dave is cold. Dave is red. Dave is round. Erin is quiet. All quiet, furry people are green. If Erin is red then Erin is quiet. If someone is green then they are furry. If someone is furry then they are red. Quiet people are blue. If someone is cold then they are blue. All blue people are furry. All round people are blue.
Erin is cold.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule6) OR ((triple5) -> rule5) OR ((triple7) -> rule8))] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((triple1) -> rule7) OR ((triple4) -> rule3) OR ((((triple2) -> rule6)) -> rule7) OR ((((triple5) -> rule5)) -> rule7) OR ((((triple7) -> rule8)) -> rule7))] Anne is green.[(triple4 OR ((triple5 triple3) -> rule1) OR ((triple5 ((triple1) -> rule7)) -> rule1) OR ((triple5 ((((triple2) -> rule6)) -> rule7)) -> rule1) OR ((triple5 ((((triple5) -> rule5)) -> rule7)) -> rule1) OR ((triple5 ((((triple7) -> rule8)) -> rule7)) -> rule1))] Anne is quiet.[(triple5)] Anne is red.[(triple6 OR ((triple3) -> rule4) OR ((((triple1) -> rule7)) -> rule4) OR ((((triple4) -> rule3)) -> rule4) OR ((((((triple2) -> rule6)) -> rule7)) -> rule4) OR ((((((triple5) -> rule5)) -> rule7)) -> rule4) OR ((((((triple7) -> rule8)) -> rule7)) -> rule4))] Anne is round.[(triple7)] Bob is cold.[(triple8)] Bob is quiet.[(triple9)] Bob is red.[(triple10 OR ((((((triple11) -> rule8)) -> rule7)) -> rule4) OR ((((((triple8) -> rule6)) -> rule7)) -> rule4) OR ((((((triple9) -> rule5)) -> rule7)) -> rule4))] Bob is round.[(triple11)] Dave is blue.[(triple12 OR ((triple13) -> rule6) OR ((triple15) -> rule8))] Dave is cold.[(triple13)] Dave is red.[(triple14 OR ((((triple12) -> rule7)) -> rule4) OR ((((((triple13) -> rule6)) -> rule7)) -> rule4) OR ((((((triple15) -> rule8)) -> rule7)) -> rule4))] Dave is round.[(triple15)] Erin is quiet.[(triple16)] @1: Bob is blue.[(((triple11) -> rule8) OR ((triple8) -> rule6) OR ((triple9) -> rule5))] Dave is furry.[(((triple12) -> rule7) OR ((((triple13) -> rule6)) -> rule7) OR ((((triple15) -> rule8)) -> rule7))] Erin is blue.[(((triple16) -> rule5))] @2: Bob is furry.[(((((triple11) -> rule8)) -> rule7) OR ((((triple8) -> rule6)) -> rule7) OR ((((triple9) -> rule5)) -> rule7))] Erin is furry.[(((((triple16) -> rule5)) -> rule7))] @3: Bob is green.[(((triple9 ((((triple11) -> rule8)) -> rule7)) -> rule1) OR ((triple9 ((((triple8) -> rule6)) -> rule7)) -> rule1) OR ((triple9 ((((triple9) -> rule5)) -> rule7)) -> rule1))] Erin is green.[(((triple16 ((((triple16) -> rule5)) -> rule7)) -> rule1))] Erin is red.[(((((((triple16) -> rule5)) -> rule7)) -> rule4))]