Even though he's a big dude, Alan is cold. Bob is blue and cold. Dave is interestingly colored red and blue, and is also very kind. Eric is a rather nice, big and round fellow, who is also red from a sunburn and feeling blue. Big people who are round in stature and also feel rough are often cold to other people. If a kind, red person is also feeling blue then he will be cold to outsiders. Cold, red people are generally kind and big. If you meet someone who is big and kind with cold skin, they will be young. Generally, round and kind people are big.
Dave is cold.
@0: Alan is big.[(triple2)] Alan is cold.[(triple1)] Bob is blue.[(triple4)] Bob is cold.[(triple3)] Dave is blue.[(triple7)] Dave is kind.[(triple6)] Dave is red.[(triple5)] Eric is big.[(triple12)] Eric is blue.[(triple11)] Eric is nice.[(triple10)] Eric is red.[(triple9)] Eric is round.[(triple8)] @1: Dave is cold.[(((triple6 triple5 triple7) -> rule2))] @2: Dave is big.[(((triple6 triple5 ((triple6 triple5 triple7) -> rule2)) -> rule3))] @3: Dave is young.[(((triple6 ((triple6 triple5 triple7) -> rule2) ((triple6 triple5 ((triple6 triple5 triple7) -> rule2)) -> rule3)) -> rule4))]