Bob is cold. Bob is green. Bob is quiet. Bob is round. Bob is smart. Bob is white. Harry is cold. Harry is green. Harry is quiet. Harry is smart. All white, round things are quiet. All blue, smart things are round. If something is quiet then it is round. All blue, smart things are quiet. If something is blue then it is white. If something is cold then it is blue. If Bob is green then Bob is smart. If Harry is round and Harry is white then Harry is smart.
Harry is smart.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is quiet.[(triple3 OR ((triple6 triple4) -> rule1) OR ((((triple1) -> rule6) triple5) -> rule4) OR ((((triple1) -> rule6) ((triple2) -> rule7)) -> rule4) OR ((triple6 ((((triple1) -> rule6) triple5) -> rule2)) -> rule1) OR ((((((triple1) -> rule6)) -> rule5) triple4) -> rule1) OR ((triple6 ((((triple1) -> rule6) ((triple2) -> rule7)) -> rule2)) -> rule1) OR ((((((triple1) -> rule6)) -> rule5) ((((triple1) -> rule6) triple5) -> rule2)) -> rule1) OR ((((((triple1) -> rule6)) -> rule5) ((((triple1) -> rule6) ((triple2) -> rule7)) -> rule2)) -> rule1))] Bob is round.[(triple4 OR ((triple3) -> rule3) OR ((((triple1) -> rule6) triple5) -> rule2) OR ((((triple1) -> rule6) ((triple2) -> rule7)) -> rule2) OR ((((((triple1) -> rule6) triple5) -> rule4)) -> rule3) OR ((((((triple1) -> rule6) ((triple2) -> rule7)) -> rule4)) -> rule3))] Bob is smart.[(triple5 OR ((triple2) -> rule7))] Bob is white.[(triple6 OR ((((triple1) -> rule6)) -> rule5))] Harry is cold.[(triple7)] Harry is green.[(triple8)] Harry is quiet.[(triple9 OR ((((triple7) -> rule6) triple10) -> rule4) OR ((((((triple7) -> rule6)) -> rule5) ((((triple7) -> rule6) triple10) -> rule2)) -> rule1))] Harry is smart.[(triple10 OR ((((triple9) -> rule3) ((((triple7) -> rule6)) -> rule5)) -> rule8))] @1: Bob is blue.[(((triple1) -> rule6))] Harry is blue.[(((triple7) -> rule6))] Harry is round.[(((triple9) -> rule3) OR ((((triple7) -> rule6) triple10) -> rule2) OR ((((((triple7) -> rule6) triple10) -> rule4)) -> rule3))] @2: Harry is white.[(((((triple7) -> rule6)) -> rule5))]