Anne is green. Anne is nice. Anne is not red. Anne is not round. Dave is red. Dave is round. Dave is white. Gary is cold. Gary is nice. Gary is red. Gary is smart. Gary is white. If Dave is cold then Dave is white. If something is cold and white then it is green. Cold things are red. If Anne is nice and Anne is not smart then Anne is round. If Dave is white and Dave is smart then Dave is nice. If something is cold then it is white. If something is smart and not white then it is not round. If Dave is cold and Dave is not round then Dave is not green.
Dave is smart.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is not red.[(triple3)] Anne is not round.[(triple4)] Dave is red.[(triple5)] Dave is round.[(triple6)] Dave is white.[(triple7)] Gary is cold.[(triple8)] Gary is nice.[(triple9)] Gary is red.[(triple10 OR ((triple8) -> rule3))] Gary is smart.[(triple11)] Gary is white.[(triple12 OR ((triple8) -> rule6))] @1: Gary is green.[(((triple8 triple12) -> rule2) OR ((triple8 ((triple8) -> rule6)) -> rule2))]