In the snow sits Dave, crying from being cold. Eric's cold expression hid how nice he was. He was constantly blue about it though which was rough. He was noticeably round too. Even though Fred is big and round, he is cold much of the time. That man standing next to you with a big round body goes by the name of Harry. A young and cold person is red. Cold people with rough, green skin are young. A round shaped and rough person will be blue as well. You will probably see that big, round, blue people are green, too. Big and cold people are likely to be round, too. Someone who's blue, nice and round will also be someone who's green.
Eric is not green.
@0: Dave is cold.[(triple1)] Eric is blue.[(triple6 OR ((triple3 triple2) -> rule3))] Eric is cold.[(triple5)] Eric is nice.[(triple4)] Eric is rough.[(triple3)] Eric is round.[(triple2)] Fred is big.[(triple9)] Fred is cold.[(triple8)] Fred is round.[(triple7 OR ((triple9 triple8) -> rule5))] Harry is big.[(triple11)] Harry is round.[(triple10)] @1: Eric is green.[(((triple6 triple4 triple2) -> rule6) OR ((((triple3 triple2) -> rule3) triple4 triple2) -> rule6))] @2: Eric is young.[(((triple5 triple3 ((triple6 triple4 triple2) -> rule6)) -> rule2) OR ((triple5 triple3 ((((triple3 triple2) -> rule3) triple4 triple2) -> rule6)) -> rule2))] @3: Eric is red.[(((triple5 ((triple5 triple3 ((triple6 triple4 triple2) -> rule6)) -> rule2)) -> rule1) OR ((triple5 ((triple5 triple3 ((((triple3 triple2) -> rule3) triple4 triple2) -> rule6)) -> rule2)) -> rule1))]