Charlie is big. Charlie is not cold. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is white. Charlie is young. All red, kind things are big. If Charlie is cold and Charlie is not red then Charlie is quiet. If Charlie is red and Charlie is not young then Charlie is not cold.
Charlie is cold.
@0: Charlie is big.[(triple1 OR ((triple5 triple3) -> rule1))] Charlie is kind.[(triple3)] Charlie is not cold.[(triple2)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7)]