Charlie is big. Charlie is cold. Charlie is not green. Charlie is not rough. Fiona is big. Fiona is cold. Fiona is not green. Fiona is rough. Fiona is round. Gary is cold. Gary is green. Gary is rough. Harry is not cold. Harry is green. Harry is red. Harry is not rough. If Harry is rough and Harry is round then Harry is cold.
Fiona is not red.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is not green.[(triple3)] Charlie is not rough.[(triple4)] Fiona is big.[(triple5)] Fiona is cold.[(triple6)] Fiona is not green.[(triple7)] Fiona is rough.[(triple8)] Fiona is round.[(triple9)] Gary is cold.[(triple10)] Gary is green.[(triple11)] Gary is rough.[(triple12)] Harry is green.[(triple14)] Harry is not cold.[(triple13)] Harry is not rough.[(triple16)] Harry is red.[(triple15)]