Dave is cold. Dave is green. Dave is rough. Dave is smart. Dave is white. Dave is young. Erin is green. Erin is kind. Erin is rough. Erin is smart. Erin is white. Erin is young. Cold things are smart. Smart, green things are cold. Green, rough things are cold. If Erin is kind and Erin is not cold then Erin is young. If something is kind and not smart then it is not young. If Dave is not green and Dave is not young then Dave is white.
Erin is cold.
@0: Dave is cold.[(triple1 OR ((triple2 triple3) -> rule3) OR ((triple4 triple2) -> rule2))] Dave is green.[(triple2)] Dave is rough.[(triple3)] Dave is smart.[(triple4 OR ((triple1) -> rule1) OR ((((triple2 triple3) -> rule3)) -> rule1))] Dave is white.[(triple5)] Dave is young.[(triple6)] Erin is green.[(triple7)] Erin is kind.[(triple8)] Erin is rough.[(triple9)] Erin is smart.[(triple10 OR ((((triple7 triple9) -> rule3)) -> rule1))] Erin is white.[(triple11)] Erin is young.[(triple12)] @1: Erin is cold.[(((triple10 triple7) -> rule2) OR ((triple7 triple9) -> rule3))]