Charlie is blue. Charlie is not kind. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is young. If something is blue then it is rough. All quiet things are rough. Quiet things are rough. If something is young and not blue then it is rough. If Charlie is rough then Charlie is young. If something is rough and not quiet then it is kind. If Charlie is not blue then Charlie is kind. If Charlie is blue and Charlie is nice then Charlie is red.
Charlie is red.
@0: Charlie is blue.[(triple1)] Charlie is nice.[(triple3)] Charlie is not kind.[(triple2)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5 OR ((triple1 triple3) -> rule8))] Charlie is rough.[(triple6 OR ((triple1) -> rule1) OR ((triple4) -> rule2) OR ((triple4) -> rule3))] Charlie is young.[(triple7 OR ((triple6) -> rule5) OR ((((triple1) -> rule1)) -> rule5) OR ((((triple4) -> rule2)) -> rule5) OR ((((triple4) -> rule3)) -> rule5))]