The young person who is always feeling cold is named Dave. Thankfully Eric is nice. People have realized that he is big and rough. Since he is young he has tendency to become red when they mention it. Gary seems to be round. Harry seems to be round. If someone plays rough and is nice and round, they will be big. A big round young person is often blue. Nice people who feel blue often look green when ill. A nice person is inevitably round as well. If a person is both cold and round, that person is also someone who is red. If you know someone who is nice, green, and big, you know a young person. A person who is cold and red and blue is big.
Eric is not blue.
@0: Dave is cold.[(triple2)] Dave is young.[(triple1)] Eric is big.[(triple7 OR ((triple4 triple6 ((triple6) -> rule4)) -> rule1))] Eric is nice.[(triple6)] Eric is red.[(triple5)] Eric is rough.[(triple4)] Eric is young.[(triple3)] Gary is round.[(triple8)] Harry is round.[(triple9)] @1: Eric is round.[(((triple6) -> rule4))] @2: Eric is blue.[(((triple7 triple3 ((triple6) -> rule4)) -> rule2) OR ((((triple4 triple6 ((triple6) -> rule4)) -> rule1) triple3 ((triple6) -> rule4)) -> rule2))] @3: Eric is green.[(((triple6 ((triple7 triple3 ((triple6) -> rule4)) -> rule2)) -> rule3) OR ((triple6 ((((triple4 triple6 ((triple6) -> rule4)) -> rule1) triple3 ((triple6) -> rule4)) -> rule2)) -> rule3))]