Bob is not young. Dave is not rough. Erin is round. Young people are not smart. If Erin is young and Erin is smart then Erin is green. All big people are blue. All big, young people are green. Smart people are green. If Bob is smart and Bob is not green then Bob is not blue. If someone is rough and not smart then they are round. Blue people are round.
Dave is not rough.
@0: Bob is not young.[(triple1)] Dave is not rough.[(triple2)] Erin is round.[(triple3)]