Anne is furry. Anne is red. Anne is young. Bob is green. Bob is quiet. Bob is red. Bob is round. Charlie is green. Charlie is red. Charlie is young. Harry is green. Harry is quiet. Harry is red. Harry is round. Harry is not smart. Harry is young. If Anne is furry then Anne is young. If someone is quiet then they are furry. If someone is smart and not furry then they are young. If someone is round then they are young. Young people are round. If Anne is not furry then Anne is red. Round people are red. If someone is red and not round then they are not green.
Charlie is not furry.
@0: Anne is furry.[(triple1)] Anne is red.[(triple2 OR ((((triple3) -> rule5)) -> rule7) OR ((((((triple1) -> rule1)) -> rule5)) -> rule7))] Anne is young.[(triple3 OR ((triple1) -> rule1))] Bob is green.[(triple4)] Bob is quiet.[(triple5)] Bob is red.[(triple6 OR ((triple7) -> rule7))] Bob is round.[(triple7)] Charlie is green.[(triple8)] Charlie is red.[(triple9 OR ((((triple10) -> rule5)) -> rule7))] Charlie is young.[(triple10)] Harry is green.[(triple11)] Harry is not smart.[(triple15)] Harry is quiet.[(triple12)] Harry is red.[(triple13 OR ((triple14) -> rule7) OR ((((triple16) -> rule5)) -> rule7))] Harry is round.[(triple14 OR ((triple16) -> rule5))] Harry is young.[(triple16 OR ((triple14) -> rule4))] @1: Anne is round.[(((triple3) -> rule5) OR ((((triple1) -> rule1)) -> rule5))] Bob is furry.[(((triple5) -> rule2))] Bob is young.[(((triple7) -> rule4))] Charlie is round.[(((triple10) -> rule5))] Harry is furry.[(((triple12) -> rule2))]