Charlie is not furry. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is smart. Charlie is white. Fiona is nice. Red things are nice. If Charlie is kind then Charlie is quiet. If Charlie is quiet then Charlie is smart.
Charlie is not white.
@0: Charlie is nice.[(triple2 OR ((triple4) -> rule1))] Charlie is not furry.[(triple1)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Charlie is smart.[(triple5 OR ((triple3) -> rule3))] Charlie is white.[(triple6)] Fiona is nice.[(triple7)]