Anne is kind. Anne is nice. Anne is round. Charlie is cold. Charlie is green. Charlie is kind. Charlie is nice. Charlie is round. Charlie is smart. Charlie is young. If Anne is green then Anne is kind. If Anne is young then Anne is kind. If Charlie is green then Charlie is cold. If Anne is cold then Anne is nice. If someone is round and smart then they are cold. Smart people are young. If Charlie is cold then Charlie is smart. Cold people are kind.
Charlie is not nice.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Charlie is cold.[(triple4 OR ((triple5) -> rule3) OR ((triple8 triple9) -> rule5))] Charlie is green.[(triple5)] Charlie is kind.[(triple6 OR ((triple4) -> rule8) OR ((((triple5) -> rule3)) -> rule8) OR ((((triple8 triple9) -> rule5)) -> rule8))] Charlie is nice.[(triple7)] Charlie is round.[(triple8)] Charlie is smart.[(triple9 OR ((triple4) -> rule7) OR ((((triple5) -> rule3)) -> rule7))] Charlie is young.[(triple10 OR ((triple9) -> rule6) OR ((((triple4) -> rule7)) -> rule6) OR ((((((triple5) -> rule3)) -> rule7)) -> rule6))]