Bob is not big. Bob is kind. Bob is red. Bob is rough. Bob is not round. Bob is smart. Erin is not smart. If someone is kind and big then they are not smart. If someone is red and big then they are round.
Erin is not smart.
@0: Bob is kind.[(triple2)] Bob is not big.[(triple1)] Bob is not round.[(triple5)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple6)] Erin is not smart.[(triple7)]