Bob is green. Bob is kind. Bob is quiet. Bob is red. Bob is round. Charlie is furry. Charlie is round. Charlie is young. Harry is furry. Harry is kind. Harry is round. Harry is young. If someone is red then they are furry. All young, quiet people are kind. If Harry is red then Harry is furry. Furry people are red. If someone is furry and round then they are young. Kind, young people are round.
Harry is not furry.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2 OR ((((((triple4) -> rule1) triple5) -> rule5) triple3) -> rule2))] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Bob is round.[(triple5)] Charlie is furry.[(triple6)] Charlie is round.[(triple7)] Charlie is young.[(triple8 OR ((triple6 triple7) -> rule5))] Harry is furry.[(triple9)] Harry is kind.[(triple10)] Harry is round.[(triple11 OR ((triple10 triple12) -> rule6))] Harry is young.[(triple12 OR ((triple9 triple11) -> rule5))] @1: Bob is furry.[(((triple4) -> rule1))] Charlie is red.[(((triple6) -> rule4))] Harry is red.[(((triple9) -> rule4))] @2: Bob is young.[(((((triple4) -> rule1) triple5) -> rule5))]