Bob is round. Erin is quiet. If Bob is quiet then Bob is not smart. If someone is rough then they are blue. All nice, smart people are rough. All round, green people are not rough. If someone is rough then they are not nice. All nice, blue people are round.
Bob is smart.
@0: Bob is round.[(triple1)] Erin is quiet.[(triple2)]