Anne is green. Bob is furry. Bob is green. Bob is quiet. Bob is red. Bob is round. Bob is young. Quiet, round people are kind. If someone is round then they are young. All green people are red. If someone is red then they are round. If someone is kind and furry then they are young. If Anne is quiet and Anne is furry then Anne is round. If someone is green then they are young. All green, kind people are quiet.
Bob is not furry.
@0: Anne is green.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5 OR ((triple3) -> rule3))] Bob is round.[(triple6 OR ((triple5) -> rule4) OR ((((triple3) -> rule3)) -> rule4))] Bob is young.[(triple7 OR ((triple3) -> rule7) OR ((triple6) -> rule2) OR ((((triple5) -> rule4)) -> rule2) OR ((((triple4 triple6) -> rule1) triple2) -> rule5) OR ((((((triple3) -> rule3)) -> rule4)) -> rule2) OR ((((triple4 ((triple5) -> rule4)) -> rule1) triple2) -> rule5) OR ((((triple4 ((((triple3) -> rule3)) -> rule4)) -> rule1) triple2) -> rule5))] @1: Anne is red.[(((triple1) -> rule3))] Anne is young.[(((triple1) -> rule7) OR ((((((triple1) -> rule3)) -> rule4)) -> rule2))] Bob is kind.[(((triple4 triple6) -> rule1) OR ((triple4 ((triple5) -> rule4)) -> rule1) OR ((triple4 ((((triple3) -> rule3)) -> rule4)) -> rule1))] @2: Anne is round.[(((((triple1) -> rule3)) -> rule4))]