Anne is blue. Anne is quiet. Bob is blue. Bob is smart. Erin is smart. Fiona is nice. Fiona is quiet. Young, smart things are rough. If Fiona is nice and Fiona is rough then Fiona is quiet.
Fiona is not rough.
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2)] Bob is blue.[(triple3)] Bob is smart.[(triple4)] Erin is smart.[(triple5)] Fiona is nice.[(triple6)] Fiona is quiet.[(triple7)]