Dave is cold. Dave is green. Dave is kind. Dave is not nice. Dave is quiet. Dave is white. Harry is blue. Harry is cold. Harry is nice. Harry is white. If someone is white and not kind then they are not quiet. If someone is white and not nice then they are quiet. If someone is white and blue then they are green.
Harry is not cold.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is not nice.[(triple4)] Dave is quiet.[(triple5 OR ((triple6 triple4) -> rule2))] Dave is white.[(triple6)] Harry is blue.[(triple7)] Harry is cold.[(triple8)] Harry is nice.[(triple9)] Harry is white.[(triple10)] @1: Harry is green.[(((triple10 triple7) -> rule3))]