Bob is not green. Bob is kind. Fiona is round. Fiona is smart. Harry is furry. Harry is kind. Harry is not quiet. Smart people are furry. If Bob is kind then Bob is round. If Bob is green and Bob is white then Bob is not round. If someone is white then they are round. If Fiona is furry and Fiona is green then Fiona is not round. All round people are smart.
Fiona is quiet.
@0: Bob is kind.[(triple2)] Bob is not green.[(triple1)] Fiona is round.[(triple3)] Fiona is smart.[(triple4 OR ((triple3) -> rule6))] Harry is furry.[(triple5)] Harry is kind.[(triple6)] Harry is not quiet.[(triple7)] @1: Bob is round.[(((triple2) -> rule2))] Fiona is furry.[(((triple4) -> rule1) OR ((((triple3) -> rule6)) -> rule1))] @2: Bob is smart.[(((((triple2) -> rule2)) -> rule6))] @3: Bob is furry.[(((((((triple2) -> rule2)) -> rule6)) -> rule1))]