Charlie is not big. Charlie is blue. Charlie is cold. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is smart. If Charlie is big then Charlie is cold. If something is nice then it is blue. If Charlie is not big and Charlie is not green then Charlie is quiet.
Charlie is nice.
@0: Charlie is blue.[(triple2 OR ((triple5) -> rule2))] Charlie is cold.[(triple3)] Charlie is green.[(triple4)] Charlie is nice.[(triple5)] Charlie is not big.[(triple1)] Charlie is quiet.[(triple6)] Charlie is smart.[(triple7)]