Dave is smart. Fiona is nice. Fiona is smart. Gary is kind. Gary is nice. Harry is furry. Harry is quiet. Harry is red. Harry is round. Harry is smart. Quiet, round people are red. All quiet, furry people are red. If someone is nice then they are round.
Fiona is smart.
@0: Dave is smart.[(triple1)] Fiona is nice.[(triple2)] Fiona is smart.[(triple3)] Gary is kind.[(triple4)] Gary is nice.[(triple5)] Harry is furry.[(triple6)] Harry is quiet.[(triple7)] Harry is red.[(triple8 OR ((triple7 triple6) -> rule2) OR ((triple7 triple9) -> rule1))] Harry is round.[(triple9)] Harry is smart.[(triple10)] @1: Fiona is round.[(((triple2) -> rule3))] Gary is round.[(((triple5) -> rule3))]