Bob is blue. Bob is cold. Bob is furry. Bob is kind. Bob is white. Dave is cold. Dave is furry. Dave is kind. Dave is young. Harry is white. If someone is white then they are blue. If someone is young then they are quiet. All white, blue people are cold. Furry people are cold. If someone is quiet then they are cold. Kind people are quiet. If someone is quiet and furry then they are white. If someone is quiet and young then they are white.
Harry is cold.
@0: Bob is blue.[(triple1 OR ((triple5) -> rule1) OR ((((((triple4) -> rule6) triple3) -> rule7)) -> rule1))] Bob is cold.[(triple2 OR ((triple3) -> rule4) OR ((triple5 triple1) -> rule3) OR ((((triple4) -> rule6)) -> rule5) OR ((triple5 ((triple5) -> rule1)) -> rule3) OR ((((((triple4) -> rule6) triple3) -> rule7) triple1) -> rule3) OR ((((((triple4) -> rule6) triple3) -> rule7) ((triple5) -> rule1)) -> rule3) OR ((triple5 ((((((triple4) -> rule6) triple3) -> rule7)) -> rule1)) -> rule3) OR ((((((triple4) -> rule6) triple3) -> rule7) ((((((triple4) -> rule6) triple3) -> rule7)) -> rule1)) -> rule3))] Bob is furry.[(triple3)] Bob is kind.[(triple4)] Bob is white.[(triple5 OR ((((triple4) -> rule6) triple3) -> rule7))] Dave is cold.[(triple6 OR ((triple7) -> rule4) OR ((((triple8) -> rule6)) -> rule5) OR ((((triple9) -> rule2)) -> rule5) OR ((((((triple8) -> rule6) triple7) -> rule7) ((((((triple8) -> rule6) triple7) -> rule7)) -> rule1)) -> rule3) OR ((((((triple8) -> rule6) triple7) -> rule7) ((((((triple8) -> rule6) triple9) -> rule8)) -> rule1)) -> rule3) OR ((((((triple8) -> rule6) triple7) -> rule7) ((((((triple9) -> rule2) triple7) -> rule7)) -> rule1)) -> rule3) OR ((((((triple8) -> rule6) triple7) -> rule7) ((((((triple9) -> rule2) triple9) -> rule8)) -> rule1)) -> rule3) OR ((((((triple8) -> rule6) triple9) -> rule8) ((((((triple8) -> rule6) triple7) -> rule7)) -> rule1)) -> rule3) OR ((((((triple8) -> rule6) triple9) -> rule8) ((((((triple8) -> rule6) triple9) -> rule8)) -> rule1)) -> rule3) OR ((((((triple8) -> rule6) triple9) -> rule8) ((((((triple9) -> rule2) triple7) -> rule7)) -> rule1)) -> rule3) OR ((((((triple8) -> rule6) triple9) -> rule8) ((((((triple9) -> rule2) triple9) -> rule8)) -> rule1)) -> rule3) OR ((((((triple9) -> rule2) triple7) -> rule7) ((((((triple8) -> rule6) triple7) -> rule7)) -> rule1)) -> rule3) OR ((((((triple9) -> rule2) triple7) -> rule7) ((((((triple8) -> rule6) triple9) -> rule8)) -> rule1)) -> rule3) OR ((((((triple9) -> rule2) triple7) -> rule7) ((((((triple9) -> rule2) triple7) -> rule7)) -> rule1)) -> rule3) OR ((((((triple9) -> rule2) triple7) -> rule7) ((((((triple9) -> rule2) triple9) -> rule8)) -> rule1)) -> rule3) OR ((((((triple9) -> rule2) triple9) -> rule8) ((((((triple8) -> rule6) triple7) -> rule7)) -> rule1)) -> rule3) OR ((((((triple9) -> rule2) triple9) -> rule8) ((((((triple8) -> rule6) triple9) -> rule8)) -> rule1)) -> rule3) OR ((((((triple9) -> rule2) triple9) -> rule8) ((((((triple9) -> rule2) triple7) -> rule7)) -> rule1)) -> rule3) OR ((((((triple9) -> rule2) triple9) -> rule8) ((((((triple9) -> rule2) triple9) -> rule8)) -> rule1)) -> rule3))] Dave is furry.[(triple7)] Dave is kind.[(triple8)] Dave is young.[(triple9)] Harry is white.[(triple10)] @1: Bob is quiet.[(((triple4) -> rule6))] Dave is quiet.[(((triple8) -> rule6) OR ((triple9) -> rule2))] Harry is blue.[(((triple10) -> rule1))] @2: Dave is white.[(((((triple8) -> rule6) triple7) -> rule7) OR ((((triple8) -> rule6) triple9) -> rule8) OR ((((triple9) -> rule2) triple7) -> rule7) OR ((((triple9) -> rule2) triple9) -> rule8))] Harry is cold.[(((triple10 ((triple10) -> rule1)) -> rule3))] @3: Dave is blue.[(((((((triple8) -> rule6) triple7) -> rule7)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule8)) -> rule1) OR ((((((triple9) -> rule2) triple7) -> rule7)) -> rule1) OR ((((((triple9) -> rule2) triple9) -> rule8)) -> rule1))]