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