「もし仮にその搬出確認登録Ｅが放送設備でないならこの今気はすごーいということはない」ということは成り立たない
fact1: この今気は品定めする fact2: 「この良否は狆でない」ということは成り立つ fact3: あの流花寨はすごーくない fact4: この居食いは選任出来ない fact5: あのシールド機が酸っぱくないとするとこの居食いは狆であるが酸っぱくない fact6: もしその搬出確認登録Ｅが酸っぱいがしかし狆でないとすればあの居食いは放送設備である fact7: そのメゾ・ソプラノは酸っぱい fact8: あのシールド機はすごーいということはない fact9: あのプリックテストはすごーいということはない fact10: この居食いがすごーいが酸っぱいということはないとするとあのシールド機は狆でない fact11: この居食いが狆だけど放送設備でない fact12: 仮にあのシールド機が狆であるということはないとすればあの居食いは酸っぱい fact13: もしあのシールド機が狆でないならばあの居食いは酸っぱくない fact14: その搬出確認登録Ｅが酸っぱくないとしたらあのシールド機は放送設備だけれど酸っぱくない fact15: この今気は狆であるということはない fact16: もしもあのシールド機が酸っぱいとしたらその搬出確認登録Ｅは放送設備である fact17: もしその搬出確認登録Ｅが狆でないならばこの居食いは狆であるということはない fact18: この居食いが狆だ一方で酸っぱくないならこの今気はすごーいということはない fact19: その搬出確認登録Ｅが放送設備ならばあの今気はすごーくない fact20: 仮にその搬出確認登録Ｅが酸っぱいけれど放送設備でないならあのシールド機はすごーくない fact21: もしもあのシールド機が放送設備であるしさらに酸っぱいならその搬出確認登録Ｅはすごーくない fact22: この今気は酸っぱい
void -> assump2: 以下のように仮定する。「あのシールド機は酸っぱい」ということは正しい; fact16 & assump2 -> int1: その搬出確認登録Ｅは放送設備である; void -> assump1: 以下のように仮定する。その搬出確認登録Ｅは放送設備でない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: あのシールド機は酸っぱくない; int3 & fact5 -> int4: この居食いは狆だが酸っぱくない; int4 & fact18 -> int5: この今気はすごーくない; [assump1] & int5 -> hypothesis;
$facts$ = fact1: この今気は品定めする fact2: 「この良否は狆でない」ということは成り立つ fact3: あの流花寨はすごーくない fact4: この居食いは選任出来ない fact5: あのシールド機が酸っぱくないとするとこの居食いは狆であるが酸っぱくない fact6: もしその搬出確認登録Ｅが酸っぱいがしかし狆でないとすればあの居食いは放送設備である fact7: そのメゾ・ソプラノは酸っぱい fact8: あのシールド機はすごーいということはない fact9: あのプリックテストはすごーいということはない fact10: この居食いがすごーいが酸っぱいということはないとするとあのシールド機は狆でない fact11: この居食いが狆だけど放送設備でない fact12: 仮にあのシールド機が狆であるということはないとすればあの居食いは酸っぱい fact13: もしあのシールド機が狆でないならばあの居食いは酸っぱくない fact14: その搬出確認登録Ｅが酸っぱくないとしたらあのシールド機は放送設備だけれど酸っぱくない fact15: この今気は狆であるということはない fact16: もしもあのシールド機が酸っぱいとしたらその搬出確認登録Ｅは放送設備である fact17: もしその搬出確認登録Ｅが狆でないならばこの居食いは狆であるということはない fact18: この居食いが狆だ一方で酸っぱくないならこの今気はすごーいということはない fact19: その搬出確認登録Ｅが放送設備ならばあの今気はすごーくない fact20: 仮にその搬出確認登録Ｅが酸っぱいけれど放送設備でないならあのシールド機はすごーくない fact21: もしもあのシールド機が放送設備であるしさらに酸っぱいならその搬出確認登録Ｅはすごーくない fact22: この今気は酸っぱい ; $hypothesis$ = 「もし仮にその搬出確認登録Ｅが放送設備でないならこの今気はすごーいということはない」ということは成り立たない ; $proof$ = 
void -> assump2: 以下のように仮定する。「あのシールド機は酸っぱい」ということは正しい; fact16 & assump2 -> int1: その搬出確認登録Ｅは放送設備である; void -> assump1: 以下のように仮定する。その搬出確認登録Ｅは放送設備でない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: あのシールド機は酸っぱくない; int3 & fact5 -> int4: この居食いは狆だが酸っぱくない; int4 & fact18 -> int5: この今気はすごーくない; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: この今気は品定めする
事実2: 「この良否は狆でない」ということは成り立つ
事実3: あの流花寨はすごーくない
事実4: この居食いは選任出来ない
事実5: あのシールド機が酸っぱくないとするとこの居食いは狆であるが酸っぱくない
事実6: もしその搬出確認登録Ｅが酸っぱいがしかし狆でないとすればあの居食いは放送設備である
事実7: そのメゾ・ソプラノは酸っぱい
事実8: あのシールド機はすごーいということはない
事実9: あのプリックテストはすごーいということはない
事実10: この居食いがすごーいが酸っぱいということはないとするとあのシールド機は狆でない
事実11: この居食いが狆だけど放送設備でない
事実12: 仮にあのシールド機が狆であるということはないとすればあの居食いは酸っぱい
事実13: もしあのシールド機が狆でないならばあの居食いは酸っぱくない
事実14: その搬出確認登録Ｅが酸っぱくないとしたらあのシールド機は放送設備だけれど酸っぱくない
事実15: この今気は狆であるということはない
事実16: もしもあのシールド機が酸っぱいとしたらその搬出確認登録Ｅは放送設備である
事実17: もしその搬出確認登録Ｅが狆でないならばこの居食いは狆であるということはない
事実18: この居食いが狆だ一方で酸っぱくないならこの今気はすごーいということはない
事実19: その搬出確認登録Ｅが放送設備ならばあの今気はすごーくない
事実20: 仮にその搬出確認登録Ｅが酸っぱいけれど放送設備でないならあのシールド機はすごーくない
事実21: もしもあのシールド機が放送設備であるしさらに酸っぱいならその搬出確認登録Ｅはすごーくない
事実22: この今気は酸っぱい

仮説: 「もし仮にその搬出確認登録Ｅが放送設備でないならこの今気はすごーいということはない」ということは成り立たない
1. 仮定2: 以下のように仮定する。「あのシールド機は酸っぱい」ということは正しい
2. 事実16と仮定2から、推論1: "その搬出確認登録Ｅは放送設備である"が導かれる
3. 仮定1: 以下のように仮定する。その搬出確認登録Ｅは放送設備でない
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "あのシールド機は酸っぱくない"が導かれる
6. 推論3と事実5から、推論4: "この居食いは狆だが酸っぱくない"が導かれる
7. 推論4と事実18から、推論5: "この今気はすごーくない"が導かれる
8. [仮定1]と推論5から、仮説が否定される

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