Anne is big. Erin is cold. Harry is cold. If something is nice and big then it is young. If something is big and young then it is smart. If Erin is nice then Erin is rough. If something is nice and cold then it is big. If Erin is red and Erin is rough then Erin is big. Rough, young things are big. If something is red then it is rough. All red things are cold.
Erin is not rough.
@0: Anne is big.[(triple1)] Erin is cold.[(triple2)] Harry is cold.[(triple3)]