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