Bob is furry. Bob is quiet. Bob is red. Bob is young. Fiona is furry. Fiona is young. Harry is furry. Harry is kind. Harry is round. Harry is young. If Harry is furry then Harry is kind. Smart people are round. If Bob is kind then Bob is young. All quiet, round people are young. If someone is furry and not quiet then they are kind. If someone is round and not quiet then they are kind. Young people are kind. All young, red people are furry.
Fiona is not round.
@0: Bob is furry.[(triple1 OR ((triple4 triple3) -> rule8))] Bob is quiet.[(triple2)] Bob is red.[(triple3)] Bob is young.[(triple4)] Fiona is furry.[(triple5)] Fiona is young.[(triple6)] Harry is furry.[(triple7)] Harry is kind.[(triple8 OR ((triple10) -> rule7) OR ((triple7) -> rule1))] Harry is round.[(triple9)] Harry is young.[(triple10)] @1: Bob is kind.[(((triple4) -> rule7))] Fiona is kind.[(((triple6) -> rule7))]