Charlie is big. Charlie is blue. Charlie is furry. Charlie is nice. Charlie is red. Charlie is round. Charlie is smart. All round things are big.
Charlie is round.
@0: Charlie is big.[(triple1 OR ((triple6) -> rule1))] Charlie is blue.[(triple2)] Charlie is furry.[(triple3)] Charlie is nice.[(triple4)] Charlie is red.[(triple5)] Charlie is round.[(triple6)] Charlie is smart.[(triple7)]