Bob is blue. Bob is cold. Bob is red. Bob is smart. Charlie is blue. Charlie is cold. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Harry is blue. Harry is red. Harry is rough. Harry is smart. Blue things are rough. Quiet things are blue. If Harry is rough then Harry is white. Smart things are rough. All rough things are quiet. If something is blue then it is cold. Red things are cold. If Harry is white and Harry is blue then Harry is red.
Harry is white.
@0: Bob is blue.[(triple1 OR ((((((triple4) -> rule4)) -> rule5)) -> rule2))] Bob is cold.[(triple2 OR ((triple1) -> rule6) OR ((triple3) -> rule7) OR ((((((((triple4) -> rule4)) -> rule5)) -> rule2)) -> rule6))] Bob is red.[(triple3)] Bob is smart.[(triple4)] Charlie is blue.[(triple5 OR ((triple7) -> rule2) OR ((((triple9) -> rule5)) -> rule2) OR ((((((triple10) -> rule4)) -> rule5)) -> rule2))] Charlie is cold.[(triple6 OR ((triple5) -> rule6) OR ((triple8) -> rule7) OR ((((triple7) -> rule2)) -> rule6) OR ((((((triple9) -> rule5)) -> rule2)) -> rule6) OR ((((((((triple10) -> rule4)) -> rule5)) -> rule2)) -> rule6))] Charlie is quiet.[(triple7 OR ((triple9) -> rule5) OR ((((triple10) -> rule4)) -> rule5) OR ((((triple5) -> rule1)) -> rule5))] Charlie is red.[(triple8)] Charlie is rough.[(triple9 OR ((triple10) -> rule4) OR ((triple5) -> rule1) OR ((((triple7) -> rule2)) -> rule1))] Charlie is smart.[(triple10)] Charlie is white.[(triple11)] Harry is blue.[(triple12 OR ((((triple14) -> rule5)) -> rule2) OR ((((((triple15) -> rule4)) -> rule5)) -> rule2))] Harry is red.[(triple13 OR ((((triple14) -> rule3) triple12) -> rule8) OR ((((((triple12) -> rule1)) -> rule3) triple12) -> rule8) OR ((((((triple15) -> rule4)) -> rule3) triple12) -> rule8) OR ((((triple14) -> rule3) ((((triple14) -> rule5)) -> rule2)) -> rule8) OR ((((((triple12) -> rule1)) -> rule3) ((((triple14) -> rule5)) -> rule2)) -> rule8) OR ((((((triple15) -> rule4)) -> rule3) ((((triple14) -> rule5)) -> rule2)) -> rule8) OR ((((triple14) -> rule3) ((((((triple15) -> rule4)) -> rule5)) -> rule2)) -> rule8) OR ((((((triple12) -> rule1)) -> rule3) ((((((triple15) -> rule4)) -> rule5)) -> rule2)) -> rule8) OR ((((((triple15) -> rule4)) -> rule3) ((((((triple15) -> rule4)) -> rule5)) -> rule2)) -> rule8))] Harry is rough.[(triple14 OR ((triple12) -> rule1) OR ((triple15) -> rule4))] Harry is smart.[(triple15)] @1: Bob is rough.[(((triple1) -> rule1) OR ((triple4) -> rule4))] Harry is cold.[(((triple12) -> rule6) OR ((triple13) -> rule7) OR ((((((triple14) -> rule5)) -> rule2)) -> rule6) OR ((((((triple14) -> rule3) triple12) -> rule8)) -> rule7) OR ((((((((triple15) -> rule4)) -> rule5)) -> rule2)) -> rule6) OR ((((((((triple12) -> rule1)) -> rule3) triple12) -> rule8)) -> rule7) OR ((((((((triple15) -> rule4)) -> rule3) triple12) -> rule8)) -> rule7) OR ((((((triple14) -> rule3) ((((triple14) -> rule5)) -> rule2)) -> rule8)) -> rule7) OR ((((((((triple12) -> rule1)) -> rule3) ((((triple14) -> rule5)) -> rule2)) -> rule8)) -> rule7) OR ((((((((triple15) -> rule4)) -> rule3) ((((triple14) -> rule5)) -> rule2)) -> rule8)) -> rule7) OR ((((((triple14) -> rule3) ((((((triple15) -> rule4)) -> rule5)) -> rule2)) -> rule8)) -> rule7) OR ((((((((triple12) -> rule1)) -> rule3) ((((((triple15) -> rule4)) -> rule5)) -> rule2)) -> rule8)) -> rule7) OR ((((((((triple15) -> rule4)) -> rule3) ((((((triple15) -> rule4)) -> rule5)) -> rule2)) -> rule8)) -> rule7))] Harry is quiet.[(((triple14) -> rule5) OR ((((triple12) -> rule1)) -> rule5) OR ((((triple15) -> rule4)) -> rule5))] Harry is white.[(((triple14) -> rule3) OR ((((triple12) -> rule1)) -> rule3) OR ((((triple15) -> rule4)) -> rule3))] @2: Bob is quiet.[(((((triple1) -> rule1)) -> rule5) OR ((((triple4) -> rule4)) -> rule5))]