Charlie is smart. Erin is big. Young, blue people are kind. All blue, big people are kind. If Erin is rough then Erin is not kind. Blue people are rough. All nice, kind people are not rough. If someone is big then they are smart.
Erin is not kind.
@0: Charlie is smart.[(triple1)] Erin is big.[(triple2)] @1: Erin is smart.[(((triple2) -> rule6))]