Anne is blue. Anne is cold. Anne is nice. Anne is red. Anne is rough. Anne is smart. Anne is young. Dave is blue. Dave is cold. Dave is nice. Dave is red. Dave is rough. Dave is smart. Dave is young. If something is smart and blue then it is rough. All young things are cold. If Dave is cold and Dave is young then Dave is rough. If something is blue then it is nice. If Anne is nice then Anne is rough. Cold things are nice. If Dave is blue then Dave is cold. If something is rough and smart then it is blue.
Dave is not smart.
@0: Anne is blue.[(triple1 OR ((triple5 triple6) -> rule8) OR ((((triple3) -> rule5) triple6) -> rule8) OR ((((((triple2) -> rule6)) -> rule5) triple6) -> rule8) OR ((((((((triple7) -> rule2)) -> rule6)) -> rule5) triple6) -> rule8))] Anne is cold.[(triple2 OR ((triple7) -> rule2))] Anne is nice.[(triple3 OR ((triple1) -> rule4) OR ((triple2) -> rule6) OR ((((triple7) -> rule2)) -> rule6) OR ((((triple5 triple6) -> rule8)) -> rule4))] Anne is red.[(triple4)] Anne is rough.[(triple5 OR ((triple3) -> rule5) OR ((triple6 triple1) -> rule1) OR ((((triple1) -> rule4)) -> rule5) OR ((((triple2) -> rule6)) -> rule5) OR ((((((triple7) -> rule2)) -> rule6)) -> rule5))] Anne is smart.[(triple6)] Anne is young.[(triple7)] Dave is blue.[(triple8 OR ((triple12 triple13) -> rule8) OR ((((triple9 triple14) -> rule3) triple13) -> rule8) OR ((((((triple14) -> rule2) triple14) -> rule3) triple13) -> rule8))] Dave is cold.[(triple9 OR ((triple14) -> rule2) OR ((triple8) -> rule7) OR ((((triple12 triple13) -> rule8)) -> rule7))] Dave is nice.[(triple10 OR ((triple8) -> rule4) OR ((triple9) -> rule6) OR ((((triple14) -> rule2)) -> rule6) OR ((((triple8) -> rule7)) -> rule6) OR ((((triple12 triple13) -> rule8)) -> rule4) OR ((((((triple12 triple13) -> rule8)) -> rule7)) -> rule6) OR ((((((triple9 triple14) -> rule3) triple13) -> rule8)) -> rule4) OR ((((((((triple14) -> rule2) triple14) -> rule3) triple13) -> rule8)) -> rule4))] Dave is red.[(triple11)] Dave is rough.[(triple12 OR ((triple13 triple8) -> rule1) OR ((triple9 triple14) -> rule3) OR ((((triple14) -> rule2) triple14) -> rule3) OR ((((triple8) -> rule7) triple14) -> rule3))] Dave is smart.[(triple13)] Dave is young.[(triple14)]