Bob is cold. Bob is furry. Bob is kind. Bob is quiet. Bob is red. Bob is smart. Bob is white. Charlie is cold. Charlie is furry. Charlie is smart. Charlie is white. Erin is cold. Erin is kind. Erin is quiet. Erin is smart. All white people are cold. All furry, kind people are red. If someone is quiet and kind then they are cold. All kind, white people are smart. If someone is red and white then they are kind. Red, white people are smart. All quiet people are white. If someone is white then they are kind.
Erin is not red.
@0: Bob is cold.[(triple1 OR ((triple7) -> rule1) OR ((triple4 triple3) -> rule3) OR ((((triple4) -> rule7)) -> rule1) OR ((triple4 ((triple7) -> rule8)) -> rule3) OR ((triple4 ((triple5 triple7) -> rule5)) -> rule3) OR ((triple4 ((((triple4) -> rule7)) -> rule8)) -> rule3) OR ((triple4 ((triple5 ((triple4) -> rule7)) -> rule5)) -> rule3))] Bob is furry.[(triple2)] Bob is kind.[(triple3 OR ((triple7) -> rule8) OR ((triple5 triple7) -> rule5) OR ((((triple4) -> rule7)) -> rule8) OR ((triple5 ((triple4) -> rule7)) -> rule5))] Bob is quiet.[(triple4)] Bob is red.[(triple5 OR ((triple2 triple3) -> rule2) OR ((triple2 ((triple7) -> rule8)) -> rule2) OR ((triple2 ((((triple4) -> rule7)) -> rule8)) -> rule2))] Bob is smart.[(triple6 OR ((triple3 triple7) -> rule4) OR ((triple5 triple7) -> rule6) OR ((triple3 ((triple4) -> rule7)) -> rule4) OR ((triple5 ((triple4) -> rule7)) -> rule6) OR ((((triple7) -> rule8) triple7) -> rule4) OR ((((triple2 triple3) -> rule2) triple7) -> rule6) OR ((((triple5 triple7) -> rule5) triple7) -> rule4) OR ((((triple7) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((triple2 triple3) -> rule2) ((triple4) -> rule7)) -> rule6) OR ((((triple5 triple7) -> rule5) ((triple4) -> rule7)) -> rule4) OR ((((((triple4) -> rule7)) -> rule8) triple7) -> rule4) OR ((((triple2 ((triple7) -> rule8)) -> rule2) triple7) -> rule6) OR ((((triple5 ((triple4) -> rule7)) -> rule5) triple7) -> rule4) OR ((((((triple4) -> rule7)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((triple2 ((triple7) -> rule8)) -> rule2) ((triple4) -> rule7)) -> rule6) OR ((((triple5 ((triple4) -> rule7)) -> rule5) ((triple4) -> rule7)) -> rule4) OR ((((triple2 ((((triple4) -> rule7)) -> rule8)) -> rule2) triple7) -> rule6) OR ((((triple2 ((((triple4) -> rule7)) -> rule8)) -> rule2) ((triple4) -> rule7)) -> rule6))] Bob is white.[(triple7 OR ((triple4) -> rule7))] Charlie is cold.[(triple8 OR ((triple11) -> rule1))] Charlie is furry.[(triple9)] Charlie is smart.[(triple10 OR ((((triple11) -> rule8) triple11) -> rule4) OR ((((triple9 ((triple11) -> rule8)) -> rule2) triple11) -> rule6))] Charlie is white.[(triple11)] Erin is cold.[(triple12 OR ((triple14 triple13) -> rule3) OR ((((triple14) -> rule7)) -> rule1) OR ((triple14 ((((triple14) -> rule7)) -> rule8)) -> rule3))] Erin is kind.[(triple13 OR ((((triple14) -> rule7)) -> rule8))] Erin is quiet.[(triple14)] Erin is smart.[(triple15 OR ((triple13 ((triple14) -> rule7)) -> rule4) OR ((((((triple14) -> rule7)) -> rule8) ((triple14) -> rule7)) -> rule4))] @1: Charlie is kind.[(((triple11) -> rule8))] Erin is white.[(((triple14) -> rule7))] @2: Charlie is red.[(((triple9 ((triple11) -> rule8)) -> rule2))]