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