Alan is cold to his ex-wife. She knows he is round and red. He is kind to everyone else. Bob is kind. He is also very cold and blue. Fred seems to be round. Gary is a big guy who is colored red from a sunburn. He also has a cold. Red people are almost always rough. Every time you meet someone kind and nice, they'll be green, too. Big people who are red in color are almost always young. It seems that a cold person who is round and nice will be green. People of young age are rough and cold but some are nice. Blue eyed people, green with sickness and rough around the edges quickly turn red and blush when stepping ashore. I bet anyone who is round and kind is also pretty young.
Bob is red.
@0: Alan is cold.[(triple4)] Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Bob is blue.[(triple7)] Bob is cold.[(triple6)] Bob is kind.[(triple5)] Fred is round.[(triple8)] Gary is big.[(triple11)] Gary is cold.[(triple10)] Gary is red.[(triple9)] @1: Alan is rough.[(((triple2) -> rule1))] Alan is young.[(((triple1 triple3) -> rule7))] Gary is rough.[(((triple9) -> rule1))] Gary is young.[(((triple11 triple9) -> rule3))] @2: Alan is nice.[(((((triple1 triple3) -> rule7) ((triple2) -> rule1) triple4) -> rule5))] Gary is nice.[(((((triple11 triple9) -> rule3) ((triple9) -> rule1) triple10) -> rule5))] @3: Alan is green.[(((triple3 ((((triple1 triple3) -> rule7) ((triple2) -> rule1) triple4) -> rule5)) -> rule2) OR ((triple1 ((((triple1 triple3) -> rule7) ((triple2) -> rule1) triple4) -> rule5) triple4) -> rule4))]