Bob is young. Charlie is not white. Fiona is kind. Fiona is white. Harry is smart. Harry is white. Harry is young. Kind, big people are young. All kind people are young. All cold people are not kind. If someone is kind and cold then they are not nice. If Bob is young then Bob is white. If someone is young and cold then they are smart. If Bob is smart and Bob is not cold then Bob is not kind. If someone is big then they are white.
Fiona is kind.
@0: Bob is young.[(triple1)] Charlie is not white.[(triple2)] Fiona is kind.[(triple3)] Fiona is white.[(triple4)] Harry is smart.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7)] @1: Bob is white.[(((triple1) -> rule5))] Fiona is young.[(((triple3) -> rule2))]