Anne is big. Anne is nice. Anne is quiet. Anne is rough. Anne is smart. Anne is white. Anne is young. Bob is big. Bob is white. Charlie is rough. Charlie is white. Harry is big. Harry is nice. Harry is quiet. Harry is white. All rough people are quiet.
Charlie is quiet.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3 OR ((triple4) -> rule1))] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Bob is big.[(triple8)] Bob is white.[(triple9)] Charlie is rough.[(triple10)] Charlie is white.[(triple11)] Harry is big.[(triple12)] Harry is nice.[(triple13)] Harry is quiet.[(triple14)] Harry is white.[(triple15)] @1: Charlie is quiet.[(((triple10) -> rule1))]