Charlie is big. Charlie is round. Dave is big. Dave is not blue. Dave is not green. Dave is rough. Erin is white. Gary is big. Gary is not green. Gary is rough. All round people are blue. Round, big people are blue. Furry, big people are blue. All furry people are green. If someone is big and furry then they are green. If someone is furry then they are rough. If Gary is blue and Gary is not furry then Gary is round. If someone is blue and green then they are not round.
Charlie is not round.
@0: Charlie is big.[(triple1)] Charlie is round.[(triple2)] Dave is big.[(triple3)] Dave is not blue.[(triple4)] Dave is not green.[(triple5)] Dave is rough.[(triple6)] Erin is white.[(triple7)] Gary is big.[(triple8)] Gary is not green.[(triple9)] Gary is rough.[(triple10)] @1: Charlie is blue.[(((triple2) -> rule1) OR ((triple2 triple1) -> rule2))]