Anne is big. Fiona is white. Gary is nice. All big, furry people are white. Nice, kind people are green. Big people are green. Kind people are big. All furry people are kind. If someone is big then they are furry.
Gary is not big.
@0: Anne is big.[(triple1)] Fiona is white.[(triple2)] Gary is nice.[(triple3)] @1: Anne is furry.[(((triple1) -> rule6))] Anne is green.[(((triple1) -> rule3))] @2: Anne is kind.[(((((triple1) -> rule6)) -> rule5))] Anne is white.[(((triple1 ((triple1) -> rule6)) -> rule1))]