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