Because Bob gets cold easily he tends to appear round from bundling up. Charlie is very nice to people, but he's also rather big. Because Dave is so young, he is rough and cold when he can be round instead. Gary has a round face and is very nice. Round and big people are sure to be rough. A person who is round shaped while also being quite cold tends to be nice. A very nice and kind person will also be round shaped. A big and rough person who is blue is also considered to be green. A green colored and rough person will be quite kind. People who are nice and cold are also green.
Bob is not nice.
@0: Bob is cold.[(triple2)] Bob is round.[(triple1)] Charlie is big.[(triple4)] Charlie is nice.[(triple3)] Dave is cold.[(triple8)] Dave is rough.[(triple7)] Dave is round.[(triple6)] Dave is young.[(triple5)] Gary is nice.[(triple10)] Gary is round.[(triple9)] @1: Bob is nice.[(((triple1 triple2) -> rule2))] Dave is nice.[(((triple6 triple8) -> rule2))] @2: Bob is green.[(((((triple1 triple2) -> rule2) triple2) -> rule6))] Dave is green.[(((((triple6 triple8) -> rule2) triple8) -> rule6))] @3: Dave is kind.[(((((((triple6 triple8) -> rule2) triple8) -> rule6) triple7) -> rule5))]