In the snow sits Bob, crying from being cold. Dave ate some rotten meat and now feels green. Eric is very young red and kind, however he's green, nice and cold as well. Gary is a big gentleman who is very nice. He is secretly green with envy. People that tend to be big and green also tend to be cold. A round person who is nice is young. A person that is cold, blue and nice is also considered to be round. Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color. A person that is both nice and young will also be cold.
Bob is red.
@0: Bob is cold.[(triple1)] Dave is green.[(triple2)] Eric is cold.[(triple8 OR ((triple5 triple3) -> rule5))] Eric is green.[(triple7)] Eric is kind.[(triple6)] Eric is nice.[(triple5)] Eric is red.[(triple4)] Eric is young.[(triple3)] Gary is big.[(triple11)] Gary is green.[(triple10)] Gary is nice.[(triple9)] @1: Gary is cold.[(((triple11 triple10) -> rule1))] @2: Gary is blue.[(((triple9 ((triple11 triple10) -> rule1) triple11) -> rule4))] @3: Gary is round.[(((((triple11 triple10) -> rule1) ((triple9 ((triple11 triple10) -> rule1) triple11) -> rule4) triple9) -> rule3))] @4: Gary is young.[(((triple9 ((((triple11 triple10) -> rule1) ((triple9 ((triple11 triple10) -> rule1) triple11) -> rule4) triple9) -> rule3)) -> rule2))]