Anne is cold. Anne is red. Anne is young. Bob is quiet. Dave is quiet. Dave is round. Dave is young. Harry is not quiet. Harry is not red. Harry is rough. All red, cold people are white. All red people are white. Young people are white. If someone is rough and cold then they are not white. Cold people are young. If someone is red and white then they are young. If someone is young and cold then they are round. If someone is cold and not white then they are round.
Bob is not white.
@0: Anne is cold.[(triple1)] Anne is red.[(triple2)] Anne is young.[(triple3 OR ((triple1) -> rule5) OR ((triple2 ((triple2) -> rule2)) -> rule6) OR ((triple2 ((triple2 triple1) -> rule1)) -> rule6))] Bob is quiet.[(triple4)] Dave is quiet.[(triple5)] Dave is round.[(triple6)] Dave is young.[(triple7)] Harry is not quiet.[(triple8)] Harry is not red.[(triple9)] Harry is rough.[(triple10)] @1: Anne is round.[(((triple3 triple1) -> rule7) OR ((((triple1) -> rule5) triple1) -> rule7) OR ((((triple2 ((triple2) -> rule2)) -> rule6) triple1) -> rule7) OR ((((triple2 ((triple2 triple1) -> rule1)) -> rule6) triple1) -> rule7))] Anne is white.[(((triple2) -> rule2) OR ((triple3) -> rule3) OR ((triple2 triple1) -> rule1) OR ((((triple1) -> rule5)) -> rule3))] Dave is white.[(((triple7) -> rule3))]