Fiona is big. Fiona is not green. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is smart. Fiona is young. Harry is big. Harry is green. Harry is kind. Harry is quiet. Harry is red. Harry is smart. Harry is young. If something is smart and not red then it is big. If Fiona is green and Fiona is not young then Fiona is smart.
Fiona is red.
@0: Fiona is big.[(triple1)] Fiona is kind.[(triple3)] Fiona is not green.[(triple2)] Fiona is quiet.[(triple4)] Fiona is red.[(triple5)] Fiona is smart.[(triple6)] Fiona is young.[(triple7)] Harry is big.[(triple8)] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is quiet.[(triple11)] Harry is red.[(triple12)] Harry is smart.[(triple13)] Harry is young.[(triple14)]