Anne is rough. Dave is big. Gary is quiet. If someone is quiet and big then they are round. All furry people are rough. All rough, furry people are big. All round, furry people are white. All rough people are cold. All round, quiet people are cold.
Anne is rough.
@0: Anne is rough.[(triple1)] Dave is big.[(triple2)] Gary is quiet.[(triple3)] @1: Anne is cold.[(((triple1) -> rule5))]