Bob is big. Bob is blue. Bob is round. Bob is smart. Charlie is big. Charlie is kind. Charlie is quiet. Charlie is smart. Dave is kind. Dave is quiet. Dave is smart. Harry is big. Harry is blue. Harry is kind. Harry is smart. If Charlie is smart and Charlie is big then Charlie is quiet. All white, smart things are big.
Bob is blue.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is round.[(triple3)] Bob is smart.[(triple4)] Charlie is big.[(triple5)] Charlie is kind.[(triple6)] Charlie is quiet.[(triple7 OR ((triple8 triple5) -> rule1))] Charlie is smart.[(triple8)] Dave is kind.[(triple9)] Dave is quiet.[(triple10)] Dave is smart.[(triple11)] Harry is big.[(triple12)] Harry is blue.[(triple13)] Harry is kind.[(triple14)] Harry is smart.[(triple15)]