Anne is big. Anne is kind. Anne is quiet. Anne is white. Bob is kind. Bob is round. Dave is round. All quiet things are red. If Dave is cold and Dave is kind then Dave is white. If something is round then it is big. All red, big things are round. All white things are quiet. Cold, kind things are big. All cold, kind things are quiet. If something is kind and big then it is white.
Dave is not white.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3 OR ((triple4) -> rule5) OR ((((triple2 triple1) -> rule8)) -> rule5))] Anne is white.[(triple4 OR ((triple2 triple1) -> rule8))] Bob is kind.[(triple5)] Bob is round.[(triple6)] Dave is round.[(triple7)] @1: Anne is red.[(((triple3) -> rule1) OR ((((triple4) -> rule5)) -> rule1) OR ((((((triple2 triple1) -> rule8)) -> rule5)) -> rule1))] Bob is big.[(((triple6) -> rule3))] Dave is big.[(((triple7) -> rule3))] @2: Anne is round.[(((((triple3) -> rule1) triple1) -> rule4) OR ((((((triple4) -> rule5)) -> rule1) triple1) -> rule4) OR ((((((((triple2 triple1) -> rule8)) -> rule5)) -> rule1) triple1) -> rule4))] Bob is white.[(((triple5 ((triple6) -> rule3)) -> rule8))] @3: Bob is quiet.[(((((triple5 ((triple6) -> rule3)) -> rule8)) -> rule5))] @4: Bob is red.[(((((((triple5 ((triple6) -> rule3)) -> rule8)) -> rule5)) -> rule1))]