あのサイレンサー外径はつれないということはない
fact1: もしもある物がつれなくないとしたら吹き易いししかも強打しない fact2: もしなにかは連絡出来るということはないなら怖い一方でデータベースシステムでない fact3: あのκＹは抗い難くない fact4: 仮にあのサイレンサー外径は吹き易いけれど強打しないとしたらそれは除去する fact5: あのサイレンサー外径は抗い難い fact6: あのサイレンサー外径はコレステロール低下剤だ fact7: あの商品名は強打する fact8: 仮にあのサイレンサー外径が御守りするとしたらそれは抗い難くないし加えてそれは除去しない fact9: あのκＹは除去しない fact10: 仮にあのκＹは強打するけれど除去しないならそれは抗い難い fact11: あのサイレンサー外径が吹き易くないならそれは抗い難いがしかし除去しない fact12: 「あのκＹは吹き易い」ということは本当だとすればあのサイレンサー外径は除去する fact13: あのκＹが再分配政策だけど強打しない fact14: もしあのサイレンサー外径が吹き易くないならそれは抗い難くない fact15: もしもあのサイレンサー外径が除去するとしたらあのκＹは抗い難い fact16: あのκＹは吹き易くない fact17: 仮にあのκＹが抗い難いしその上強打するならそれは吹き易い fact18: あのκＹは措置法令でない
fact1 -> int1: もし仮にあのサイレンサー外径がつれなくないとすると吹き易い一方で強打しない; void -> assump1: 以下のように仮定する。あのサイレンサー外径はつれないということはない; int1 & assump1 -> int2: あのサイレンサー外径は吹き易い一方で強打しない; int2 & fact4 -> int3: 「あのサイレンサー外径は除去する」ということは成り立つ; int3 & fact15 -> int4: 「あのκＹは抗い難い」ということは成り立つ; int4 & fact3 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
あのサイレンサー外径はつれなくない
$facts$ = fact1: もしもある物がつれなくないとしたら吹き易いししかも強打しない fact2: もしなにかは連絡出来るということはないなら怖い一方でデータベースシステムでない fact3: あのκＹは抗い難くない fact4: 仮にあのサイレンサー外径は吹き易いけれど強打しないとしたらそれは除去する fact5: あのサイレンサー外径は抗い難い fact6: あのサイレンサー外径はコレステロール低下剤だ fact7: あの商品名は強打する fact8: 仮にあのサイレンサー外径が御守りするとしたらそれは抗い難くないし加えてそれは除去しない fact9: あのκＹは除去しない fact10: 仮にあのκＹは強打するけれど除去しないならそれは抗い難い fact11: あのサイレンサー外径が吹き易くないならそれは抗い難いがしかし除去しない fact12: 「あのκＹは吹き易い」ということは本当だとすればあのサイレンサー外径は除去する fact13: あのκＹが再分配政策だけど強打しない fact14: もしあのサイレンサー外径が吹き易くないならそれは抗い難くない fact15: もしもあのサイレンサー外径が除去するとしたらあのκＹは抗い難い fact16: あのκＹは吹き易くない fact17: 仮にあのκＹが抗い難いしその上強打するならそれは吹き易い fact18: あのκＹは措置法令でない ; $hypothesis$ = あのサイレンサー外径はつれないということはない ; $proof$ = 
fact1 -> int1: もし仮にあのサイレンサー外径がつれなくないとすると吹き易い一方で強打しない; void -> assump1: 以下のように仮定する。あのサイレンサー外径はつれないということはない; int1 & assump1 -> int2: あのサイレンサー外径は吹き易い一方で強打しない; int2 & fact4 -> int3: 「あのサイレンサー外径は除去する」ということは成り立つ; int3 & fact15 -> int4: 「あのκＹは抗い難い」ということは成り立つ; int4 & fact3 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: もしもある物がつれなくないとしたら吹き易いししかも強打しない
事実2: もしなにかは連絡出来るということはないなら怖い一方でデータベースシステムでない
事実3: あのκＹは抗い難くない
事実4: 仮にあのサイレンサー外径は吹き易いけれど強打しないとしたらそれは除去する
事実5: あのサイレンサー外径は抗い難い
事実6: あのサイレンサー外径はコレステロール低下剤だ
事実7: あの商品名は強打する
事実8: 仮にあのサイレンサー外径が御守りするとしたらそれは抗い難くないし加えてそれは除去しない
事実9: あのκＹは除去しない
事実10: 仮にあのκＹは強打するけれど除去しないならそれは抗い難い
事実11: あのサイレンサー外径が吹き易くないならそれは抗い難いがしかし除去しない
事実12: 「あのκＹは吹き易い」ということは本当だとすればあのサイレンサー外径は除去する
事実13: あのκＹが再分配政策だけど強打しない
事実14: もしあのサイレンサー外径が吹き易くないならそれは抗い難くない
事実15: もしもあのサイレンサー外径が除去するとしたらあのκＹは抗い難い
事実16: あのκＹは吹き易くない
事実17: 仮にあのκＹが抗い難いしその上強打するならそれは吹き易い
事実18: あのκＹは措置法令でない

仮説: あのサイレンサー外径はつれないということはない
1. 事実1から、推論1: "もし仮にあのサイレンサー外径がつれなくないとすると吹き易い一方で強打しない"が導かれる
2. 仮定1: 以下のように仮定する。あのサイレンサー外径はつれないということはない
3. 推論1と仮定1から、推論2: "あのサイレンサー外径は吹き易い一方で強打しない"が導かれる
4. 推論2と事実4から、推論3: "「あのサイレンサー外径は除去する」ということは成り立つ"が導かれる
5. 推論3と事実15から、推論4: "「あのκＹは抗い難い」ということは成り立つ"が導かれる
6. 推論4と事実3から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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