Bob is young. Erin is blue. If Erin is young and Erin is white then Erin is nice. If Erin is smart then Erin is round. All round, smart things are cold. If Erin is nice and Erin is blue then Erin is young. White things are nice. All smart, white things are round.
Bob is young.
@0: Bob is young.[(triple1)] Erin is blue.[(triple2)]