Dave is cold. Dave is green. Dave is quiet. Dave is red. Dave is round. Dave is white. Harry is quiet. Harry is red. Harry is round. Harry is white. If Harry is white and Harry is round then Harry is green. Big people are white. If someone is quiet and cold then they are round. All big people are green. If Harry is red and Harry is green then Harry is round. If Dave is quiet then Dave is white.
Dave is white.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is quiet.[(triple3)] Dave is red.[(triple4)] Dave is round.[(triple5 OR ((triple3 triple1) -> rule3))] Dave is white.[(triple6 OR ((triple3) -> rule6))] Harry is quiet.[(triple7)] Harry is red.[(triple8)] Harry is round.[(triple9)] Harry is white.[(triple10)] @1: Harry is green.[(((triple10 triple9) -> rule1))]