Anne is cold. Anne is furry. Anne is kind. Anne is red. Bob is quiet. Bob is white. Dave is cold. Dave is furry. Dave is smart. Dave is white. Harry is furry. Harry is kind. If someone is white then they are quiet. If Dave is red and Dave is white then Dave is kind. If Harry is quiet and Harry is red then Harry is kind. Furry, white people are quiet. If Dave is red then Dave is furry. If someone is quiet then they are smart. Cold, red people are white. If someone is smart and cold then they are kind.
Bob is cold.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3 OR ((((((((triple1 triple4) -> rule7)) -> rule1)) -> rule6) triple1) -> rule8) OR ((((((triple2 ((triple1 triple4) -> rule7)) -> rule4)) -> rule6) triple1) -> rule8))] Anne is red.[(triple4)] Bob is quiet.[(triple5 OR ((triple6) -> rule1))] Bob is white.[(triple6)] Dave is cold.[(triple7)] Dave is furry.[(triple8)] Dave is smart.[(triple9 OR ((((triple10) -> rule1)) -> rule6) OR ((((triple8 triple10) -> rule4)) -> rule6))] Dave is white.[(triple10)] Harry is furry.[(triple11)] Harry is kind.[(triple12)] @1: Anne is white.[(((triple1 triple4) -> rule7))] Bob is smart.[(((triple5) -> rule6) OR ((((triple6) -> rule1)) -> rule6))] Dave is kind.[(((triple9 triple7) -> rule8) OR ((((((triple10) -> rule1)) -> rule6) triple7) -> rule8) OR ((((((triple8 triple10) -> rule4)) -> rule6) triple7) -> rule8))] Dave is quiet.[(((triple10) -> rule1) OR ((triple8 triple10) -> rule4))] @2: Anne is quiet.[(((((triple1 triple4) -> rule7)) -> rule1) OR ((triple2 ((triple1 triple4) -> rule7)) -> rule4))] @3: Anne is smart.[(((((((triple1 triple4) -> rule7)) -> rule1)) -> rule6) OR ((((triple2 ((triple1 triple4) -> rule7)) -> rule4)) -> rule6))]