Charlie is not smart. Charlie is white. Dave is big. Dave is blue. Dave is nice. Dave is round. Dave is smart. Dave is white. Erin is blue. Erin is not nice. All rough, smart things are white. Nice, rough things are not white. If something is nice and not big then it is not rough. If Erin is smart and Erin is white then Erin is round. If Dave is white and Dave is round then Dave is nice. If Dave is smart and Dave is not big then Dave is not rough.
Charlie is blue.
@0: Charlie is not smart.[(triple1)] Charlie is white.[(triple2)] Dave is big.[(triple3)] Dave is blue.[(triple4)] Dave is nice.[(triple5 OR ((triple8 triple6) -> rule5))] Dave is round.[(triple6)] Dave is smart.[(triple7)] Dave is white.[(triple8)] Erin is blue.[(triple9)] Erin is not nice.[(triple10)]