Anne is rough. Bob is not smart. Fiona is blue. Fiona is furry. Fiona is quiet. Fiona is not red. Fiona is not rough. Fiona is round. Fiona is smart. Harry is furry. Harry is red. Harry is smart. All red, furry people are smart. If someone is red then they are not round. Smart, red people are not rough.
Anne is not smart.
@0: Anne is rough.[(triple1)] Bob is not smart.[(triple2)] Fiona is blue.[(triple3)] Fiona is furry.[(triple4)] Fiona is not red.[(triple6)] Fiona is not rough.[(triple7)] Fiona is quiet.[(triple5)] Fiona is round.[(triple8)] Fiona is smart.[(triple9)] Harry is furry.[(triple10)] Harry is red.[(triple11)] Harry is smart.[(triple12 OR ((triple11 triple10) -> rule1))] @1: Harry is not rough.[(((triple12 triple11) -> rule3) OR ((((triple11 triple10) -> rule1) triple11) -> rule3))] Harry is not round.[(((triple11) -> rule2))]