Anne is cold. Anne is furry. Anne is nice. Anne is quiet. Anne is round. Anne is white. Anne is young. Bob is cold. Bob is furry. Bob is white. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is round. Charlie is white. Charlie is young. If something is furry and nice then it is quiet. If Charlie is white and Charlie is nice then Charlie is quiet. All quiet things are round. If something is furry then it is nice. Young, quiet things are white. Round things are white.
Bob is not quiet.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3 OR ((triple2) -> rule4))] Anne is quiet.[(triple4 OR ((triple2 triple3) -> rule1) OR ((triple2 ((triple2) -> rule4)) -> rule1))] Anne is round.[(triple5 OR ((triple4) -> rule3) OR ((((triple2 triple3) -> rule1)) -> rule3) OR ((((triple2 ((triple2) -> rule4)) -> rule1)) -> rule3))] Anne is white.[(triple6 OR ((triple5) -> rule6) OR ((triple7 triple4) -> rule5) OR ((((triple4) -> rule3)) -> rule6) OR ((triple7 ((triple2 triple3) -> rule1)) -> rule5) OR ((((((triple2 triple3) -> rule1)) -> rule3)) -> rule6) OR ((triple7 ((triple2 ((triple2) -> rule4)) -> rule1)) -> rule5) OR ((((((triple2 ((triple2) -> rule4)) -> rule1)) -> rule3)) -> rule6))] Anne is young.[(triple7)] Bob is cold.[(triple8)] Bob is furry.[(triple9)] Bob is white.[(triple10 OR ((((((triple9 ((triple9) -> rule4)) -> rule1)) -> rule3)) -> rule6))] Charlie is cold.[(triple11)] Charlie is furry.[(triple12)] Charlie is nice.[(triple13 OR ((triple12) -> rule4))] Charlie is round.[(triple14 OR ((((triple12 triple13) -> rule1)) -> rule3) OR ((((triple15 triple13) -> rule2)) -> rule3) OR ((((triple12 ((triple12) -> rule4)) -> rule1)) -> rule3) OR ((((triple15 ((triple12) -> rule4)) -> rule2)) -> rule3))] Charlie is white.[(triple15 OR ((triple14) -> rule6) OR ((triple16 ((triple12 triple13) -> rule1)) -> rule5) OR ((((((triple12 triple13) -> rule1)) -> rule3)) -> rule6) OR ((triple16 ((triple12 ((triple12) -> rule4)) -> rule1)) -> rule5) OR ((((((triple12 ((triple12) -> rule4)) -> rule1)) -> rule3)) -> rule6))] Charlie is young.[(triple16)] @1: Bob is nice.[(((triple9) -> rule4))] Charlie is quiet.[(((triple12 triple13) -> rule1) OR ((triple15 triple13) -> rule2) OR ((triple12 ((triple12) -> rule4)) -> rule1) OR ((triple15 ((triple12) -> rule4)) -> rule2) OR ((((triple14) -> rule6) triple13) -> rule2) OR ((((triple14) -> rule6) ((triple12) -> rule4)) -> rule2))] @2: Bob is quiet.[(((triple9 ((triple9) -> rule4)) -> rule1))] @3: Bob is round.[(((((triple9 ((triple9) -> rule4)) -> rule1)) -> rule3))]