Erin is nice. If Erin is nice and Erin is quiet then Erin is big. All kind, young things are smart. If something is big then it is young. If something is kind and white then it is nice. If something is young then it is smart. All young things are quiet.
Erin is not nice.
@0: Erin is nice.[(triple1)]