Charlie is kind. Charlie is rough. Charlie is round. All cold, red things are rough. Cold, big things are red. All big things are white. If something is round and red then it is cold. All round things are white. If something is kind then it is cold.
Charlie is rough.
@0: Charlie is kind.[(triple1)] Charlie is rough.[(triple2)] Charlie is round.[(triple3)] @1: Charlie is cold.[(((triple1) -> rule6))] Charlie is white.[(((triple3) -> rule5))]