Charlie is big. Charlie is blue. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is not rough. Charlie is not young. If someone is blue then they are quiet. If someone is young then they are not rough. If Charlie is rough and Charlie is young then Charlie is blue. If Charlie is rough and Charlie is young then Charlie is nice. If someone is kind and not quiet then they are not big. Blue people are big. Young people are nice. All big people are nice.
Charlie is blue.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule6))] Charlie is blue.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4 OR ((triple1) -> rule8) OR ((((triple2) -> rule6)) -> rule8))] Charlie is not rough.[(triple6)] Charlie is not young.[(triple7)] Charlie is quiet.[(triple5 OR ((triple2) -> rule1))]