Anne is nice. Anne is not young. Bob is furry. Bob is not nice. Bob is red. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is smart. Harry is cold. All big things are red. Smart, cold things are nice. Red things are not nice. If something is red and not big then it is young. All big things are not furry. If Fiona is cold and Fiona is not smart then Fiona is red.
Harry is not red.
@0: Anne is nice.[(triple1)] Anne is not young.[(triple2)] Bob is furry.[(triple3)] Bob is not nice.[(triple4 OR ((triple5) -> rule3))] Bob is red.[(triple5)] Fiona is cold.[(triple6)] Fiona is furry.[(triple7)] Fiona is nice.[(triple8 OR ((triple9 triple6) -> rule2))] Fiona is smart.[(triple9)] Harry is cold.[(triple10)]