Bob is nice. Bob is not rough. Bob is round. Dave is not furry. Dave is nice. Dave is red. Dave is not white. Dave is young. Gary is young. Harry is red. Harry is rough. Harry is round. All white, young people are rough. If someone is young and not nice then they are not rough. Nice people are red. Rough people are furry. If Harry is round and Harry is red then Harry is not young. If Dave is rough and Dave is furry then Dave is young.
Harry is nice.
@0: Bob is nice.[(triple1)] Bob is not rough.[(triple2)] Bob is round.[(triple3)] Dave is nice.[(triple5)] Dave is not furry.[(triple4)] Dave is not white.[(triple7)] Dave is red.[(triple6 OR ((triple5) -> rule3))] Dave is young.[(triple8)] Gary is young.[(triple9)] Harry is red.[(triple10)] Harry is rough.[(triple11)] Harry is round.[(triple12)] @1: Bob is red.[(((triple1) -> rule3))] Harry is furry.[(((triple11) -> rule4))] Harry is not young.[(((triple12 triple10) -> rule5))]