Bob ate some rotten meat and now feels green. Charlie is feeling rough, red, nice, green and also blue. Dave is so young and darling he is kind to all the old people on the block. Even though Fred is rough, he nice but cold and blue. A kind, round person will surely be red as well. A young aged and blue colored person will certainly be round. Young round blue people are also big people. People who are rough are young. If you meet someone who is young and cold, then will most definitely be red. When you know someone who's red, rough and nice, you'll also see that they're cold.
Charlie is not nice.
@0: Bob is green.[(triple1)] Charlie is blue.[(triple6)] Charlie is green.[(triple5)] Charlie is nice.[(triple4)] Charlie is red.[(triple3)] Charlie is rough.[(triple2)] Dave is kind.[(triple8)] Dave is young.[(triple7)] Fred is blue.[(triple12)] Fred is cold.[(triple11)] Fred is nice.[(triple10)] Fred is rough.[(triple9)] @1: Charlie is cold.[(((triple4 triple3 triple2) -> rule6))] Charlie is young.[(((triple2) -> rule4))] Fred is young.[(((triple9) -> rule4))] @2: Charlie is round.[(((((triple2) -> rule4) triple6) -> rule2))] Fred is red.[(((((triple9) -> rule4) triple11) -> rule5))] Fred is round.[(((((triple9) -> rule4) triple12) -> rule2))] @3: Charlie is big.[(((((((triple2) -> rule4) triple6) -> rule2) triple6 ((triple2) -> rule4)) -> rule3))] Fred is big.[(((((((triple9) -> rule4) triple12) -> rule2) triple12 ((triple9) -> rule4)) -> rule3))]