Bob is kind. Bob is nice. Bob is rough. Bob is not round. Bob is smart. Fiona is round. Fiona is smart. If Fiona is kind and Fiona is not smart then Fiona is big. If Bob is not smart then Bob is big.
Bob is not nice.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2)] Bob is not round.[(triple4)] Bob is rough.[(triple3)] Bob is smart.[(triple5)] Fiona is round.[(triple6)] Fiona is smart.[(triple7)]