Anne is cold. Anne is quiet. Anne is red. Anne is young. Dave is white. Erin is quiet. Erin is smart. All cold things are red. If Dave is quiet then Dave is cold.
Erin is not smart.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3 OR ((triple1) -> rule1))] Anne is young.[(triple4)] Dave is white.[(triple5)] Erin is quiet.[(triple6)] Erin is smart.[(triple7)]