Bob is cold. Dave is smart. Erin is cold. Harry is not cold. If someone is cold then they are green. If someone is green and blue then they are not nice. If someone is green then they are blue. All green people are rough. If someone is green and not blue then they are quiet. If someone is cold and not rough then they are smart. Cold, nice people are smart. If someone is green and not blue then they are smart.
Harry is not quiet.
@0: Bob is cold.[(triple1)] Dave is smart.[(triple2)] Erin is cold.[(triple3)] Harry is not cold.[(triple4)] @1: Bob is green.[(((triple1) -> rule1))] Erin is green.[(((triple3) -> rule1))] @2: Bob is blue.[(((((triple1) -> rule1)) -> rule3))] Bob is rough.[(((((triple1) -> rule1)) -> rule4))] Erin is blue.[(((((triple3) -> rule1)) -> rule3))] Erin is rough.[(((((triple3) -> rule1)) -> rule4))] @3: Bob is not nice.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule2))] Erin is not nice.[(((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule3)) -> rule2))]