Charlie is blue. Charlie is kind. Charlie is not nice. Charlie is quiet. Charlie is red. Charlie is not round. Charlie is young. All nice people are blue. If someone is nice then they are blue. If someone is red and not quiet then they are not blue. If someone is quiet and not red then they are blue. All quiet people are blue. If someone is round then they are not young.
Charlie is not nice.
@0: Charlie is blue.[(triple1 OR ((triple4) -> rule5))] Charlie is kind.[(triple2)] Charlie is not nice.[(triple3)] Charlie is not round.[(triple6)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is young.[(triple7)]