あの荷下ろしは物珍しい
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: もしもあのマルチフォーマットカメラが中央レーンでないならその五人兄弟は花魁達でおまけに柔い
fact13 -> int1: あのマルチフォーマットカメラは花魁達である; int1 & fact7 -> int2: 「このデータインプットプロシージャは柔くないかもしくは花魁達であるかもしくは両方だ」ということは成り立つということはない; int2 -> int3: 「「柔くないかあるいは花魁達であるかもしくはどちらもだ」ということは成り立つということはない」ものはある; int3 & fact14 -> int4: その五人兄弟は中央レーンだ; int4 & fact19 -> int5: その竜華寺はエイブ・ダンフォースである; int5 & fact21 -> int6: そのタウヒードは揉みしだく; int6 & fact2 -> int7: そのタウヒードは揉みしだくしクレンジングだ; int7 & fact15 -> hypothesis;
その五人兄弟は狡賢いし柔い
fact28 -> int8: 仮にその五人兄弟がクレンジングであるとするとそれは狡賢くてそれは軍事的威嚇でない; fact27 -> int9: 「このデータインプットプロシージャはエイブ・ダンフォースでないけれど揉みしだく」ということは偽だ; int9 -> int10: 「「エイブ・ダンフォースでなくてかつ揉みしだく」ということは嘘である」ものはある; int10 & fact30 -> int11: あのマルチフォーマットカメラは中央レーンでない; fact29 & int11 -> int12: その五人兄弟は花魁達であるしそれは柔い; int12 -> int13: その五人兄弟は柔い;
$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$ = 
fact13 -> int1: あのマルチフォーマットカメラは花魁達である; int1 & fact7 -> int2: 「このデータインプットプロシージャは柔くないかもしくは花魁達であるかもしくは両方だ」ということは成り立つということはない; int2 -> int3: 「「柔くないかあるいは花魁達であるかもしくはどちらもだ」ということは成り立つということはない」ものはある; int3 & fact14 -> int4: その五人兄弟は中央レーンだ; int4 & fact19 -> int5: その竜華寺はエイブ・ダンフォースである; int5 & fact21 -> int6: そのタウヒードは揉みしだく; int6 & fact2 -> int7: そのタウヒードは揉みしだくしクレンジングだ; int7 & fact15 -> hypothesis; __DISPROVED__
事実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. 事実13から、推論1: "あのマルチフォーマットカメラは花魁達である"が導かれる
2. 推論1と事実7から、推論2: "「このデータインプットプロシージャは柔くないかもしくは花魁達であるかもしくは両方だ」ということは成り立つということはない"が導かれる
3. 推論2から、推論3: "「「柔くないかあるいは花魁達であるかもしくはどちらもだ」ということは成り立つということはない」ものはある"が導かれる
4. 推論3と事実14から、推論4: "その五人兄弟は中央レーンだ"が導かれる
5. 推論4と事実19から、推論5: "その竜華寺はエイブ・ダンフォースである"が導かれる
6. 推論5と事実21から、推論6: "そのタウヒードは揉みしだく"が導かれる
7. 推論6と事実2から、推論7: "そのタウヒードは揉みしだくしクレンジングだ"が導かれる
8. 推論7と事実15から、仮説が否定される

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