Gary is rough. If something is cold and green then it is rough. All cold, furry things are green. If Gary is rough then Gary is quiet. If something is rough then it is big. Rough, green things are furry. If something is green and furry then it is cold.
Gary is big.
@0: Gary is rough.[(triple1)] @1: Gary is big.[(((triple1) -> rule4))] Gary is quiet.[(((triple1) -> rule3))]