Charlie is not nice. Dave is kind. Fiona is big. Harry is kind. If Harry is not big then Harry is cold. If someone is rough and cold then they are young. If someone is kind and not quiet then they are cold. If Charlie is young then Charlie is nice. If someone is young and not quiet then they are kind. If Fiona is not young and Fiona is not kind then Fiona is nice.
Charlie is big.
@0: Charlie is not nice.[(triple1)] Dave is kind.[(triple2)] Fiona is big.[(triple3)] Harry is kind.[(triple4)]