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