Bob is big. Fiona is quiet. If someone is smart and quiet then they are red. If Fiona is red then Fiona is cold. If Bob is smart then Bob is round.
Fiona is not quiet.
@0: Bob is big.[(triple1)] Fiona is quiet.[(triple2)]