Charlie is big. Charlie is round. Charlie is white. Furry things are green. If Charlie is furry then Charlie is kind. Green things are smart. White things are round. All furry, smart things are round. If Charlie is smart and Charlie is round then Charlie is white.
Charlie is not big.
@0: Charlie is big.[(triple1)] Charlie is round.[(triple2 OR ((triple3) -> rule4))] Charlie is white.[(triple3)]