Bob is smart. Fiona is cold. All nice, cold things are not big. If something is quiet and cold then it is not kind. If something is nice then it is quiet. If Bob is quiet then Bob is cold. All quiet, cold things are smart. If something is cold and not kind then it is smart. If something is kind and smart then it is rough. If Bob is not rough then Bob is big.
Fiona is not cold.
@0: Bob is smart.[(triple1)] Fiona is cold.[(triple2)]