Charlie is smart. Dave is red. Fiona is big. Harry is smart. If someone is kind then they are young. All kind people are young. If someone is young and red then they are kind. All young, big people are smart. If Fiona is big and Fiona is smart then Fiona is red. Kind people are red.
Fiona is not kind.
@0: Charlie is smart.[(triple1)] Dave is red.[(triple2)] Fiona is big.[(triple3)] Harry is smart.[(triple4)]