Charlie is young, round, and kind, but that doesn't mean he isn't also rough and cold at times, as well. The young person who is always feeling cold is named Dave. Eric is cold to his ex-wife. She knows he is round and red. He is kind to everyone else. That guy Harry sure is nice. Kind red people are green on the inside. Rough and big people are always also cold people. Any person that's blue, young and green will turn out to be a nice person, too. All young and kind people that feel blue are described as red. A big and round individual is sure to be a kind individual, too. Any person who can be red and blue at the same time is cold. People who are young are also blue.
Charlie is not big.
@0: Charlie is cold.[(triple5 OR ((((((triple1) -> rule7) triple1 triple4) -> rule4) ((triple1) -> rule7)) -> rule6))] Charlie is kind.[(triple4)] Charlie is rough.[(triple3)] Charlie is round.[(triple2)] Charlie is young.[(triple1)] Dave is cold.[(triple7)] Dave is young.[(triple6)] Eric is cold.[(triple11)] Eric is kind.[(triple10)] Eric is red.[(triple9)] Eric is round.[(triple8)] Harry is nice.[(triple12)] @1: Charlie is blue.[(((triple1) -> rule7))] Dave is blue.[(((triple6) -> rule7))] Eric is green.[(((triple10 triple9) -> rule1))] @2: Charlie is red.[(((((triple1) -> rule7) triple1 triple4) -> rule4))] @3: Charlie is green.[(((triple4 ((((triple1) -> rule7) triple1 triple4) -> rule4)) -> rule1))] @4: Charlie is nice.[(((((triple1) -> rule7) triple1 ((triple4 ((((triple1) -> rule7) triple1 triple4) -> rule4)) -> rule1)) -> rule3))]