When you see Alan, you will notice he is cold, big and kind. Bob was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. Nice, but round, Eric has been said to be cold. Fred always goes out of his way to show that he is kind to people. Find someone cold and green. If they are also round, then they are sure to be nice. A kind and cold person who is green is, surprisingly, also blue. Show me someone who is cold and kind, and I'll show you how green they are. People who have a big shape while they are young are found to be nice. Big, blue people are red. Anyone who's blue is also green.
Eric is not blue.
@0: Alan is big.[(triple3)] Alan is cold.[(triple2)] Alan is kind.[(triple1)] Bob is blue.[(triple6)] Bob is green.[(triple5 OR ((triple6) -> rule6))] Bob is round.[(triple4)] Eric is cold.[(triple9)] Eric is nice.[(triple8)] Eric is round.[(triple7)] Fred is kind.[(triple10)] @1: Alan is green.[(((triple2 triple1) -> rule3))] @2: Alan is blue.[(((triple1 triple2 ((triple2 triple1) -> rule3)) -> rule2))] @3: Alan is red.[(((((triple1 triple2 ((triple2 triple1) -> rule3)) -> rule2) triple3) -> rule5))]