Charlie is green. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is not round. Charlie is smart. Charlie is white. Gary is green. Gary is kind. Gary is nice. Gary is quiet. Gary is round. Gary is smart. Gary is white. If someone is nice and not smart then they are not white. Round people are green. If someone is kind then they are nice. Round people are nice. If Gary is nice and Gary is not round then Gary is green. If Gary is smart and Gary is nice then Gary is green.
Gary is not round.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Charlie is nice.[(triple3 OR ((triple2) -> rule3))] Charlie is not round.[(triple5)] Charlie is quiet.[(triple4)] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Gary is green.[(triple8 OR ((triple12) -> rule2) OR ((triple13 triple10) -> rule6) OR ((triple13 ((triple12) -> rule4)) -> rule6) OR ((triple13 ((triple9) -> rule3)) -> rule6))] Gary is kind.[(triple9)] Gary is nice.[(triple10 OR ((triple12) -> rule4) OR ((triple9) -> rule3))] Gary is quiet.[(triple11)] Gary is round.[(triple12)] Gary is smart.[(triple13)] Gary is white.[(triple14)]