Anne is cold. Anne is quiet. Bob is furry. Bob is quiet. Bob is round. Dave is furry. Dave is green. Dave is round. Dave is white. Harry is furry. Harry is green. Harry is quiet. If someone is nice then they are green. If someone is cold then they are quiet. Round people are white. All white, green people are round. All white, round people are furry. If Harry is quiet then Harry is round. Nice people are cold. Green people are nice.
Bob is quiet.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2 OR ((triple1) -> rule2))] Bob is furry.[(triple3 OR ((((triple5) -> rule3) triple5) -> rule5))] Bob is quiet.[(triple4)] Bob is round.[(triple5)] Dave is furry.[(triple6 OR ((triple9 triple8) -> rule5) OR ((triple9 ((triple9 triple7) -> rule4)) -> rule5) OR ((((triple8) -> rule3) triple8) -> rule5) OR ((((triple8) -> rule3) ((triple9 triple7) -> rule4)) -> rule5))] Dave is green.[(triple7)] Dave is round.[(triple8 OR ((triple9 triple7) -> rule4))] Dave is white.[(triple9 OR ((triple8) -> rule3))] Harry is furry.[(triple10 OR ((((((triple12) -> rule6)) -> rule3) ((triple12) -> rule6)) -> rule5) OR ((((((triple12) -> rule6)) -> rule3) ((((((((triple11) -> rule8)) -> rule7)) -> rule2)) -> rule6)) -> rule5) OR ((((((((((((triple11) -> rule8)) -> rule7)) -> rule2)) -> rule6)) -> rule3) ((triple12) -> rule6)) -> rule5) OR ((((((((((((triple11) -> rule8)) -> rule7)) -> rule2)) -> rule6)) -> rule3) ((((((((triple11) -> rule8)) -> rule7)) -> rule2)) -> rule6)) -> rule5))] Harry is green.[(triple11)] Harry is quiet.[(triple12 OR ((((((triple11) -> rule8)) -> rule7)) -> rule2))] @1: Bob is white.[(((triple5) -> rule3))] Dave is nice.[(((triple7) -> rule8))] Harry is nice.[(((triple11) -> rule8))] Harry is round.[(((triple12) -> rule6) OR ((((((((triple11) -> rule8)) -> rule7)) -> rule2)) -> rule6))] @2: Dave is cold.[(((((triple7) -> rule8)) -> rule7))] Harry is cold.[(((((triple11) -> rule8)) -> rule7))] Harry is white.[(((((triple12) -> rule6)) -> rule3) OR ((((((((((triple11) -> rule8)) -> rule7)) -> rule2)) -> rule6)) -> rule3))] @3: Dave is quiet.[(((((((triple7) -> rule8)) -> rule7)) -> rule2))]