Charlie is big. Charlie is blue. Charlie is cold. Charlie is not furry. Charlie is green. Charlie is red. Charlie is white. If someone is red and cold then they are green. If someone is blue and furry then they are green. If someone is furry and not red then they are big. Red people are big. White people are big. If someone is green and not cold then they are not white.
Charlie is cold.
@0: Charlie is big.[(triple1 OR ((triple6) -> rule4) OR ((triple7) -> rule5))] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is green.[(triple5 OR ((triple6 triple3) -> rule1))] Charlie is not furry.[(triple4)] Charlie is red.[(triple6)] Charlie is white.[(triple7)]