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