Nice, but round, Alan has been said to be cold. Most people consider Bob to bed red. He's pretty cold to people and often feels blue. Bob is a big person. The big, round, blue guy is Eric. He's kind but rather rough. People that tend to be big and green also tend to be cold. Kind, young, green persons are sure to be rough persons, too. Anyone in the world who is nice, red, and young, is simultaneously rough. People feeling green and blue are somewhat nice. Young,round people tend to be rough and big. Round people are often red before they turn green. A round person will also be red.
Alan is not cold.
@0: Alan is cold.[(triple3)] Alan is nice.[(triple2)] Alan is round.[(triple1)] Bob is big.[(triple7)] Bob is blue.[(triple6)] Bob is cold.[(triple5)] Bob is red.[(triple4)] Eric is big.[(triple12)] Eric is blue.[(triple11)] Eric is kind.[(triple10)] Eric is rough.[(triple9)] Eric is round.[(triple8)] @1: Alan is red.[(((triple1) -> rule7))] Eric is red.[(((triple8) -> rule7))] @2: Alan is green.[(((triple1 ((triple1) -> rule7)) -> rule6))] Eric is green.[(((triple8 ((triple8) -> rule7)) -> rule6))] @3: Eric is cold.[(((triple12 ((triple8 ((triple8) -> rule7)) -> rule6)) -> rule1))] Eric is nice.[(((((triple8 ((triple8) -> rule7)) -> rule6) triple11) -> rule4))]