Alan who is considered nice was feeling rather rough today. Bob is big and has rough red skin. He is blue about it and green with envy of the smaller people. They always call him rough Dave. Most everyone considers Harry a rough fellow, but very kind. He's often categorized as blue, and he's big. A male or female with rough, kind and round traits will surely have a nice quality, as well. Red, kind, young people will be rough people, too. Pick someone blue, kind and big, and they are certain to be green as well. Anyone in the world who is nice, red, and young, is simultaneously rough. A young, red person will certainly be cold. Take a drive and find a kind and blue driver, that means they are also young. It's true that green and blue people are also red people.
Alan is blue.
@0: Alan is nice.[(triple2)] Alan is rough.[(triple1)] Bob is big.[(triple7)] Bob is blue.[(triple6)] Bob is green.[(triple5)] Bob is red.[(triple4 OR ((triple5 triple6) -> rule7))] Bob is rough.[(triple3)] Dave is rough.[(triple8)] Harry is big.[(triple12)] Harry is blue.[(triple11)] Harry is kind.[(triple10)] Harry is rough.[(triple9 OR ((((triple10 triple11) -> rule6) triple10 ((((triple11 triple10 triple12) -> rule3) triple11) -> rule7)) -> rule2))] @1: Harry is green.[(((triple11 triple10 triple12) -> rule3))] Harry is young.[(((triple10 triple11) -> rule6))] @2: Harry is red.[(((((triple11 triple10 triple12) -> rule3) triple11) -> rule7))] @3: Harry is cold.[(((((((triple11 triple10 triple12) -> rule3) triple11) -> rule7) ((triple10 triple11) -> rule6)) -> rule5))]