Anne is red. Bob is cold. Charlie is furry. Harry is furry. If someone is blue and quiet then they are furry. If someone is furry then they are blue. If someone is green then they are cold. If someone is quiet then they are green. If someone is red then they are rough. Green, rough people are blue. Blue people are red. All quiet, furry people are blue.
Charlie is not red.
@0: Anne is red.[(triple1)] Bob is cold.[(triple2)] Charlie is furry.[(triple3)] Harry is furry.[(triple4)] @1: Anne is rough.[(((triple1) -> rule5))] Charlie is blue.[(((triple3) -> rule2))] Harry is blue.[(((triple4) -> rule2))] @2: Charlie is red.[(((((triple3) -> rule2)) -> rule7))] Harry is red.[(((((triple4) -> rule2)) -> rule7))] @3: Charlie is rough.[(((((((triple3) -> rule2)) -> rule7)) -> rule5))] Harry is rough.[(((((((triple4) -> rule2)) -> rule7)) -> rule5))]