Anne is cold. Anne is furry. Anne is kind. Anne is quiet. Anne is red. Anne is rough. Anne is white. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is white. Quiet people are kind.
Charlie is rough.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3 OR ((triple4) -> rule1))] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Anne is rough.[(triple6)] Anne is white.[(triple7)] Charlie is cold.[(triple8)] Charlie is furry.[(triple9)] Charlie is kind.[(triple10 OR ((triple11) -> rule1))] Charlie is quiet.[(triple11)] Charlie is red.[(triple12)] Charlie is rough.[(triple13)] Charlie is white.[(triple14)]