Charlie is big. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is round. Charlie is not white. If Charlie is white and Charlie is red then Charlie is big. Red people are green. If someone is red and not quiet then they are white. Big, white people are not red. If someone is round and not green then they are kind. If someone is quiet and not white then they are round.
Charlie is red.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2 OR ((triple5) -> rule2))] Charlie is kind.[(triple3)] Charlie is not white.[(triple7)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is round.[(triple6 OR ((triple4 triple7) -> rule6))]