Anne is smart. Bob is smart. Bob is white. Fiona is nice. Fiona is round. Fiona is white. Harry is round. If someone is round and not kind then they are big. If someone is nice then they are round. If Bob is round and Bob is not kind then Bob is smart. Big, furry people are not white. If someone is smart and not furry then they are white. If someone is furry and not round then they are smart.
Fiona is not smart.
@0: Anne is smart.[(triple1)] Bob is smart.[(triple2)] Bob is white.[(triple3)] Fiona is nice.[(triple4)] Fiona is round.[(triple5 OR ((triple4) -> rule2))] Fiona is white.[(triple6)] Harry is round.[(triple7)]