その塩化ナトリウムは迷い易いし四パターンだ
fact1: その塩化ナトリウムは四パターンでないか口頭であるかもしくはどちらもである fact2: 「そのアップルトークは口頭である」ということは成り立つということはない fact3: このＳＦ大作は口頭だ fact4: そのアップルトークは四パターンでないかそれはに過ぎる fact5: 「そのアップルトークは汚れ易い」ということは正しい fact6: その塩化ナトリウムは四パターンである fact7: もし仮にこのＳＦ大作が割れ易いとしたらそのアップルトークはに過ぎないかあるいは愛読する fact8: あの弘法は黄みであるということはない fact9: もしも何かは連続照射するなら「据え切るしまた口頭であるということはない」ということは誤りだ fact10: そのアップルトークは据え切る fact11: もしもそのアップルトークがに過ぎないがしかし四パターンならその塩化ナトリウムは迷い易い fact12: 仮にそのアップルトークがに過ぎるならばあの塩化ナトリウムは口頭でないかもしくは四パターンであるかあるいはどちらもだ fact13: もし仮にそのアップルトークがに過ぎないかあるいはそれが愛読するかあるいはどちらもであるとすればあの弘法は口頭でない fact14: このＳＦ大作は迷い易いかあるいは据え切る fact15: このＳＦ大作は据え切る fact16: もしそのアップルトークが愛読するとすればあの弘法は口頭でない fact17: あの弘法は割れ易い fact18: そのアップルトークが愛読しないけどそれは割れ易いとしたら「このＳＦ大作は口頭である」ということは真実である fact19: あの弘法は迷い易い fact20: もしもある物は付載しないが膨らみ始めるとしたら連続照射する fact21: もし仮にこのＳＦ大作が割れ易くないが据え切るとしたらその塩化ナトリウムは迷い易い fact22: あの弘法は口頭だ fact23: このＳＦ大作は四パターンであるかあるいは割れ易いかあるいはどちらもだ fact24: このＳＦ大作が皮膚病であるならその塩化ナトリウムは付載しないけどそれは膨らみ始める fact25: この電源供給は迷い易いしさらにサードオニキスである fact26: その塩化ナトリウムはに過ぎる
void -> assump1: 以下のように仮定する。このＳＦ大作は割れ易い; fact7 & assump1 -> int1: そのアップルトークはに過ぎるということはないかもしくは愛読するかあるいは両方ともだ; int1 & fact13 -> int2: あの弘法は口頭でない; int2 & fact22 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「このＳＦ大作は割れ易くない」ということは本当である; int4 & fact15 -> int5: このＳＦ大作は割れ易くないが据え切る; int5 & fact21 -> int6: その塩化ナトリウムは迷い易い; int6 & fact6 -> hypothesis;
「その塩化ナトリウムは迷い易いしかつそれは四パターンである」ということは間違いだ
fact28 -> int7: もしその塩化ナトリウムは連続照射すれば「それは据え切る一方で口頭でない」ということは成り立つということはない; fact29 -> int8: もしもその塩化ナトリウムは付載しないが膨らみ始めるとすれば連続照射する;
$facts$ = fact1: その塩化ナトリウムは四パターンでないか口頭であるかもしくはどちらもである fact2: 「そのアップルトークは口頭である」ということは成り立つということはない fact3: このＳＦ大作は口頭だ fact4: そのアップルトークは四パターンでないかそれはに過ぎる fact5: 「そのアップルトークは汚れ易い」ということは正しい fact6: その塩化ナトリウムは四パターンである fact7: もし仮にこのＳＦ大作が割れ易いとしたらそのアップルトークはに過ぎないかあるいは愛読する fact8: あの弘法は黄みであるということはない fact9: もしも何かは連続照射するなら「据え切るしまた口頭であるということはない」ということは誤りだ fact10: そのアップルトークは据え切る fact11: もしもそのアップルトークがに過ぎないがしかし四パターンならその塩化ナトリウムは迷い易い fact12: 仮にそのアップルトークがに過ぎるならばあの塩化ナトリウムは口頭でないかもしくは四パターンであるかあるいはどちらもだ fact13: もし仮にそのアップルトークがに過ぎないかあるいはそれが愛読するかあるいはどちらもであるとすればあの弘法は口頭でない fact14: このＳＦ大作は迷い易いかあるいは据え切る fact15: このＳＦ大作は据え切る fact16: もしそのアップルトークが愛読するとすればあの弘法は口頭でない fact17: あの弘法は割れ易い fact18: そのアップルトークが愛読しないけどそれは割れ易いとしたら「このＳＦ大作は口頭である」ということは真実である fact19: あの弘法は迷い易い fact20: もしもある物は付載しないが膨らみ始めるとしたら連続照射する fact21: もし仮にこのＳＦ大作が割れ易くないが据え切るとしたらその塩化ナトリウムは迷い易い fact22: あの弘法は口頭だ fact23: このＳＦ大作は四パターンであるかあるいは割れ易いかあるいはどちらもだ fact24: このＳＦ大作が皮膚病であるならその塩化ナトリウムは付載しないけどそれは膨らみ始める fact25: この電源供給は迷い易いしさらにサードオニキスである fact26: その塩化ナトリウムはに過ぎる ; $hypothesis$ = その塩化ナトリウムは迷い易いし四パターンだ ; $proof$ = 
void -> assump1: 以下のように仮定する。このＳＦ大作は割れ易い; fact7 & assump1 -> int1: そのアップルトークはに過ぎるということはないかもしくは愛読するかあるいは両方ともだ; int1 & fact13 -> int2: あの弘法は口頭でない; int2 & fact22 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「このＳＦ大作は割れ易くない」ということは本当である; int4 & fact15 -> int5: このＳＦ大作は割れ易くないが据え切る; int5 & fact21 -> int6: その塩化ナトリウムは迷い易い; int6 & fact6 -> hypothesis; __PROVED__
事実1: その塩化ナトリウムは四パターンでないか口頭であるかもしくはどちらもである
事実2: 「そのアップルトークは口頭である」ということは成り立つということはない
事実3: このＳＦ大作は口頭だ
事実4: そのアップルトークは四パターンでないかそれはに過ぎる
事実5: 「そのアップルトークは汚れ易い」ということは正しい
事実6: その塩化ナトリウムは四パターンである
事実7: もし仮にこのＳＦ大作が割れ易いとしたらそのアップルトークはに過ぎないかあるいは愛読する
事実8: あの弘法は黄みであるということはない
事実9: もしも何かは連続照射するなら「据え切るしまた口頭であるということはない」ということは誤りだ
事実10: そのアップルトークは据え切る
事実11: もしもそのアップルトークがに過ぎないがしかし四パターンならその塩化ナトリウムは迷い易い
事実12: 仮にそのアップルトークがに過ぎるならばあの塩化ナトリウムは口頭でないかもしくは四パターンであるかあるいはどちらもだ
事実13: もし仮にそのアップルトークがに過ぎないかあるいはそれが愛読するかあるいはどちらもであるとすればあの弘法は口頭でない
事実14: このＳＦ大作は迷い易いかあるいは据え切る
事実15: このＳＦ大作は据え切る
事実16: もしそのアップルトークが愛読するとすればあの弘法は口頭でない
事実17: あの弘法は割れ易い
事実18: そのアップルトークが愛読しないけどそれは割れ易いとしたら「このＳＦ大作は口頭である」ということは真実である
事実19: あの弘法は迷い易い
事実20: もしもある物は付載しないが膨らみ始めるとしたら連続照射する
事実21: もし仮にこのＳＦ大作が割れ易くないが据え切るとしたらその塩化ナトリウムは迷い易い
事実22: あの弘法は口頭だ
事実23: このＳＦ大作は四パターンであるかあるいは割れ易いかあるいはどちらもだ
事実24: このＳＦ大作が皮膚病であるならその塩化ナトリウムは付載しないけどそれは膨らみ始める
事実25: この電源供給は迷い易いしさらにサードオニキスである
事実26: その塩化ナトリウムはに過ぎる

仮説: その塩化ナトリウムは迷い易いし四パターンだ
1. 仮定1: 以下のように仮定する。このＳＦ大作は割れ易い
2. 事実7と仮定1から、推論1: "そのアップルトークはに過ぎるということはないかもしくは愛読するかあるいは両方ともだ"が導かれる
3. 推論1と事実13から、推論2: "あの弘法は口頭でない"が導かれる
4. 推論2と事実22から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「このＳＦ大作は割れ易くない」ということは本当である"が導かれる
6. 推論4と事実15から、推論5: "このＳＦ大作は割れ易くないが据え切る"が導かれる
7. 推論5と事実21から、推論6: "その塩化ナトリウムは迷い易い"が導かれる
8. 推論6と事実6から、仮説が導かれる

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