Alan is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. Bob always goes out of his way to show that he is kind to people. Fred wears all blue. Upon meeting Gary, you'll notice he's green and kind. Blue Christmas ornaments are also red. Anyone in the world who is nice, red, and young, is simultaneously rough. Every time I see a young blue nice person I know they are also red. When someone feels cold, while being big and rough, they always turn out to be red. Someone blue who is round with bloating and red from sunburn is surely cold from having fallen into the lake. A kind and nice person who is looking green is often red. A person that is the color red will definitely be round shaped.
Fred is big.
@0: Alan is blue.[(triple3)] Alan is nice.[(triple2)] Alan is round.[(triple1 OR ((((triple3) -> rule1)) -> rule7))] Bob is kind.[(triple4)] Fred is blue.[(triple5)] Gary is green.[(triple7)] Gary is kind.[(triple6)] @1: Alan is red.[(((triple3) -> rule1))] Fred is red.[(((triple5) -> rule1))] @2: Alan is cold.[(((triple1 triple3 ((triple3) -> rule1)) -> rule5) OR ((((((triple3) -> rule1)) -> rule7) triple3 ((triple3) -> rule1)) -> rule5))] Fred is round.[(((((triple5) -> rule1)) -> rule7))] @3: Fred is cold.[(((((((triple5) -> rule1)) -> rule7) triple5 ((triple5) -> rule1)) -> rule5))]