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