Bob is not red. Bob is not young. Dave is not blue. Dave is red. Dave is round. Harry is big. Harry is blue. Harry is red. Harry is rough. Harry is not round. If something is rough then it is young. If Dave is young then Dave is not round. If Harry is green and Harry is not round then Harry is big. All green things are red. If something is rough and not big then it is not red. All big, blue things are red.
Bob is blue.
@0: Bob is not red.[(triple1)] Bob is not young.[(triple2)] Dave is not blue.[(triple3)] Dave is red.[(triple4)] Dave is round.[(triple5)] Harry is big.[(triple6)] Harry is blue.[(triple7)] Harry is not round.[(triple10)] Harry is red.[(triple8 OR ((triple6 triple7) -> rule6))] Harry is rough.[(triple9)] @1: Harry is young.[(((triple9) -> rule1))]