The young person who is always feeling cold is named Charlie. Dave is cold to his ex-wife. She knows he is round and red. He is kind to everyone else. Eric seems to be round. Harry seems to be round. A nice, young, cold guy or girl will be a kind guy or girl, as well. Kind, round people that are really feeling blue are going to always be big. Round people who are kind tend to be nice. A red, nice person will definitely be a blue person. A kind young person who is green will be cold. If a person is both cold and round, that person is also someone who is red.
Charlie is not rough.
@0: Charlie is cold.[(triple2)] Charlie is young.[(triple1)] Dave is cold.[(triple6)] Dave is kind.[(triple5)] Dave is red.[(triple4 OR ((triple3 triple6) -> rule6))] Dave is round.[(triple3)] Eric is round.[(triple7)] Harry is round.[(triple8)] @1: Dave is nice.[(((triple3 triple5) -> rule3))] @2: Dave is blue.[(((triple4 ((triple3 triple5) -> rule3)) -> rule4) OR ((((triple3 triple6) -> rule6) ((triple3 triple5) -> rule3)) -> rule4))] @3: Dave is big.[(((triple5 triple3 ((triple4 ((triple3 triple5) -> rule3)) -> rule4)) -> rule2) OR ((triple5 triple3 ((((triple3 triple6) -> rule6) ((triple3 triple5) -> rule3)) -> rule4)) -> rule2))]