The young person who is always feeling cold is named Bob. Dave is green and cold too. Eric discovered that even though he was round, rough, and nice and green, he was actually big. If a kind person is green and a bit blue then they are also nice. When rough and kind can describe a person, then cold will describe them, too. Big, kind folks are green ones. Someone who has a round shape with a nice personality with big size are always kind. Every person I met that was cold and round was also red. People who are round and green while being cold are also red.
Alan is not round.
@0: Bob is cold.[(triple2)] Bob is young.[(triple1)] Dave is cold.[(triple4)] Dave is green.[(triple3)] Eric is big.[(triple9)] Eric is green.[(triple8 OR ((triple9 ((triple5 triple7 triple9) -> rule4)) -> rule3))] Eric is nice.[(triple7)] Eric is rough.[(triple6)] Eric is round.[(triple5)] @1: Eric is kind.[(((triple5 triple7 triple9) -> rule4))] @2: Eric is cold.[(((((triple5 triple7 triple9) -> rule4) triple6) -> rule2))] @3: Eric is red.[(((((((triple5 triple7 triple9) -> rule4) triple6) -> rule2) triple5) -> rule5) OR ((triple5 triple8 ((((triple5 triple7 triple9) -> rule4) triple6) -> rule2)) -> rule6) OR ((triple5 ((triple9 ((triple5 triple7 triple9) -> rule4)) -> rule3) ((((triple5 triple7 triple9) -> rule4) triple6) -> rule2)) -> rule6))]