Fiona is blue. Fiona is round. Fiona is not smart. Harry is blue. Harry is furry. Harry is rough. Harry is young. All young, blue people are round. If someone is nice and not rough then they are round. Furry, blue people are young. If someone is smart then they are nice. If someone is blue and nice then they are furry. If someone is blue and not rough then they are smart.
Harry is not smart.
@0: Fiona is blue.[(triple1)] Fiona is not smart.[(triple3)] Fiona is round.[(triple2)] Harry is blue.[(triple4)] Harry is furry.[(triple5)] Harry is rough.[(triple6)] Harry is young.[(triple7 OR ((triple5 triple4) -> rule3))] @1: Harry is round.[(((triple7 triple4) -> rule1) OR ((((triple5 triple4) -> rule3) triple4) -> rule1))]