Anne is nice. Gary is green. If Anne is red and Anne is nice then Anne is green. All green, furry people are smart. If Gary is furry and Gary is nice then Gary is big. If Gary is blue then Gary is nice. If Gary is smart then Gary is blue. If Gary is furry and Gary is big then Gary is green. Nice people are furry. Blue people are big.
Anne is blue.
@0: Anne is nice.[(triple1)] Gary is green.[(triple2)] @1: Anne is furry.[(((triple1) -> rule7))]