Anne is big. Anne is cold. Anne is green. Anne is quiet. Anne is not rough. Anne is smart. Anne is white. Bob is not big. Bob is green. Bob is quiet. Harry is cold. Harry is quiet. Harry is rough. Harry is smart. Harry is white. If someone is big then they are quiet. If someone is white and not green then they are smart.
Bob is not smart.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is not rough.[(triple5)] Anne is quiet.[(triple4 OR ((triple1) -> rule1))] Anne is smart.[(triple6)] Anne is white.[(triple7)] Bob is green.[(triple9)] Bob is not big.[(triple8)] Bob is quiet.[(triple10)] Harry is cold.[(triple11)] Harry is quiet.[(triple12)] Harry is rough.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)]