To the touch Bob has rough, cold skin. Big Charlie is nice but also rough. Cold, blue Gary is young, kind and green. Find someone cold and green. If they are also round, then they are sure to be nice. Rough and cold and blue people are round. When someone feels cold, while being big and rough, they always turn out to be red. If someone is a bit rough, but also nice, then they qualify as round. A person who is round and nice is cold.
Charlie is red.
@0: Bob is cold.[(triple2)] Bob is rough.[(triple1)] Charlie is big.[(triple5)] Charlie is nice.[(triple4)] Charlie is rough.[(triple3)] Gary is blue.[(triple10)] Gary is cold.[(triple9)] Gary is green.[(triple8)] Gary is kind.[(triple7)] Gary is young.[(triple6)] @1: Charlie is round.[(((triple4 triple3) -> rule4))] @2: Charlie is cold.[(((triple4 ((triple4 triple3) -> rule4)) -> rule5))] @3: Charlie is red.[(((((triple4 ((triple4 triple3) -> rule4)) -> rule5) triple5 triple3) -> rule3))]