Anne is red. Anne is rough. Anne is not round. Anne is not white. Charlie is cold. Charlie is green. Charlie is kind. Charlie is not red. Charlie is rough. Charlie is not round. Charlie is white. Dave is cold. Dave is red. Dave is not rough. Dave is not round. Dave is white. All kind, round things are red. White, kind things are cold. If something is green and rough then it is cold. Red, kind things are cold. All rough things are kind. All green things are kind. White things are green. If something is cold and not white then it is green.
Dave is rough.
@0: Anne is not round.[(triple3)] Anne is not white.[(triple4)] Anne is red.[(triple1)] Anne is rough.[(triple2)] Charlie is cold.[(triple5 OR ((triple11 triple7) -> rule2) OR ((triple6 triple9) -> rule3) OR ((triple11 ((triple6) -> rule6)) -> rule2) OR ((triple11 ((triple9) -> rule5)) -> rule2) OR ((((triple11) -> rule7) triple9) -> rule3) OR ((triple11 ((((triple11) -> rule7)) -> rule6)) -> rule2))] Charlie is green.[(triple6 OR ((triple11) -> rule7))] Charlie is kind.[(triple7 OR ((triple6) -> rule6) OR ((triple9) -> rule5) OR ((((triple11) -> rule7)) -> rule6))] Charlie is not red.[(triple8)] Charlie is not round.[(triple10)] Charlie is rough.[(triple9)] Charlie is white.[(triple11)] Dave is cold.[(triple12 OR ((triple13 ((((triple16) -> rule7)) -> rule6)) -> rule4) OR ((triple16 ((((triple16) -> rule7)) -> rule6)) -> rule2))] Dave is not rough.[(triple14)] Dave is not round.[(triple15)] Dave is red.[(triple13)] Dave is white.[(triple16)] @1: Anne is kind.[(((triple2) -> rule5))] Dave is green.[(((triple16) -> rule7))] @2: Anne is cold.[(((triple1 ((triple2) -> rule5)) -> rule4))] Dave is kind.[(((((triple16) -> rule7)) -> rule6))] @3: Anne is green.[(((((triple1 ((triple2) -> rule5)) -> rule4) triple4) -> rule8))]