Anne is cold. Erin is red. If something is kind and quiet then it is round. Cold things are quiet. If Erin is kind and Erin is round then Erin is green. All green, red things are kind. If Erin is round then Erin is rough. If something is cold and green then it is quiet.
Erin is red.
@0: Anne is cold.[(triple1)] Erin is red.[(triple2)] @1: Anne is quiet.[(((triple1) -> rule2))]