Anne is big. Anne is furry. Anne is green. Anne is red. Anne is rough. Anne is smart. Anne is white. Charlie is big. Charlie is green. Charlie is rough. Harry is big. Harry is green. If Anne is rough and Anne is green then Anne is smart.
Charlie is not white.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is smart.[(triple6 OR ((triple5 triple3) -> rule1))] Anne is white.[(triple7)] Charlie is big.[(triple8)] Charlie is green.[(triple9)] Charlie is rough.[(triple10)] Harry is big.[(triple11)] Harry is green.[(triple12)]