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