Charlie is furry. Dave is green. Erin is nice. All furry things are big. If Dave is white and Dave is not big then Dave is nice. All nice, furry things are white. If Dave is furry and Dave is white then Dave is not green. If Charlie is quiet then Charlie is big. If something is blue and not green then it is quiet.
Charlie is big.
@0: Charlie is furry.[(triple1)] Dave is green.[(triple2)] Erin is nice.[(triple3)] @1: Charlie is big.[(((triple1) -> rule1))]