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