Bob is big. Bob is blue. Bob is nice. Bob is red. Bob is smart. Bob is white. Bob is young. Harry is big. Harry is blue. Harry is nice. Harry is red. Harry is smart. Harry is white. Harry is young. If something is white and not big then it is not blue. If something is smart and not blue then it is not young. All white, nice things are young.
Bob is not big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is nice.[(triple3)] Bob is red.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7 OR ((triple6 triple3) -> rule3))] Harry is big.[(triple8)] Harry is blue.[(triple9)] Harry is nice.[(triple10)] Harry is red.[(triple11)] Harry is smart.[(triple12)] Harry is white.[(triple13)] Harry is young.[(triple14 OR ((triple13 triple10) -> rule3))]