Bob is quiet. Bob is white. Bob is young. Fiona is big. Fiona is quiet. Fiona is red. Fiona is not young. If something is kind then it is not rough. If something is white and not red then it is rough. If Fiona is kind and Fiona is not rough then Fiona is young.
Fiona is not red.
@0: Bob is quiet.[(triple1)] Bob is white.[(triple2)] Bob is young.[(triple3)] Fiona is big.[(triple4)] Fiona is not young.[(triple7)] Fiona is quiet.[(triple5)] Fiona is red.[(triple6)]