Charlie is big. Charlie is blue. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is round. Charlie is white. If someone is red and quiet then they are big.
Charlie is round.
@0: Charlie is big.[(triple1 OR ((triple5 triple4) -> rule1))] Charlie is blue.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is round.[(triple6)] Charlie is white.[(triple7)]