Dave is not big. Dave is cold. Dave is green. Dave is kind. Dave is quiet. Dave is smart. Dave is young. Erin is big. Erin is cold. Erin is not smart. All young, smart people are kind. If someone is cold then they are kind. If someone is smart and not green then they are not kind.
Erin is quiet.
@0: Dave is cold.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4 OR ((triple2) -> rule2) OR ((triple7 triple6) -> rule1))] Dave is not big.[(triple1)] Dave is quiet.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7)] Erin is big.[(triple8)] Erin is cold.[(triple9)] Erin is not smart.[(triple10)] @1: Erin is kind.[(((triple9) -> rule2))]