Charlie is red and blue colored. He is cold to the touch, big and rough. For being so cold, it's good Dave can remain nice. Eric is green and cold too. Fred is a big guy who is colored red from a sunburn. He also has a cold. Blue, big and kind all at once, that person must be green too. Anyone who is both red and green must be as cold as Christmas. Someone being nice, even when they are cold without a doubt means that they are round about the middle. Anyone feeling cold is bound to act nice. Most round and cold people are often rough. A round person who is on the young side is also likely to treat people in a kind manner.
Fred is blue.
@0: Charlie is big.[(triple5)] Charlie is blue.[(triple4)] Charlie is cold.[(triple3)] Charlie is red.[(triple2)] Charlie is rough.[(triple1 OR ((((triple3 ((triple3) -> rule4)) -> rule3) triple3) -> rule5))] Dave is cold.[(triple7)] Dave is nice.[(triple6 OR ((triple7) -> rule4))] Eric is cold.[(triple9)] Eric is green.[(triple8)] Fred is big.[(triple12)] Fred is cold.[(triple11)] Fred is red.[(triple10)] @1: Charlie is nice.[(((triple3) -> rule4))] Dave is round.[(((triple7 triple6) -> rule3) OR ((triple7 ((triple7) -> rule4)) -> rule3))] Eric is nice.[(((triple9) -> rule4))] Fred is nice.[(((triple11) -> rule4))] @2: Charlie is round.[(((triple3 ((triple3) -> rule4)) -> rule3))] Dave is rough.[(((((triple7 triple6) -> rule3) triple7) -> rule5) OR ((((triple7 ((triple7) -> rule4)) -> rule3) triple7) -> rule5))] Eric is round.[(((triple9 ((triple9) -> rule4)) -> rule3))] Fred is round.[(((triple11 ((triple11) -> rule4)) -> rule3))] @3: Eric is rough.[(((((triple9 ((triple9) -> rule4)) -> rule3) triple9) -> rule5))] Fred is rough.[(((((triple11 ((triple11) -> rule4)) -> rule3) triple11) -> rule5))]