Dave is big. Dave is blue. Dave is cold. Dave is kind. Dave is nice. Dave is rough. Dave is white. Erin is big. Erin is blue. Erin is cold. Erin is kind. Erin is nice. Erin is rough. Erin is white. All cold, nice things are white. If something is rough then it is big.
Dave is not big.
@0: Dave is big.[(triple1 OR ((triple6) -> rule2))] Dave is blue.[(triple2)] Dave is cold.[(triple3)] Dave is kind.[(triple4)] Dave is nice.[(triple5)] Dave is rough.[(triple6)] Dave is white.[(triple7 OR ((triple3 triple5) -> rule1))] Erin is big.[(triple8 OR ((triple13) -> rule2))] Erin is blue.[(triple9)] Erin is cold.[(triple10)] Erin is kind.[(triple11)] Erin is nice.[(triple12)] Erin is rough.[(triple13)] Erin is white.[(triple14 OR ((triple10 triple12) -> rule1))]