Charlie is big. Charlie is blue. Charlie is not green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is not rough. If Charlie is blue then Charlie is kind. If something is nice and not big then it is kind. If something is kind and not big then it is rough. If something is nice and rough then it is blue. If something is rough and not nice then it is blue. If something is big then it is blue. If Charlie is green and Charlie is not nice then Charlie is rough. If Charlie is not blue then Charlie is not red.
Charlie is red.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2 OR ((triple1) -> rule6))] Charlie is kind.[(triple4 OR ((triple2) -> rule1) OR ((((triple1) -> rule6)) -> rule1))] Charlie is nice.[(triple5)] Charlie is not green.[(triple3)] Charlie is not rough.[(triple7)] Charlie is red.[(triple6)]