Charlie is cold. Charlie is round. Fiona is not nice. Young people are red. If someone is round then they are not big.
Charlie is not round.
@0: Charlie is cold.[(triple1)] Charlie is round.[(triple2)] Fiona is not nice.[(triple3)] @1: Charlie is not big.[(((triple2) -> rule2))]