Anne is big. Anne is blue. Anne is furry. Anne is kind. Anne is nice. Anne is white. Fiona is furry. Fiona is kind. Fiona is nice. Harry is big. Harry is blue. Harry is furry. Harry is kind. Harry is nice. Harry is round. Harry is white. All kind things are nice. If Anne is furry and Anne is blue then Anne is big. All furry, white things are round.
Fiona is not round.
@0: Anne is big.[(triple1 OR ((triple3 triple2) -> rule2))] Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is kind.[(triple4)] Anne is nice.[(triple5 OR ((triple4) -> rule1))] Anne is white.[(triple6)] Fiona is furry.[(triple7)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9 OR ((triple8) -> rule1))] Harry is big.[(triple10)] Harry is blue.[(triple11)] Harry is furry.[(triple12)] Harry is kind.[(triple13)] Harry is nice.[(triple14 OR ((triple13) -> rule1))] Harry is round.[(triple15 OR ((triple12 triple16) -> rule3))] Harry is white.[(triple16)] @1: Anne is round.[(((triple3 triple6) -> rule3))]