Charlie is not big. Charlie is blue. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is young. If something is green and not round then it is nice. If something is green then it is nice. If something is nice and big then it is not green. Big things are green. If Charlie is green then Charlie is nice. Blue, round things are quiet. If Charlie is nice and Charlie is not green then Charlie is young. If Charlie is quiet then Charlie is young.
Charlie is not big.
@0: Charlie is blue.[(triple2)] Charlie is green.[(triple3)] Charlie is nice.[(triple4 OR ((triple3) -> rule2) OR ((triple3) -> rule5))] Charlie is not big.[(triple1)] Charlie is quiet.[(triple5 OR ((triple2 triple6) -> rule6))] Charlie is round.[(triple6)] Charlie is young.[(triple7 OR ((triple5) -> rule8) OR ((((triple2 triple6) -> rule6)) -> rule8))]