Bob is cold. Bob is quiet. Erin is cold. Harry is blue. Harry is nice. Harry is rough. Harry is young. Young, blue things are cold. All nice, rough things are blue. Blue, nice things are green. Rough, blue things are green. All quiet, young things are nice. All nice things are quiet.
Erin is not cold.
@0: Bob is cold.[(triple1)] Bob is quiet.[(triple2)] Erin is cold.[(triple3)] Harry is blue.[(triple4 OR ((triple5 triple6) -> rule2))] Harry is nice.[(triple5)] Harry is rough.[(triple6)] Harry is young.[(triple7)] @1: Harry is cold.[(((triple7 triple4) -> rule1) OR ((triple7 ((triple5 triple6) -> rule2)) -> rule1))] Harry is green.[(((triple4 triple5) -> rule3) OR ((triple6 triple4) -> rule4) OR ((triple6 ((triple5 triple6) -> rule2)) -> rule4) OR ((((triple5 triple6) -> rule2) triple5) -> rule3))] Harry is quiet.[(((triple5) -> rule6))]