Anne is big. Anne is blue. Anne is not cold. Anne is kind. Anne is quiet. Anne is rough. Anne is white. Charlie is big. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is white. If Charlie is cold and Charlie is rough then Charlie is kind. Cold, kind things are rough. If Charlie is not quiet and Charlie is not cold then Charlie is rough. If Anne is not blue then Anne is rough. If something is blue then it is big. If something is quiet then it is big.
Anne is quiet.
@0: Anne is big.[(triple1 OR ((triple2) -> rule5) OR ((triple5) -> rule6))] Anne is blue.[(triple2)] Anne is kind.[(triple4)] Anne is not cold.[(triple3)] Anne is quiet.[(triple5)] Anne is rough.[(triple6)] Anne is white.[(triple7)] Charlie is big.[(triple8 OR ((triple12) -> rule6) OR ((triple9) -> rule5))] Charlie is blue.[(triple9)] Charlie is cold.[(triple10)] Charlie is kind.[(triple11 OR ((triple10 triple13) -> rule1))] Charlie is quiet.[(triple12)] Charlie is rough.[(triple13 OR ((triple10 triple11) -> rule2))] Charlie is white.[(triple14)]