Anne is not nice. Bob is red. Erin is cold. Harry is not smart. If someone is red then they are smart. All cold people are smart. Nice, white people are kind. All cold people are kind. If Harry is white then Harry is cold. Nice people are not white. If someone is smart then they are nice. If Anne is cold and Anne is not kind then Anne is not quiet.
Harry is not white.
@0: Anne is not nice.[(triple1)] Bob is red.[(triple2)] Erin is cold.[(triple3)] Harry is not smart.[(triple4)] @1: Bob is smart.[(((triple2) -> rule1))] Erin is kind.[(((triple3) -> rule4))] Erin is smart.[(((triple3) -> rule2))] @2: Bob is nice.[(((((triple2) -> rule1)) -> rule7))] Erin is nice.[(((((triple3) -> rule2)) -> rule7))] @3: Bob is not white.[(((((((triple2) -> rule1)) -> rule7)) -> rule6))] Erin is not white.[(((((((triple3) -> rule2)) -> rule7)) -> rule6))]