Anne is not nice. Bob is nice. Bob is red. Bob is young. Dave is cold. Dave is red. Dave is not white. Dave is young. Erin is blue. Erin is cold. Erin is red. Erin is young. All blue people are young. If someone is nice and not cold then they are young. All smart, cold people are not young. If someone is smart and red then they are not young. All cold people are young. If Anne is not white then Anne is young. If someone is smart then they are blue. If Dave is nice then Dave is not young.
Erin is not cold.
@0: Anne is not nice.[(triple1)] Bob is nice.[(triple2)] Bob is red.[(triple3)] Bob is young.[(triple4)] Dave is cold.[(triple5)] Dave is not white.[(triple7)] Dave is red.[(triple6)] Dave is young.[(triple8 OR ((triple5) -> rule5))] Erin is blue.[(triple9)] Erin is cold.[(triple10)] Erin is red.[(triple11)] Erin is young.[(triple12 OR ((triple10) -> rule5) OR ((triple9) -> rule1))]