Dave is big. Dave is green. Dave is red. Harry is big. Harry is furry. Harry is green. Harry is nice. Harry is not red. Harry is smart. Harry is white. If someone is nice and not big then they are red. All smart people are not red. If Dave is white then Dave is furry. If Harry is big and Harry is red then Harry is not green. If someone is big then they are white. If someone is green and not big then they are smart.
Dave is white.
@0: Dave is big.[(triple1)] Dave is green.[(triple2)] Dave is red.[(triple3)] Harry is big.[(triple4)] Harry is furry.[(triple5)] Harry is green.[(triple6)] Harry is nice.[(triple7)] Harry is not red.[(triple8 OR ((triple9) -> rule2))] Harry is smart.[(triple9)] Harry is white.[(triple10 OR ((triple4) -> rule5))] @1: Dave is white.[(((triple1) -> rule5))] @2: Dave is furry.[(((((triple1) -> rule5)) -> rule3))]