Dave is big. Fiona is red. If Dave is cold then Dave is nice. All young people are rough. All cold, young people are smart. Young people are rough. If someone is smart then they are rough. All nice, cold people are red.
Dave is cold.
@0: Dave is big.[(triple1)] Fiona is red.[(triple2)]