Charlie is nice. Charlie is rough. Dave is big. Dave is nice. Dave is white. Erin is nice. Erin is round. Erin is white. Gary is not nice. Gary is rough. If someone is round then they are rough. If Gary is rough and Gary is green then Gary is big. If someone is rough then they are round. All green, kind people are not round. All round people are not kind. If someone is rough and not white then they are kind.
Gary is not big.
@0: Charlie is nice.[(triple1)] Charlie is rough.[(triple2)] Dave is big.[(triple3)] Dave is nice.[(triple4)] Dave is white.[(triple5)] Erin is nice.[(triple6)] Erin is round.[(triple7)] Erin is white.[(triple8)] Gary is not nice.[(triple9)] Gary is rough.[(triple10)] @1: Charlie is round.[(((triple2) -> rule3))] Erin is not kind.[(((triple7) -> rule5))] Erin is rough.[(((triple7) -> rule1))] Gary is round.[(((triple10) -> rule3))] @2: Charlie is not kind.[(((((triple2) -> rule3)) -> rule5))] Gary is not kind.[(((((triple10) -> rule3)) -> rule5))]