Red Alan is what folks call him, because he is quite red. Fred wears all blue. Harry became more and more round and nice and kind, but he couldn't stop being cold and big. A round person who is nice is young. A nice and cold person can be counted on to be a young person at the same time. A rather round and green person will be red. Round, young folks tend to feel blue. If a person is red, kind, and nice then they must be round. A nice and young aged person will definitely be green in color. When a round individual is nice to others, they are also feeling blue.
Alan is not green.
@0: Alan is red.[(triple1)] Fred is blue.[(triple2)] Harry is big.[(triple7)] Harry is cold.[(triple6)] Harry is kind.[(triple5)] Harry is nice.[(triple4)] Harry is round.[(triple3)] @1: Harry is blue.[(((triple3 triple4) -> rule7) OR ((triple3 ((triple4 triple3) -> rule1)) -> rule4) OR ((triple3 ((triple4 triple6) -> rule2)) -> rule4))] Harry is young.[(((triple4 triple3) -> rule1) OR ((triple4 triple6) -> rule2))] @2: Harry is green.[(((triple4 ((triple4 triple3) -> rule1)) -> rule6) OR ((triple4 ((triple4 triple6) -> rule2)) -> rule6))] @3: Harry is red.[(((triple3 ((triple4 ((triple4 triple3) -> rule1)) -> rule6)) -> rule3) OR ((triple3 ((triple4 ((triple4 triple6) -> rule2)) -> rule6)) -> rule3))]