Fiona is not blue. Fiona is kind. Fiona is nice. Fiona is not smart. Harry is not blue. Harry is kind. Harry is nice. Harry is not red. Harry is smart. Harry is young. All kind people are not red. If Fiona is kind then Fiona is nice. All blue, kind people are not smart. If someone is kind and not nice then they are blue. If someone is smart and not kind then they are not young. If someone is quiet and not smart then they are young. If someone is nice and blue then they are quiet. If someone is blue and not smart then they are quiet.
Harry is not smart.
@0: Fiona is kind.[(triple2)] Fiona is nice.[(triple3 OR ((triple2) -> rule2))] Fiona is not blue.[(triple1)] Fiona is not smart.[(triple4)] Harry is kind.[(triple6)] Harry is nice.[(triple7)] Harry is not blue.[(triple5)] Harry is not red.[(triple8 OR ((triple6) -> rule1))] Harry is smart.[(triple9)] Harry is young.[(triple10)] @1: Fiona is not red.[(((triple2) -> rule1))]