Fiona is round. If someone is smart and round then they are white. All white, big people are red. Furry, white people are smart. If Fiona is round then Fiona is smart. If someone is kind then they are smart. If someone is red and kind then they are round. If someone is round then they are smart. White, furry people are kind.
Fiona is not round.
@0: Fiona is round.[(triple1)] @1: Fiona is smart.[(((triple1) -> rule4) OR ((triple1) -> rule7))] @2: Fiona is white.[(((((triple1) -> rule4) triple1) -> rule1) OR ((((triple1) -> rule7) triple1) -> rule1))]