Anne is blue. Bob is furry. Charlie is nice. Harry is furry. If something is round then it is smart. If Anne is red then Anne is furry. If Bob is not smart then Bob is furry. If Charlie is rough then Charlie is furry. Nice, furry things are rough. All furry things are not nice.
Anne is blue.
@0: Anne is blue.[(triple1)] Bob is furry.[(triple2)] Charlie is nice.[(triple3)] Harry is furry.[(triple4)] @1: Bob is not nice.[(((triple2) -> rule6))] Harry is not nice.[(((triple4) -> rule6))]