Anne is green. Anne is round. Anne is white. Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is round. Bob is smart. Bob is white. If someone is smart and round then they are quiet. If someone is furry and green then they are kind.
Anne is not kind.
@0: Anne is green.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3)] Bob is furry.[(triple4)] Bob is green.[(triple5)] Bob is kind.[(triple6 OR ((triple4 triple5) -> rule2))] Bob is quiet.[(triple7 OR ((triple9 triple8) -> rule1))] Bob is round.[(triple8)] Bob is smart.[(triple9)] Bob is white.[(triple10)]