Charlie is big. Charlie is not cold. Charlie is round. Charlie is young. Dave is not big. Dave is furry. Dave is rough. Dave is not round. Dave is not white. Dave is young. Erin is big. Erin is cold. Erin is furry. Erin is rough. Erin is round. Erin is young. If something is cold and not rough then it is not white. All big things are furry. If something is cold and big then it is round. If Dave is not white and Dave is not round then Dave is furry. If Erin is rough and Erin is not round then Erin is white. If Charlie is not furry then Charlie is round.
Charlie is not furry.
@0: Charlie is big.[(triple1)] Charlie is not cold.[(triple2)] Charlie is round.[(triple3)] Charlie is young.[(triple4)] Dave is furry.[(triple6 OR ((triple9 triple8) -> rule4))] Dave is not big.[(triple5)] Dave is not round.[(triple8)] Dave is not white.[(triple9)] Dave is rough.[(triple7)] Dave is young.[(triple10)] Erin is big.[(triple11)] Erin is cold.[(triple12)] Erin is furry.[(triple13 OR ((triple11) -> rule2))] Erin is rough.[(triple14)] Erin is round.[(triple15 OR ((triple12 triple11) -> rule3))] Erin is young.[(triple16)] @1: Charlie is furry.[(((triple1) -> rule2))]