Bob is big. Erin is round. Fiona is cold. If someone is smart and red then they are furry. Smart, big people are not furry. If Erin is not round then Erin is red. If someone is furry and not big then they are not rough. All round, cold people are not red. If someone is furry and red then they are cold.
Bob is red.
@0: Bob is big.[(triple1)] Erin is round.[(triple2)] Fiona is cold.[(triple3)]