Alan is young and is kind.  Being big makes Alan blue. Bob is a young person who often feels blue and cold. Big Dave is a young, round man. Nice people flushing red are always young. Some who is round in shape, but who is also cold and kind is often always nice. Kind and round people are often cold to people. All persons who are big are also kind.
Dave is not nice.
@0: Alan is big.[(triple4)] Alan is blue.[(triple3)] Alan is kind.[(triple2 OR ((triple4) -> rule4))] Alan is young.[(triple1)] Bob is blue.[(triple7)] Bob is cold.[(triple6)] Bob is young.[(triple5)] Dave is big.[(triple10)] Dave is round.[(triple9)] Dave is young.[(triple8)] @1: Dave is kind.[(((triple10) -> rule4))] @2: Dave is cold.[(((((triple10) -> rule4) triple9) -> rule3))] @3: Dave is nice.[(((((((triple10) -> rule4) triple9) -> rule3) ((triple10) -> rule4) triple9) -> rule2))]