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