Erin is cold. Erin is nice. Erin is round. Fiona is not big. Fiona is smart. Gary is big. Gary is smart. If someone is round and big then they are nice. If someone is quiet and not cold then they are round. If someone is rough then they are big.
Erin is not big.
@0: Erin is cold.[(triple1)] Erin is nice.[(triple2)] Erin is round.[(triple3)] Fiona is not big.[(triple4)] Fiona is smart.[(triple5)] Gary is big.[(triple6)] Gary is smart.[(triple7)]