Gary is furry. Gary is green. Gary is not rough. All big, furry people are kind. Furry, smart people are kind. All kind people are big. If Gary is kind and Gary is not green then Gary is furry. If someone is green and not rough then they are smart. Rough, kind people are smart.
Gary is not furry.
@0: Gary is furry.[(triple1)] Gary is green.[(triple2)] Gary is not rough.[(triple3)] @1: Gary is smart.[(((triple2 triple3) -> rule5))] @2: Gary is kind.[(((triple1 ((triple2 triple3) -> rule5)) -> rule2))] @3: Gary is big.[(((((triple1 ((triple2 triple3) -> rule5)) -> rule2)) -> rule3))]