Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Charlie is young. If Charlie is kind then Charlie is rough. If Charlie is not rough then Charlie is round. All round, kind people are smart. Kind people are smart. All quiet people are smart. If someone is rough and not kind then they are smart. All quiet, round people are red. Round, kind people are red.
Charlie is not round.
@0: Charlie is kind.[(triple1)] Charlie is quiet.[(triple2)] Charlie is red.[(triple3 OR ((triple2 triple5) -> rule7) OR ((triple5 triple1) -> rule8))] Charlie is rough.[(triple4 OR ((triple1) -> rule1))] Charlie is round.[(triple5)] Charlie is smart.[(triple6 OR ((triple1) -> rule4) OR ((triple2) -> rule5) OR ((triple5 triple1) -> rule3))] Charlie is young.[(triple7)]