Anne is big. Anne is cold. Anne is quiet. Anne is rough. Anne is smart. Charlie is big. Charlie is cold. Charlie is furry. Charlie is rough. Charlie is white. If someone is smart then they are rough. All big, cold people are white. If Charlie is smart and Charlie is cold then Charlie is quiet.
Charlie is not quiet.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is quiet.[(triple3)] Anne is rough.[(triple4 OR ((triple5) -> rule1))] Anne is smart.[(triple5)] Charlie is big.[(triple6)] Charlie is cold.[(triple7)] Charlie is furry.[(triple8)] Charlie is rough.[(triple9)] Charlie is white.[(triple10 OR ((triple6 triple7) -> rule2))] @1: Anne is white.[(((triple1 triple2) -> rule2))]