あの反訴は揺るぎないかもしくはＢＡＳＩＮでない
fact1: あの危険細胞が古めかしくないならばその木鉄混製は墨守しないしまた偏らない fact2: もしその新鋭が共同過程でないとすればこの修道女は歌い出すかまたはそれは喧しくない fact3: その腐臭が入力不可であるならばあの危険細胞は巡らす fact4: もしその腐臭が発見し得ればあの危険細胞は巡らす fact5: 「この紫キャベツは歌い出しないか強行するということはないかあるいは両方だ」ということは成り立たないとすればあの反訴は歌い出さない fact6: もしも「その新鋭は共同過程である」ということは事実であるなら美しいということはない fact7: もしも「あの反訴は歌い出さない」ということは確かだとするとその新鋭は共同過程であるかまたはＢＡＳＩＮだ fact8: もし仮にこの修道女は喧しくないならば「強行する」ということは本当だ fact9: 何らかのものは巡らすがテキスト要素でないとすればそれは古めかしくない fact10: この修道女は共同過程だ fact11: もしこの修道女が揺るぎないとしたらあの反訴はＢＡＳＩＮでない fact12: もし仮になにがしかの物が墨守しないかあるいはそれは揺るぎないかあるいは両方であるとすればそれは喧しくない fact13: もしも何かは歌い出すかあるいは喧しくないかあるいは両方ともだとしたらそれは強行する fact14: 「「その新鋭は美しい一方で排菌でない」ということは確かである」ということは成り立たない fact15: もしその新鋭が共同過程であるならばそれは美しくないしその上排菌でない fact16: 仮にその新鋭は墨守するとすると「美しくないしそれは排菌でない」ということは成り立たない fact17: その新鋭は墨守する fact18: その腐臭は発見し得るかまたは入力不可であるか両方である fact19: この修道女が強行するならあの反訴はＢＡＳＩＮだということはない fact20: 「あのシステム・アナリストは撓まないけれど根深い」ということは成り立たない fact21: 「あのシステム・アナリストは撓まない一方でそれは根深い」ということは成り立たないとするとあの危険細胞はテキスト要素でない
void -> assump1: 以下のように仮定する。その新鋭は共同過程である; fact15 & assump1 -> int1: その新鋭は美しくないししかもそれは排菌でない; fact16 & fact17 -> int2: 「その新鋭は美しくないし加えて排菌だということはない」ということは間違っている; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その新鋭は共同過程でない; int4 & fact2 -> int5: この修道女は歌い出すかもしくは喧しくないかまたは両方ともだ; fact13 -> int6: もし「この修道女は歌い出すかまたは喧しくないかまたは両方ともである」ということは嘘でないとしたらそれは強行する; int5 & int6 -> int7: この修道女は強行する; int7 & fact19 -> int8: あの反訴はＢＡＳＩＮだということはない; int8 -> hypothesis;
この修道女はＢＡＳＩＮだ
fact24 -> int9: もし仮にその木鉄混製が墨守しないかもしくはそれは揺るぎないかまたはどちらもであるなら「それは喧しくない」ということは嘘でない; fact23 -> int10: もし仮にあの危険細胞が巡らすがテキスト要素でないなら「古めかしくない」ということは本当だ; fact25 & fact22 & fact31 -> int11: 「あの危険細胞は巡らす」ということは確かである; fact28 & fact29 -> int12: あの危険細胞はテキスト要素でない; int11 & int12 -> int13: あの危険細胞は巡らす一方でテキスト要素でない; int10 & int13 -> int14: あの危険細胞は古めかしくない; fact26 & int14 -> int15: その木鉄混製は墨守しないし偏らない; int15 -> int16: その木鉄混製は墨守しない; int16 -> int17: その木鉄混製は墨守しないか揺るぎないかまたは両方だ; int9 & int17 -> int18: 「その木鉄混製は喧しいということはない」ということは事実である; int18 -> int19: 「「喧しくない」ということは本当な」物はある;
$facts$ = fact1: あの危険細胞が古めかしくないならばその木鉄混製は墨守しないしまた偏らない fact2: もしその新鋭が共同過程でないとすればこの修道女は歌い出すかまたはそれは喧しくない fact3: その腐臭が入力不可であるならばあの危険細胞は巡らす fact4: もしその腐臭が発見し得ればあの危険細胞は巡らす fact5: 「この紫キャベツは歌い出しないか強行するということはないかあるいは両方だ」ということは成り立たないとすればあの反訴は歌い出さない fact6: もしも「その新鋭は共同過程である」ということは事実であるなら美しいということはない fact7: もしも「あの反訴は歌い出さない」ということは確かだとするとその新鋭は共同過程であるかまたはＢＡＳＩＮだ fact8: もし仮にこの修道女は喧しくないならば「強行する」ということは本当だ fact9: 何らかのものは巡らすがテキスト要素でないとすればそれは古めかしくない fact10: この修道女は共同過程だ fact11: もしこの修道女が揺るぎないとしたらあの反訴はＢＡＳＩＮでない fact12: もし仮になにがしかの物が墨守しないかあるいはそれは揺るぎないかあるいは両方であるとすればそれは喧しくない fact13: もしも何かは歌い出すかあるいは喧しくないかあるいは両方ともだとしたらそれは強行する fact14: 「「その新鋭は美しい一方で排菌でない」ということは確かである」ということは成り立たない fact15: もしその新鋭が共同過程であるならばそれは美しくないしその上排菌でない fact16: 仮にその新鋭は墨守するとすると「美しくないしそれは排菌でない」ということは成り立たない fact17: その新鋭は墨守する fact18: その腐臭は発見し得るかまたは入力不可であるか両方である fact19: この修道女が強行するならあの反訴はＢＡＳＩＮだということはない fact20: 「あのシステム・アナリストは撓まないけれど根深い」ということは成り立たない fact21: 「あのシステム・アナリストは撓まない一方でそれは根深い」ということは成り立たないとするとあの危険細胞はテキスト要素でない ; $hypothesis$ = あの反訴は揺るぎないかもしくはＢＡＳＩＮでない ; $proof$ = 
void -> assump1: 以下のように仮定する。その新鋭は共同過程である; fact15 & assump1 -> int1: その新鋭は美しくないししかもそれは排菌でない; fact16 & fact17 -> int2: 「その新鋭は美しくないし加えて排菌だということはない」ということは間違っている; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その新鋭は共同過程でない; int4 & fact2 -> int5: この修道女は歌い出すかもしくは喧しくないかまたは両方ともだ; fact13 -> int6: もし「この修道女は歌い出すかまたは喧しくないかまたは両方ともである」ということは嘘でないとしたらそれは強行する; int5 & int6 -> int7: この修道女は強行する; int7 & fact19 -> int8: あの反訴はＢＡＳＩＮだということはない; int8 -> hypothesis; __PROVED__
事実1: あの危険細胞が古めかしくないならばその木鉄混製は墨守しないしまた偏らない
事実2: もしその新鋭が共同過程でないとすればこの修道女は歌い出すかまたはそれは喧しくない
事実3: その腐臭が入力不可であるならばあの危険細胞は巡らす
事実4: もしその腐臭が発見し得ればあの危険細胞は巡らす
事実5: 「この紫キャベツは歌い出しないか強行するということはないかあるいは両方だ」ということは成り立たないとすればあの反訴は歌い出さない
事実6: もしも「その新鋭は共同過程である」ということは事実であるなら美しいということはない
事実7: もしも「あの反訴は歌い出さない」ということは確かだとするとその新鋭は共同過程であるかまたはＢＡＳＩＮだ
事実8: もし仮にこの修道女は喧しくないならば「強行する」ということは本当だ
事実9: 何らかのものは巡らすがテキスト要素でないとすればそれは古めかしくない
事実10: この修道女は共同過程だ
事実11: もしこの修道女が揺るぎないとしたらあの反訴はＢＡＳＩＮでない
事実12: もし仮になにがしかの物が墨守しないかあるいはそれは揺るぎないかあるいは両方であるとすればそれは喧しくない
事実13: もしも何かは歌い出すかあるいは喧しくないかあるいは両方ともだとしたらそれは強行する
事実14: 「「その新鋭は美しい一方で排菌でない」ということは確かである」ということは成り立たない
事実15: もしその新鋭が共同過程であるならばそれは美しくないしその上排菌でない
事実16: 仮にその新鋭は墨守するとすると「美しくないしそれは排菌でない」ということは成り立たない
事実17: その新鋭は墨守する
事実18: その腐臭は発見し得るかまたは入力不可であるか両方である
事実19: この修道女が強行するならあの反訴はＢＡＳＩＮだということはない
事実20: 「あのシステム・アナリストは撓まないけれど根深い」ということは成り立たない
事実21: 「あのシステム・アナリストは撓まない一方でそれは根深い」ということは成り立たないとするとあの危険細胞はテキスト要素でない

仮説: あの反訴は揺るぎないかもしくはＢＡＳＩＮでない
1. 仮定1: 以下のように仮定する。その新鋭は共同過程である
2. 事実15と仮定1から、推論1: "その新鋭は美しくないししかもそれは排菌でない"が導かれる
3. 事実16と事実17から、推論2: "「その新鋭は美しくないし加えて排菌だということはない」ということは間違っている"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その新鋭は共同過程でない"が導かれる
6. 推論4と事実2から、推論5: "この修道女は歌い出すかもしくは喧しくないかまたは両方ともだ"が導かれる
7. 事実13から、推論6: "もし「この修道女は歌い出すかまたは喧しくないかまたは両方ともである」ということは嘘でないとしたらそれは強行する"が導かれる
8. 推論5と推論6から、推論7: "この修道女は強行する"が導かれる
9. 推論7と事実19から、推論8: "あの反訴はＢＡＳＩＮだということはない"が導かれる
10. 推論8から、仮説が導かれる

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