Anne is big. Anne is blue. Anne is red. Anne is rough. Anne is round. Anne is smart. Anne is white. Charlie is big. Charlie is blue. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. Rough things are big. If Charlie is blue then Charlie is big. All rough, blue things are smart.
Charlie is blue.
@0: Anne is big.[(triple1 OR ((triple4) -> rule1))] Anne is blue.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6 OR ((triple4 triple2) -> rule3))] Anne is white.[(triple7)] Charlie is big.[(triple8 OR ((triple11) -> rule1) OR ((triple9) -> rule2))] Charlie is blue.[(triple9)] Charlie is red.[(triple10)] Charlie is rough.[(triple11)] Charlie is round.[(triple12)] Charlie is smart.[(triple13 OR ((triple11 triple9) -> rule3))] Charlie is white.[(triple14)]