「言いそびれるがしかし化かすということはないとすると観察し易くない」物はある
fact1: 仮にあの仮声帯が言いそびれるし化かすとすると観察し易いということはない fact2: 「小賢しいし記念碑性であるということはないなら自動生成しない」ものはある fact3: 「仮に乾パンだしさらに短期記憶ならばボーアでない」物はある fact4: もし仮にあの仮声帯は夜行列車であるけどパリ会議でないとすれば測定出来ない fact5: 「もし仮に発信音であるしまた生み難いとすればくどくない」物はある fact6: もしもあの仮声帯は言いそびれるが化かさないとすればそれは観察し易くない fact7: 仮にあの仮声帯は言いそびれるけど化かさないとするとそれは観察し易い fact8: 「仮に逆走するがしかし行動出来ないとしたら信仰深いということはない」物はある fact9: 「もしも甲斐甲斐しいし病死するとすれば思わしくない」物はある fact10: 「「もし過不足無くて麗々しいとしたら全国展開しない」物はある」ということは確かだ fact11: もしもまあるいものが書き直せるということはないとすればごきぶり・蠅でない fact12: 「もし仮に言いそびれるが化かさないとすれば観察し易い」ものはある
fact6 -> hypothesis;
「「もしもまあるいが書き直せないならばごきぶり・蠅でない」物はある」ということは偽でない
fact13 -> int1: 仮にその再婚禁止期間がまあるいけれどそれが書き直せないならばそれはごきぶり・蠅でない; int1 -> hypothesis;
$facts$ = fact1: 仮にあの仮声帯が言いそびれるし化かすとすると観察し易いということはない fact2: 「小賢しいし記念碑性であるということはないなら自動生成しない」ものはある fact3: 「仮に乾パンだしさらに短期記憶ならばボーアでない」物はある fact4: もし仮にあの仮声帯は夜行列車であるけどパリ会議でないとすれば測定出来ない fact5: 「もし仮に発信音であるしまた生み難いとすればくどくない」物はある fact6: もしもあの仮声帯は言いそびれるが化かさないとすればそれは観察し易くない fact7: 仮にあの仮声帯は言いそびれるけど化かさないとするとそれは観察し易い fact8: 「仮に逆走するがしかし行動出来ないとしたら信仰深いということはない」物はある fact9: 「もしも甲斐甲斐しいし病死するとすれば思わしくない」物はある fact10: 「「もし過不足無くて麗々しいとしたら全国展開しない」物はある」ということは確かだ fact11: もしもまあるいものが書き直せるということはないとすればごきぶり・蠅でない fact12: 「もし仮に言いそびれるが化かさないとすれば観察し易い」ものはある ; $hypothesis$ = 「言いそびれるがしかし化かすということはないとすると観察し易くない」物はある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 仮にあの仮声帯が言いそびれるし化かすとすると観察し易いということはない
事実2: 「小賢しいし記念碑性であるということはないなら自動生成しない」ものはある
事実3: 「仮に乾パンだしさらに短期記憶ならばボーアでない」物はある
事実4: もし仮にあの仮声帯は夜行列車であるけどパリ会議でないとすれば測定出来ない
事実5: 「もし仮に発信音であるしまた生み難いとすればくどくない」物はある
事実6: もしもあの仮声帯は言いそびれるが化かさないとすればそれは観察し易くない
事実7: 仮にあの仮声帯は言いそびれるけど化かさないとするとそれは観察し易い
事実8: 「仮に逆走するがしかし行動出来ないとしたら信仰深いということはない」物はある
事実9: 「もしも甲斐甲斐しいし病死するとすれば思わしくない」物はある
事実10: 「「もし過不足無くて麗々しいとしたら全国展開しない」物はある」ということは確かだ
事実11: もしもまあるいものが書き直せるということはないとすればごきぶり・蠅でない
事実12: 「もし仮に言いそびれるが化かさないとすれば観察し易い」ものはある

仮説: 「言いそびれるがしかし化かすということはないとすると観察し易くない」物はある
1. 事実6から、仮説が導かれる

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