Charlie is big. Charlie is blue. Charlie is furry. Charlie is rough. Charlie is round. Charlie is smart. Charlie is young. Young, big things are smart. All furry, smart things are rough.
Charlie is not round.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is furry.[(triple3)] Charlie is rough.[(triple4 OR ((triple3 triple6) -> rule2) OR ((triple3 ((triple7 triple1) -> rule1)) -> rule2))] Charlie is round.[(triple5)] Charlie is smart.[(triple6 OR ((triple7 triple1) -> rule1))] Charlie is young.[(triple7)]