Anne is not big. Anne is cold. Anne is kind. Anne is red. Anne is rough. Anne is round. Anne is white. Dave is big. Dave is cold. Dave is red. Dave is rough. Dave is white. If Anne is not white then Anne is not red. All cold, red people are kind. All white people are kind. Cold people are kind. If someone is red and kind then they are round. All rough, red people are cold.
Dave is kind.
@0: Anne is cold.[(triple2 OR ((triple5 triple4) -> rule6))] Anne is kind.[(triple3 OR ((triple2) -> rule4) OR ((triple7) -> rule3) OR ((triple2 triple4) -> rule2) OR ((((triple5 triple4) -> rule6)) -> rule4) OR ((((triple5 triple4) -> rule6) triple4) -> rule2))] Anne is not big.[(triple1)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6 OR ((triple4 triple3) -> rule5) OR ((triple4 ((triple2) -> rule4)) -> rule5) OR ((triple4 ((triple7) -> rule3)) -> rule5) OR ((triple4 ((triple2 triple4) -> rule2)) -> rule5) OR ((triple4 ((((triple5 triple4) -> rule6)) -> rule4)) -> rule5) OR ((triple4 ((((triple5 triple4) -> rule6) triple4) -> rule2)) -> rule5))] Anne is white.[(triple7)] Dave is big.[(triple8)] Dave is cold.[(triple9 OR ((triple11 triple10) -> rule6))] Dave is red.[(triple10)] Dave is rough.[(triple11)] Dave is white.[(triple12)] @1: Dave is kind.[(((triple12) -> rule3) OR ((triple9) -> rule4) OR ((triple9 triple10) -> rule2) OR ((((triple11 triple10) -> rule6)) -> rule4) OR ((((triple11 triple10) -> rule6) triple10) -> rule2))] @2: Dave is round.[(((triple10 ((triple12) -> rule3)) -> rule5) OR ((triple10 ((triple9) -> rule4)) -> rule5) OR ((triple10 ((triple9 triple10) -> rule2)) -> rule5) OR ((triple10 ((((triple11 triple10) -> rule6)) -> rule4)) -> rule5) OR ((triple10 ((((triple11 triple10) -> rule6) triple10) -> rule2)) -> rule5))]