Anne is nice. Dave is cold. Fiona is red. Gary is not quiet. If someone is red then they are quiet. If Gary is quiet and Gary is cold then Gary is round. All red, furry people are round. If someone is cold and not red then they are not furry. Cold, furry people are big. If Anne is quiet then Anne is round.
Anne is nice.
@0: Anne is nice.[(triple1)] Dave is cold.[(triple2)] Fiona is red.[(triple3)] Gary is not quiet.[(triple4)] @1: Fiona is quiet.[(((triple3) -> rule1))]