Anne is kind. Anne is quiet. Anne is round. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is round. Harry is cold. Harry is furry. Harry is green. Harry is kind. Harry is quiet. Harry is round. Harry is white. Kind, furry people are round.
Fiona is white.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Anne is round.[(triple3)] Fiona is cold.[(triple4)] Fiona is furry.[(triple5)] Fiona is kind.[(triple6)] Fiona is quiet.[(triple7)] Fiona is round.[(triple8 OR ((triple6 triple5) -> rule1))] Harry is cold.[(triple9)] Harry is furry.[(triple10)] Harry is green.[(triple11)] Harry is kind.[(triple12)] Harry is quiet.[(triple13)] Harry is round.[(triple14 OR ((triple12 triple10) -> rule1))] Harry is white.[(triple15)]