Anne is cold. Anne is green. Anne is kind. Anne is round. Anne is smart. Anne is white. Charlie is cold. Charlie is green. Charlie is kind. Charlie is rough. Charlie is smart. Charlie is white. If Charlie is white then Charlie is rough. If Charlie is kind and Charlie is cold then Charlie is white. If Charlie is rough then Charlie is smart. If Anne is white and Anne is cold then Anne is round. If Anne is rough and Anne is cold then Anne is round. All green, white things are kind.
Charlie is round.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3 OR ((triple2 triple6) -> rule6))] Anne is round.[(triple4 OR ((triple6 triple1) -> rule4))] Anne is smart.[(triple5)] Anne is white.[(triple6)] Charlie is cold.[(triple7)] Charlie is green.[(triple8)] Charlie is kind.[(triple9 OR ((triple8 triple12) -> rule6))] Charlie is rough.[(triple10 OR ((triple12) -> rule1) OR ((((triple9 triple7) -> rule2)) -> rule1))] Charlie is smart.[(triple11 OR ((triple10) -> rule3) OR ((((triple12) -> rule1)) -> rule3) OR ((((((triple9 triple7) -> rule2)) -> rule1)) -> rule3))] Charlie is white.[(triple12 OR ((triple9 triple7) -> rule2))]