Erin is smart. Big people are green. If someone is big then they are kind. All smart, blue people are kind. If someone is kind and blue then they are big. All green people are blue. Green, red people are kind.
Erin is not big.
@0: Erin is smart.[(triple1)]