Anne is blue. Anne is nice. Dave is big. Dave is nice. Dave is rough. Dave is white. Dave is young. Gary is cold. Gary is rough. Gary is white. If Dave is white then Dave is cold. If Gary is cold then Gary is nice. Nice things are white. If Anne is young and Anne is nice then Anne is rough. All white, nice things are big. All big, blue things are rough.
Dave is not white.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Dave is big.[(triple3 OR ((triple6 triple4) -> rule5) OR ((((triple4) -> rule3) triple4) -> rule5))] Dave is nice.[(triple4)] Dave is rough.[(triple5)] Dave is white.[(triple6 OR ((triple4) -> rule3))] Dave is young.[(triple7)] Gary is cold.[(triple8)] Gary is rough.[(triple9)] Gary is white.[(triple10 OR ((((triple8) -> rule2)) -> rule3))] @1: Anne is white.[(((triple2) -> rule3))] Dave is cold.[(((triple6) -> rule1) OR ((((triple4) -> rule3)) -> rule1))] Gary is nice.[(((triple8) -> rule2))] @2: Anne is big.[(((((triple2) -> rule3) triple2) -> rule5))] Gary is big.[(((triple10 ((triple8) -> rule2)) -> rule5) OR ((((((triple8) -> rule2)) -> rule3) ((triple8) -> rule2)) -> rule5))] @3: Anne is rough.[(((((((triple2) -> rule3) triple2) -> rule5) triple1) -> rule6))]