Anne is not cold. Anne is kind. Anne is not nice. Anne is not quiet. Anne is not young. Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is young. If someone is nice and quiet then they are green. If someone is green and quiet then they are young. If Anne is nice then Anne is quiet.
Anne is furry.
@0: Anne is kind.[(triple2)] Anne is not cold.[(triple1)] Anne is not nice.[(triple3)] Anne is not quiet.[(triple4)] Anne is not young.[(triple5)] Charlie is cold.[(triple6)] Charlie is furry.[(triple7)] Charlie is green.[(triple8 OR ((triple10 triple11) -> rule1))] Charlie is kind.[(triple9)] Charlie is nice.[(triple10)] Charlie is quiet.[(triple11)] Charlie is young.[(triple12 OR ((triple8 triple11) -> rule2) OR ((((triple10 triple11) -> rule1) triple11) -> rule2))]