Fiona is furry. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is young. Harry is furry. Harry is green. Harry is kind. Harry is quiet. Harry is round. Harry is smart. Harry is young. If Fiona is round and Fiona is kind then Fiona is furry. Kind people are round.
Fiona is not young.
@0: Fiona is furry.[(triple1 OR ((triple5 triple3) -> rule1) OR ((((triple3) -> rule2) triple3) -> rule1))] Fiona is green.[(triple2)] Fiona is kind.[(triple3)] Fiona is quiet.[(triple4)] Fiona is round.[(triple5 OR ((triple3) -> rule2))] Fiona is smart.[(triple6)] Fiona is young.[(triple7)] Harry is furry.[(triple8)] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is quiet.[(triple11)] Harry is round.[(triple12 OR ((triple10) -> rule2))] Harry is smart.[(triple13)] Harry is young.[(triple14)]