Albo G2228 uznajcie G4160, że drzewo G1186 jest dobre G2570, wtedy i jego G846 owoc G2590 jest dobry G2570, albo G2228 uznajcie G4160, że drzewo G1186 jest złe G4550, wtedy i owoc G2590 jego G846 jest zły G4550. Bo G1063 z owocu G2590 poznaje się G1097 drzewo G1186.