Charlie is a kind person and he is also often cold. Dave is a big guy who is colored red from a sunburn. He also has a cold. Eric, who is both nice and kind, is rough, round and young, too. Harry may be round, but he is also kind. Young people who are nice and look round are also going to be green. Every time you meet someone kind and nice, they'll be green, too. You'll always find rough, cold, green people to also be red people. Big people with red hair are cold because they cannot find coats that fit. A round shaped kind person who is colored green will be cold natured. A person who is cold and red and blue is big.
Harry is not round.
@0: Charlie is cold.[(triple2)] Charlie is kind.[(triple1)] Dave is big.[(triple5)] Dave is cold.[(triple4 OR ((triple3 triple5) -> rule4))] Dave is red.[(triple3)] Eric is kind.[(triple10)] Eric is nice.[(triple9)] Eric is rough.[(triple8)] Eric is round.[(triple7)] Eric is young.[(triple6)] Harry is kind.[(triple12)] Harry is round.[(triple11)] @1: Eric is green.[(((triple10 triple9) -> rule2) OR ((triple9 triple7 triple6) -> rule1))] @2: Eric is cold.[(((triple7 ((triple10 triple9) -> rule2) triple10) -> rule5) OR ((triple7 ((triple9 triple7 triple6) -> rule1) triple10) -> rule5))] @3: Eric is red.[(((((triple7 ((triple10 triple9) -> rule2) triple10) -> rule5) triple8 ((triple10 triple9) -> rule2)) -> rule3) OR ((((triple7 ((triple10 triple9) -> rule2) triple10) -> rule5) triple8 ((triple9 triple7 triple6) -> rule1)) -> rule3) OR ((((triple7 ((triple9 triple7 triple6) -> rule1) triple10) -> rule5) triple8 ((triple10 triple9) -> rule2)) -> rule3) OR ((((triple7 ((triple9 triple7 triple6) -> rule1) triple10) -> rule5) triple8 ((triple9 triple7 triple6) -> rule1)) -> rule3))]