あの文字カーソルは粗い
fact1: あの文字カーソルは生卵でないなら「そのサンクチュアリは生卵でない一方で差し出がましい」ということは誤りである fact2: そのサンクチュアリは生卵でないけれど差し出がましい fact3: もしなんらかの物は妊産婦でないとすると「それは粗いしゼッケンである」ということは成り立たない fact4: あるものはゼッケンでないとすると「据え付けないしそれに犯し難い」ということは誤っている fact5: もし仮に「その植民地政策はゼッケンだ」ということは誤りだとすると「それは粗くないけれど妊産婦だ」ということは偽である fact6: あのサービス活動は居辛い fact7: もし仮に「その取り組み得点は待ち合わせないしおまけにメーキャップでない」ということは成り立たないとすればあの文字カーソルは妊産婦であるということはない fact8: その植民地政策はゼッケンである fact9: もし仮に組織犯罪は平たいとすると「それは差し出がましかない」ということは成り立つ fact10: もしその植民地政策はゼッケンだとしたら「その取り組み得点は待ち合わせないしメーキャップでない」ということは嘘だ fact11: あのサービス活動は対抗す fact12: もし「あのサービス活動は居辛い」ということは事実であるとすると組織犯罪である fact13: 「なにかは差し出がましかない」ということは偽であるということはないとするとそれは妊産婦でないしおまけにそれは生卵でない fact14: あの文字カーソルはメーキャップだ fact15: もしも「とあるものは粗いしその上ゼッケンだ」ということは成り立たないならゼッケンでない fact16: もし仮にその取り組み得点はメーキャップであるとすると「あの文字カーソルは妊産婦であるということはない」ということは正しい fact17: 仮になんらかの物が妊産婦でないがしかしそれが粗いならば生卵でない fact18: あのサービス活動が対抗すればそれは平たい fact19: 「その取り組み得点は待ち合わせるということはないけれどそれはメーキャップだ」ということは成り立たない fact20: その植民地政策はゼッケンであるとすれば「その取り組み得点は待ち合わせないがしかしそれはメーキャップだ」ということは成り立たない fact21: そのサンクチュアリは差し出がましい
fact10 & fact8 -> int1: 「その取り組み得点は待ち合わせるということはないし更にそれはメーキャップでない」ということは成り立たない; int1 & fact7 -> int2: あの文字カーソルは妊産婦でない; void -> assump1: 以下のように仮定する。あの文字カーソルは粗い; int2 & assump1 -> int3: あの文字カーソルは妊産婦でないが粗い; fact17 -> int4: あの文字カーソルは妊産婦でないがしかし粗いなら生卵でない; int3 & int4 -> int5: あの文字カーソルは生卵でない; int5 & fact1 -> int6: 「「そのサンクチュアリは生卵であるということはないけれど差し出がましい」ということは誤っている」ということは真実である; int6 & fact2 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
「「あのサービス活動は据え付けない一方で犯し難い」ということは成り立たない」ということは事実である
fact30 -> int8: もし仮にあのサービス活動はゼッケンでないとすれば「それは据え付けないが犯し難い」ということは誤っている; fact27 -> int9: もしも「あのサービス活動は粗くてゼッケンである」ということは事実と異なるとしたら「それはゼッケンでない」ということは成り立つ; fact25 -> int10: もし仮にあのサービス活動は妊産婦でないとすると「粗くてゼッケンである」ということは嘘だ; fact23 -> int11: 仮にあのサービス活動が差し出がましかないならば妊産婦でないしまた生卵でない; fact24 -> int12: もし仮にあのサービス活動が組織犯罪であるしそれに平たいとするとそれは差し出がましかない; fact22 & fact29 -> int13: 「あのサービス活動は組織犯罪だ」ということは成り立つ; fact26 & fact28 -> int14: あのサービス活動は平たい; int13 & int14 -> int15: あのサービス活動は組織犯罪であるしそれにそれは平たい; int12 & int15 -> int16: あのサービス活動は差し出がましかない; int11 & int16 -> int17: あのサービス活動は妊産婦でなくて生卵でない; int17 -> int18: あのサービス活動は妊産婦でない; int10 & int18 -> int19: 「あのサービス活動は粗くてさらにそれはゼッケンである」ということは偽である; int9 & int19 -> int20: あのサービス活動はゼッケンでない; int8 & int20 -> hypothesis;
$facts$ = fact1: あの文字カーソルは生卵でないなら「そのサンクチュアリは生卵でない一方で差し出がましい」ということは誤りである fact2: そのサンクチュアリは生卵でないけれど差し出がましい fact3: もしなんらかの物は妊産婦でないとすると「それは粗いしゼッケンである」ということは成り立たない fact4: あるものはゼッケンでないとすると「据え付けないしそれに犯し難い」ということは誤っている fact5: もし仮に「その植民地政策はゼッケンだ」ということは誤りだとすると「それは粗くないけれど妊産婦だ」ということは偽である fact6: あのサービス活動は居辛い fact7: もし仮に「その取り組み得点は待ち合わせないしおまけにメーキャップでない」ということは成り立たないとすればあの文字カーソルは妊産婦であるということはない fact8: その植民地政策はゼッケンである fact9: もし仮に組織犯罪は平たいとすると「それは差し出がましかない」ということは成り立つ fact10: もしその植民地政策はゼッケンだとしたら「その取り組み得点は待ち合わせないしメーキャップでない」ということは嘘だ fact11: あのサービス活動は対抗す fact12: もし「あのサービス活動は居辛い」ということは事実であるとすると組織犯罪である fact13: 「なにかは差し出がましかない」ということは偽であるということはないとするとそれは妊産婦でないしおまけにそれは生卵でない fact14: あの文字カーソルはメーキャップだ fact15: もしも「とあるものは粗いしその上ゼッケンだ」ということは成り立たないならゼッケンでない fact16: もし仮にその取り組み得点はメーキャップであるとすると「あの文字カーソルは妊産婦であるということはない」ということは正しい fact17: 仮になんらかの物が妊産婦でないがしかしそれが粗いならば生卵でない fact18: あのサービス活動が対抗すればそれは平たい fact19: 「その取り組み得点は待ち合わせるということはないけれどそれはメーキャップだ」ということは成り立たない fact20: その植民地政策はゼッケンであるとすれば「その取り組み得点は待ち合わせないがしかしそれはメーキャップだ」ということは成り立たない fact21: そのサンクチュアリは差し出がましい ; $hypothesis$ = あの文字カーソルは粗い ; $proof$ = 
fact10 & fact8 -> int1: 「その取り組み得点は待ち合わせるということはないし更にそれはメーキャップでない」ということは成り立たない; int1 & fact7 -> int2: あの文字カーソルは妊産婦でない; void -> assump1: 以下のように仮定する。あの文字カーソルは粗い; int2 & assump1 -> int3: あの文字カーソルは妊産婦でないが粗い; fact17 -> int4: あの文字カーソルは妊産婦でないがしかし粗いなら生卵でない; int3 & int4 -> int5: あの文字カーソルは生卵でない; int5 & fact1 -> int6: 「「そのサンクチュアリは生卵であるということはないけれど差し出がましい」ということは誤っている」ということは真実である; int6 & fact2 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: あの文字カーソルは生卵でないなら「そのサンクチュアリは生卵でない一方で差し出がましい」ということは誤りである
事実2: そのサンクチュアリは生卵でないけれど差し出がましい
事実3: もしなんらかの物は妊産婦でないとすると「それは粗いしゼッケンである」ということは成り立たない
事実4: あるものはゼッケンでないとすると「据え付けないしそれに犯し難い」ということは誤っている
事実5: もし仮に「その植民地政策はゼッケンだ」ということは誤りだとすると「それは粗くないけれど妊産婦だ」ということは偽である
事実6: あのサービス活動は居辛い
事実7: もし仮に「その取り組み得点は待ち合わせないしおまけにメーキャップでない」ということは成り立たないとすればあの文字カーソルは妊産婦であるということはない
事実8: その植民地政策はゼッケンである
事実9: もし仮に組織犯罪は平たいとすると「それは差し出がましかない」ということは成り立つ
事実10: もしその植民地政策はゼッケンだとしたら「その取り組み得点は待ち合わせないしメーキャップでない」ということは嘘だ
事実11: あのサービス活動は対抗す
事実12: もし「あのサービス活動は居辛い」ということは事実であるとすると組織犯罪である
事実13: 「なにかは差し出がましかない」ということは偽であるということはないとするとそれは妊産婦でないしおまけにそれは生卵でない
事実14: あの文字カーソルはメーキャップだ
事実15: もしも「とあるものは粗いしその上ゼッケンだ」ということは成り立たないならゼッケンでない
事実16: もし仮にその取り組み得点はメーキャップであるとすると「あの文字カーソルは妊産婦であるということはない」ということは正しい
事実17: 仮になんらかの物が妊産婦でないがしかしそれが粗いならば生卵でない
事実18: あのサービス活動が対抗すればそれは平たい
事実19: 「その取り組み得点は待ち合わせるということはないけれどそれはメーキャップだ」ということは成り立たない
事実20: その植民地政策はゼッケンであるとすれば「その取り組み得点は待ち合わせないがしかしそれはメーキャップだ」ということは成り立たない
事実21: そのサンクチュアリは差し出がましい

仮説: あの文字カーソルは粗い
1. 事実10と事実8から、推論1: "「その取り組み得点は待ち合わせるということはないし更にそれはメーキャップでない」ということは成り立たない"が導かれる
2. 推論1と事実7から、推論2: "あの文字カーソルは妊産婦でない"が導かれる
3. 仮定1: 以下のように仮定する。あの文字カーソルは粗い
4. 推論2と仮定1から、推論3: "あの文字カーソルは妊産婦でないが粗い"が導かれる
5. 事実17から、推論4: "あの文字カーソルは妊産婦でないがしかし粗いなら生卵でない"が導かれる
6. 推論3と推論4から、推論5: "あの文字カーソルは生卵でない"が導かれる
7. 推論5と事実1から、推論6: "「「そのサンクチュアリは生卵であるということはないけれど差し出がましい」ということは誤っている」ということは真実である"が導かれる
8. 推論6と事実2から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

よって、仮説が否定されました。