Charlie is nice. Charlie is quiet. Fiona is big. Fiona is nice. Fiona is not white. Harry is kind. Harry is smart. If Fiona is quiet then Fiona is white.
Charlie is big.
@0: Charlie is nice.[(triple1)] Charlie is quiet.[(triple2)] Fiona is big.[(triple3)] Fiona is nice.[(triple4)] Fiona is not white.[(triple5)] Harry is kind.[(triple6)] Harry is smart.[(triple7)]