Anne is cold. Anne is furry. Anne is kind. Anne is nice. Anne is quiet. Anne is smart. Anne is young. Erin is cold. Erin is furry. Erin is kind. Erin is nice. Erin is quiet. Erin is smart. Erin is young. If something is cold then it is young. Kind, cold things are young.
Erin is young.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is quiet.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7 OR ((triple1) -> rule1) OR ((triple3 triple1) -> rule2))] Erin is cold.[(triple8)] Erin is furry.[(triple9)] Erin is kind.[(triple10)] Erin is nice.[(triple11)] Erin is quiet.[(triple12)] Erin is smart.[(triple13)] Erin is young.[(triple14 OR ((triple8) -> rule1) OR ((triple10 triple8) -> rule2))]