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