Red Alan is what folks call him, because he is quite red. Dave became so big that he is now very round. Fortunately the rather green man is still nice. Eric wears all blue. Fred was looking rather round and feeling rather cold, but people thought he is kind. A quite nice person who is red and green is also big. Young round folks who are at least a bit red are actually nice. Big, round, red people are always so young. If you meet someone who is young and cold, then will most definitely be red. A green person is going to be rough. Anyone you know who is cold and kind must certainly be young.
Eric is not green.
@0: Alan is red.[(triple1)] Dave is big.[(triple5)] Dave is green.[(triple4)] Dave is nice.[(triple3)] Dave is round.[(triple2)] Eric is blue.[(triple6)] Fred is cold.[(triple9)] Fred is kind.[(triple8)] Fred is round.[(triple7)] @1: Dave is rough.[(((triple4) -> rule5))] Fred is young.[(((triple9 triple8) -> rule6))] @2: Fred is red.[(((((triple9 triple8) -> rule6) triple9) -> rule4))] @3: Fred is nice.[(((((((triple9 triple8) -> rule6) triple9) -> rule4) triple7 ((triple9 triple8) -> rule6)) -> rule2))]