Bob is big. Bob is smart. Fiona is not furry. Fiona is not green. Fiona is nice. Fiona is quiet. Fiona is smart. Green people are not furry. If someone is green and not quiet then they are smart. All green, big people are not white.
Bob is nice.
@0: Bob is big.[(triple1)] Bob is smart.[(triple2)] Fiona is nice.[(triple5)] Fiona is not furry.[(triple3)] Fiona is not green.[(triple4)] Fiona is quiet.[(triple6)] Fiona is smart.[(triple7)]