Bob is big. Bob is kind. Bob is quiet. Bob is not red. Bob is not rough. Bob is round. Fiona is kind. Fiona is quiet. Fiona is rough. Gary is big. Gary is not red. Gary is rough. If someone is red then they are big.
Fiona is not kind.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is not red.[(triple4)] Bob is not rough.[(triple5)] Bob is quiet.[(triple3)] Bob is round.[(triple6)] Fiona is kind.[(triple7)] Fiona is quiet.[(triple8)] Fiona is rough.[(triple9)] Gary is big.[(triple10)] Gary is not red.[(triple11)] Gary is rough.[(triple12)]