その黄体は公表出来る
fact1: もし思い易いものはあるとすれば「その見出しマップはいじらしくない」ということは事実だ fact2: もし仮に「このイスラム教徒はいじらしくない」ということは事実であるとしたら「賢いか著効しない」ということは偽である fact3: その見出しマップは揮発し易くない fact4: その黄体は方墳だ fact5: もし仮にあの金文字が恋しいとすればこの日本進出は思い易い fact6: 苦々しかないものは公表出来るということはないししかも方墳でない fact7: その黄体は方墳だし公表出来る fact8: 仮にその見出しマップが揮発し易くないしいじらしくないならばこのイスラム教徒はいじらしいということはない fact9: 仮に何らかのものは行為でないならそれは苦々しかない fact10: あの金文字は恋しい
fact7 -> hypothesis;
fact7 -> hypothesis;
その黄体は公表出来ない
fact16 -> int1: もし仮にその黄体が苦々しかないならばそれは公表出来なくてしかも方墳でない; fact18 -> int2: 「仮にその黄体が行為だということはないならその黄体は苦々しかない」ということは事実である; fact13 & fact15 -> int3: この日本進出は思い易い; int3 -> int4: 「「思い易い」ということは本当な」ものはある; int4 & fact12 -> int5: その見出しマップはいじらしくない; fact17 & int5 -> int6: その見出しマップは揮発し易くないしおまけにいじらしくない; fact14 & int6 -> int7: 「このイスラム教徒はいじらしくない」ということは偽でない; fact11 & int7 -> int8: 「「このイスラム教徒は賢いかそれは著効しない」ということは成り立つ」ということは事実と異なる; int8 -> int9: 「「賢いか著効しないかあるいはどちらもである」ということは確かでない」ものはある;
$facts$ = fact1: もし思い易いものはあるとすれば「その見出しマップはいじらしくない」ということは事実だ fact2: もし仮に「このイスラム教徒はいじらしくない」ということは事実であるとしたら「賢いか著効しない」ということは偽である fact3: その見出しマップは揮発し易くない fact4: その黄体は方墳だ fact5: もし仮にあの金文字が恋しいとすればこの日本進出は思い易い fact6: 苦々しかないものは公表出来るということはないししかも方墳でない fact7: その黄体は方墳だし公表出来る fact8: 仮にその見出しマップが揮発し易くないしいじらしくないならばこのイスラム教徒はいじらしいということはない fact9: 仮に何らかのものは行為でないならそれは苦々しかない fact10: あの金文字は恋しい ; $hypothesis$ = その黄体は公表出来る ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: もし思い易いものはあるとすれば「その見出しマップはいじらしくない」ということは事実だ
事実2: もし仮に「このイスラム教徒はいじらしくない」ということは事実であるとしたら「賢いか著効しない」ということは偽である
事実3: その見出しマップは揮発し易くない
事実4: その黄体は方墳だ
事実5: もし仮にあの金文字が恋しいとすればこの日本進出は思い易い
事実6: 苦々しかないものは公表出来るということはないししかも方墳でない
事実7: その黄体は方墳だし公表出来る
事実8: 仮にその見出しマップが揮発し易くないしいじらしくないならばこのイスラム教徒はいじらしいということはない
事実9: 仮に何らかのものは行為でないならそれは苦々しかない
事実10: あの金文字は恋しい

仮説: その黄体は公表出来る
1. 事実7から、仮説が導かれる

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