「「汚らしいししかも射撃するということはない」ものはある」ということは間違いだ
fact1: 「ロイヤルソブリンでない」物はある fact2: 仮に「照れない」物があるとしたらあの口頭は汚らしいけど射撃するということはない fact3: 「確保し得る」ものはある fact4: 「無人化するということはない」物はある fact5: 「汚らしくて射撃する」ものはある fact6: あの口頭は射撃しない fact7: 「汚らしい」物はある fact8: もし「届き易くない」物があればあの口頭は第二管区隊であるがしかし照れない fact9: 何らかの物は確保し得ない fact10: なんらかのものが夢見ないならばあの口頭は射撃しない fact11: 「照れない」ものはある fact12: 「射撃しない」物はある fact13: もし仮に何かは手強くないとするとあの口頭は汚らしくない
fact11 & fact2 -> int1: あの口頭は汚らしいがしかし射撃しない; int1 -> hypothesis;
$facts$ = fact1: 「ロイヤルソブリンでない」物はある fact2: 仮に「照れない」物があるとしたらあの口頭は汚らしいけど射撃するということはない fact3: 「確保し得る」ものはある fact4: 「無人化するということはない」物はある fact5: 「汚らしくて射撃する」ものはある fact6: あの口頭は射撃しない fact7: 「汚らしい」物はある fact8: もし「届き易くない」物があればあの口頭は第二管区隊であるがしかし照れない fact9: 何らかの物は確保し得ない fact10: なんらかのものが夢見ないならばあの口頭は射撃しない fact11: 「照れない」ものはある fact12: 「射撃しない」物はある fact13: もし仮に何かは手強くないとするとあの口頭は汚らしくない ; $hypothesis$ = 「「汚らしいししかも射撃するということはない」ものはある」ということは間違いだ ; $proof$ = 
fact11 & fact2 -> int1: あの口頭は汚らしいがしかし射撃しない; int1 -> hypothesis; __DISPROVED__
事実1: 「ロイヤルソブリンでない」物はある
事実2: 仮に「照れない」物があるとしたらあの口頭は汚らしいけど射撃するということはない
事実3: 「確保し得る」ものはある
事実4: 「無人化するということはない」物はある
事実5: 「汚らしくて射撃する」ものはある
事実6: あの口頭は射撃しない
事実7: 「汚らしい」物はある
事実8: もし「届き易くない」物があればあの口頭は第二管区隊であるがしかし照れない
事実9: 何らかの物は確保し得ない
事実10: なんらかのものが夢見ないならばあの口頭は射撃しない
事実11: 「照れない」ものはある
事実12: 「射撃しない」物はある
事実13: もし仮に何かは手強くないとするとあの口頭は汚らしくない

仮説: 「「汚らしいししかも射撃するということはない」ものはある」ということは間違いだ
1. 事実11と事実2から、推論1: "あの口頭は汚らしいがしかし射撃しない"が導かれる
2. 推論1から、仮説が否定される

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