Dave is not big. Dave is nice. Dave is smart. Dave is white. Dave is not young. Erin is big. Erin is cold. Erin is not nice. Erin is rough. Erin is not smart. Erin is white. Erin is young. White things are rough. If something is rough and not young then it is cold. If Erin is cold and Erin is nice then Erin is big. If something is nice and not cold then it is not smart. Rough, big things are not nice. If something is smart and not rough then it is nice.
Dave is not cold.
@0: Dave is nice.[(triple2)] Dave is not big.[(triple1)] Dave is not young.[(triple5)] Dave is smart.[(triple3)] Dave is white.[(triple4)] Erin is big.[(triple6)] Erin is cold.[(triple7)] Erin is not nice.[(triple8 OR ((triple9 triple6) -> rule5) OR ((((triple11) -> rule1) triple6) -> rule5))] Erin is not smart.[(triple10)] Erin is rough.[(triple9 OR ((triple11) -> rule1))] Erin is white.[(triple11)] Erin is young.[(triple12)] @1: Dave is rough.[(((triple4) -> rule1))] @2: Dave is cold.[(((((triple4) -> rule1) triple5) -> rule2))]