Anne is cold. Anne is green. Anne is rough. Bob is rough. Bob is young. Dave is cold. Dave is green. Dave is rough. Dave is round. Dave is white. All green, cold things are young. All green, rough things are quiet. Round, green things are young. If Bob is quiet then Bob is white. If Anne is cold then Anne is young. All rough, cold things are white.
Anne is not rough.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is rough.[(triple3)] Bob is rough.[(triple4)] Bob is young.[(triple5)] Dave is cold.[(triple6)] Dave is green.[(triple7)] Dave is rough.[(triple8)] Dave is round.[(triple9)] Dave is white.[(triple10 OR ((triple8 triple6) -> rule6))] @1: Anne is quiet.[(((triple2 triple3) -> rule2))] Anne is white.[(((triple3 triple1) -> rule6))] Anne is young.[(((triple1) -> rule5) OR ((triple2 triple1) -> rule1))] Dave is quiet.[(((triple7 triple8) -> rule2))] Dave is young.[(((triple7 triple6) -> rule1) OR ((triple9 triple7) -> rule3))]