Charlie is big. Charlie is furry. Charlie is nice. Charlie is red. Charlie is round. Charlie is smart. Charlie is white. If someone is white and red then they are round. If Charlie is white and Charlie is nice then Charlie is big. If Charlie is smart and Charlie is not red then Charlie is big. Smart people are big. If Charlie is not big then Charlie is furry. If Charlie is furry then Charlie is round.
Charlie is furry.
@0: Charlie is big.[(triple1 OR ((triple6) -> rule4) OR ((triple7 triple3) -> rule2))] Charlie is furry.[(triple2)] Charlie is nice.[(triple3)] Charlie is red.[(triple4)] Charlie is round.[(triple5 OR ((triple2) -> rule6) OR ((triple7 triple4) -> rule1))] Charlie is smart.[(triple6)] Charlie is white.[(triple7)]