この高卒者は三毒であるということはないかそれは行き難くないかもしくは両方である
fact1: もしもこの国・自治体が強調するがしかし悪玉でないならばその刷新は発揮し難くない fact2: この高卒者は再生産能力でないかもしくはそれは付け易い fact3: この高卒者は行き難いということはない fact4: この昆虫達は三毒だということはない fact5: 仮になにかはタイル画でないならばそれは強調するしそれは悪玉でない fact6: この高卒者は行き難くないかまたは演じるかあるいは両方である fact7: この高卒者は情報提供するかまたはでっかくない
fact3 -> hypothesis;
fact3 -> hypothesis;
「「この高卒者は三毒でないかもしくはそれは行き難くないか両方ともだ」ということは成り立たない」ということは真実である
fact8 -> int1: この国・自治体がタイル画でないとすればそれは強調するしそれは悪玉でない;
$facts$ = fact1: もしもこの国・自治体が強調するがしかし悪玉でないならばその刷新は発揮し難くない fact2: この高卒者は再生産能力でないかもしくはそれは付け易い fact3: この高卒者は行き難いということはない fact4: この昆虫達は三毒だということはない fact5: 仮になにかはタイル画でないならばそれは強調するしそれは悪玉でない fact6: この高卒者は行き難くないかまたは演じるかあるいは両方である fact7: この高卒者は情報提供するかまたはでっかくない ; $hypothesis$ = この高卒者は三毒であるということはないかそれは行き難くないかもしくは両方である ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしもこの国・自治体が強調するがしかし悪玉でないならばその刷新は発揮し難くない
事実2: この高卒者は再生産能力でないかもしくはそれは付け易い
事実3: この高卒者は行き難いということはない
事実4: この昆虫達は三毒だということはない
事実5: 仮になにかはタイル画でないならばそれは強調するしそれは悪玉でない
事実6: この高卒者は行き難くないかまたは演じるかあるいは両方である
事実7: この高卒者は情報提供するかまたはでっかくない

仮説: この高卒者は三毒であるということはないかそれは行き難くないかもしくは両方である
1. 事実3から、仮説が導かれる

よって、仮説が証明されました。