Bob is furry. Dave is nice. If something is nice then it is not green. If something is kind and not green then it is furry. All kind things are not big. All rough, kind things are big. All kind, furry things are big. If Bob is furry then Bob is not big.
Dave is not big.
@0: Bob is furry.[(triple1)] Dave is nice.[(triple2)] @1: Bob is not big.[(((triple1) -> rule6))] Dave is not green.[(((triple2) -> rule1))]