For someone so round, Alan turns blue when he's cold. No wonder he's so rough and red with anger all the time. Bob is big and seems cold, but he's just green. Really, he is nice and often red with laughter. Red Harry is what folks call him, because he is quite red. Big and round people who arent cold, tend to be very kind. Any person who is blue and round, if they are kind at the same time, will be young. Anyone that's rough and cold is also going to be blue. Young, round people seem to be big in our experience. Anyone who is round and also cold will surely be big as well.
Alan is kind.
@0: Alan is blue.[(triple5 OR ((triple4 triple2) -> rule3))] Alan is cold.[(triple4)] Alan is red.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Bob is big.[(triple10)] Bob is cold.[(triple9)] Bob is green.[(triple8)] Bob is nice.[(triple7)] Bob is red.[(triple6)] Harry is red.[(triple11)] @1: Alan is big.[(((triple1 triple4) -> rule5))] @2: Alan is kind.[(((triple4 ((triple1 triple4) -> rule5) triple1) -> rule1))] @3: Alan is young.[(((triple5 triple1 ((triple4 ((triple1 triple4) -> rule5) triple1) -> rule1)) -> rule2) OR ((((triple4 triple2) -> rule3) triple1 ((triple4 ((triple1 triple4) -> rule5) triple1) -> rule1)) -> rule2))]