Bob is red. Bob is smart. Erin is cold. Erin is nice. Erin is quiet. Harry is cold. Harry is smart. Green, blue people are quiet. All red people are green. If Harry is nice and Harry is quiet then Harry is cold. If someone is quiet then they are smart. If someone is smart then they are green. All green people are blue. Smart people are blue. Blue, red people are cold.
Harry is not cold.
@0: Bob is red.[(triple1)] Bob is smart.[(triple2 OR ((((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule6)) -> rule1)) -> rule4))] Erin is cold.[(triple3)] Erin is nice.[(triple4)] Erin is quiet.[(triple5)] Harry is cold.[(triple6)] Harry is smart.[(triple7)] @1: Bob is blue.[(((triple2) -> rule7) OR ((((triple1) -> rule2)) -> rule6) OR ((((triple2) -> rule5)) -> rule6))] Bob is green.[(((triple1) -> rule2) OR ((triple2) -> rule5))] Erin is smart.[(((triple5) -> rule4))] Harry is blue.[(((triple7) -> rule7) OR ((((triple7) -> rule5)) -> rule6))] Harry is green.[(((triple7) -> rule5))] @2: Bob is cold.[(((((triple2) -> rule7) triple1) -> rule8) OR ((((((triple1) -> rule2)) -> rule6) triple1) -> rule8) OR ((((((triple2) -> rule5)) -> rule6) triple1) -> rule8))] Bob is quiet.[(((((triple1) -> rule2) ((triple2) -> rule7)) -> rule1) OR ((((triple2) -> rule5) ((triple2) -> rule7)) -> rule1) OR ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule6)) -> rule1) OR ((((triple1) -> rule2) ((((triple2) -> rule5)) -> rule6)) -> rule1) OR ((((triple2) -> rule5) ((((triple1) -> rule2)) -> rule6)) -> rule1) OR ((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule6)) -> rule1))] Erin is blue.[(((((triple5) -> rule4)) -> rule7) OR ((((((triple5) -> rule4)) -> rule5)) -> rule6))] Erin is green.[(((((triple5) -> rule4)) -> rule5))] Harry is quiet.[(((((triple7) -> rule5) ((triple7) -> rule7)) -> rule1) OR ((((triple7) -> rule5) ((((triple7) -> rule5)) -> rule6)) -> rule1))]