Alan is a man who is both round and rough. Bob is round shaped and green colored. Nice, but round, Dave has been said to be cold. Eric is young, he is also red and green. Big people who are red in color are often nice. Round green people usually feel blue. A green person that is cold is often considered to be red. Looking blue can be a sign that someone is cold. If a person is quite big and also round then they are certainly rough too. People who are cold and and red are also young and kind.
Bob is not blue.
@0: Alan is rough.[(triple2)] Alan is round.[(triple1)] Bob is green.[(triple4)] Bob is round.[(triple3)] Dave is cold.[(triple7)] Dave is nice.[(triple6)] Dave is round.[(triple5)] Eric is green.[(triple10)] Eric is red.[(triple9)] Eric is young.[(triple8)] @1: Bob is blue.[(((triple3 triple4) -> rule2))] @2: Bob is cold.[(((((triple3 triple4) -> rule2)) -> rule4))] @3: Bob is red.[(((triple4 ((((triple3 triple4) -> rule2)) -> rule4)) -> rule3))]