Alan is a very nice man who is kind to everyone and has a round body that makes him feel blue when he wears red. Charlie is nice to people because he is a kind person. The past few weeks of bad weather have him blue, though. Dave is quite round but rough and is on the nice side, but rather cold. Nice people flushing red are always young. When a man or woman is kind, that man or woman is red as well. People that are very big and slightly blue will be on the young side. Anyone known to be red, young and blue will also be found to be cold. A human being that's blue, rough and big is also going to be a cold human being. All rough people are big in some way.
Charlie is not cold.
@0: Alan is blue.[(triple5)] Alan is kind.[(triple4)] Alan is nice.[(triple3)] Alan is red.[(triple2 OR ((triple4) -> rule2))] Alan is round.[(triple1)] Charlie is blue.[(triple8)] Charlie is kind.[(triple7)] Charlie is nice.[(triple6)] Dave is cold.[(triple12)] Dave is nice.[(triple11)] Dave is rough.[(triple10)] Dave is round.[(triple9)] @1: Alan is young.[(((triple2 triple3) -> rule1) OR ((((triple4) -> rule2) triple3) -> rule1))] Charlie is red.[(((triple7) -> rule2))] Dave is big.[(((triple10) -> rule6))] @2: Alan is cold.[(((triple2 ((triple2 triple3) -> rule1) triple5) -> rule4) OR ((((triple4) -> rule2) ((triple2 triple3) -> rule1) triple5) -> rule4) OR ((triple2 ((((triple4) -> rule2) triple3) -> rule1) triple5) -> rule4) OR ((((triple4) -> rule2) ((((triple4) -> rule2) triple3) -> rule1) triple5) -> rule4))] Charlie is young.[(((((triple7) -> rule2) triple6) -> rule1))] @3: Charlie is cold.[(((((triple7) -> rule2) ((((triple7) -> rule2) triple6) -> rule1) triple8) -> rule4))]