Charlie is big. Charlie is not cold. Charlie is nice. Charlie is round. Charlie is not smart. Dave is rough. Dave is smart. If someone is smart then they are round. If Dave is white then Dave is nice. All cold people are big. White people are not cold. If someone is nice and not round then they are cold. If Dave is big then Dave is not white.
Charlie is rough.
@0: Charlie is big.[(triple1)] Charlie is nice.[(triple3)] Charlie is not cold.[(triple2)] Charlie is not smart.[(triple5)] Charlie is round.[(triple4)] Dave is rough.[(triple6)] Dave is smart.[(triple7)] @1: Dave is round.[(((triple7) -> rule1))]