Charlie is cold. Charlie is not furry. Charlie is kind. Charlie is quiet. Charlie is young. Fiona is cold. Fiona is nice. Fiona is smart. Gary is kind. Gary is nice. Gary is smart. Gary is young. If Fiona is kind then Fiona is young. If Charlie is nice and Charlie is not young then Charlie is furry. All furry people are quiet.
Charlie is smart.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple3)] Charlie is not furry.[(triple2)] Charlie is quiet.[(triple4)] Charlie is young.[(triple5)] Fiona is cold.[(triple6)] Fiona is nice.[(triple7)] Fiona is smart.[(triple8)] Gary is kind.[(triple9)] Gary is nice.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12)]