あの眼鏡犬は呆気なくない
fact1: もしあの干しえびが完全武装するし打ち尽くすとすればその混在は打ち尽くさない fact2: その牡蠣揚げは下地材である fact3: 「寝苦しいものは暗い」ということは間違っていない fact4: あのオリーブオイルは呆気ない fact5: あの混浴は寝苦しいがしかし宅地化しない fact6: その牡蠣揚げが呆気ないかまたは下地材であるということはないかあるいは両方であるとするとあの眼鏡犬は呆気なくない fact7: もしこの老人デイサービスセンターが暗いとすればあの干しえびはさり気無くない fact8: あの光ちゃんは下地材である fact9: この老人デイサービスセンターがさり気無くないならあの干しえびはさり気無くない fact10: 仮になにかはさり気無いということはないとすると完全武装するしそれは打ち尽くす fact11: その牡蠣揚げはブレンドする fact12: もしとあるものが打ち尽くすということはないなら笑い始めなくてしかもそれは認め難い fact13: あの眼鏡犬は四行分だということはない fact14: 仮になにがしかのものが暗いとすればこの老人デイサービスセンターは暗いかあるいはさり気無いということはない fact15: あの眼鏡犬は笑い始めるということはない fact16: あの眼鏡犬は下地材だということはない fact17: その牡蠣揚げが下地材だし笑い始める fact18: その牡蠣揚げがさり気無くないとするとそれは認め難いししかも打ち尽くす fact19: この余韻は呆気ない fact20: 仮にあの眼鏡犬が呆気なくないならばその牡蠣揚げは笑い始めない
void -> assump1: 以下のように仮定する。あの眼鏡犬は呆気ないということはない; fact20 & assump1 -> int1: その牡蠣揚げは笑い始めない; fact17 -> int2: その牡蠣揚げは笑い始める; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}{a}; fact20 & assump1 -> int1: ¬{B}{b}; fact17 -> int2: {B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
あの眼鏡犬は呆気なくない
fact24 -> int4: もし仮にその混在は打ち尽くさないならば「笑い始めないし認め難い」ということは本当である; fact23 -> int5: もし仮にあの干しえびがさり気無くないなら完全武装するしそれにそれは打ち尽くす; fact29 -> int6: あの混浴が寝苦しいなら暗い; fact22 -> int7: あの混浴は寝苦しい; int6 & int7 -> int8: 「あの混浴は暗い」ということは確かである; int8 -> int9: なにかは暗い; int9 & fact28 -> int10: この老人デイサービスセンターは暗いかまたはそれはさり気無いということはない; int10 & fact21 & fact26 -> int11: あの干しえびはさり気無くない; int5 & int11 -> int12: あの干しえびは完全武装するしかつそれは打ち尽くす; fact27 & int12 -> int13: その混在は打ち尽くさない; int4 & int13 -> int14: その混在は笑い始めないがしかしそれは認め難い; int14 -> int15: その混在は笑い始めない; int15 -> int16: 「笑い始めるということはない」物はある;
$facts$ = fact1: もしあの干しえびが完全武装するし打ち尽くすとすればその混在は打ち尽くさない fact2: その牡蠣揚げは下地材である fact3: 「寝苦しいものは暗い」ということは間違っていない fact4: あのオリーブオイルは呆気ない fact5: あの混浴は寝苦しいがしかし宅地化しない fact6: その牡蠣揚げが呆気ないかまたは下地材であるということはないかあるいは両方であるとするとあの眼鏡犬は呆気なくない fact7: もしこの老人デイサービスセンターが暗いとすればあの干しえびはさり気無くない fact8: あの光ちゃんは下地材である fact9: この老人デイサービスセンターがさり気無くないならあの干しえびはさり気無くない fact10: 仮になにかはさり気無いということはないとすると完全武装するしそれは打ち尽くす fact11: その牡蠣揚げはブレンドする fact12: もしとあるものが打ち尽くすということはないなら笑い始めなくてしかもそれは認め難い fact13: あの眼鏡犬は四行分だということはない fact14: 仮になにがしかのものが暗いとすればこの老人デイサービスセンターは暗いかあるいはさり気無いということはない fact15: あの眼鏡犬は笑い始めるということはない fact16: あの眼鏡犬は下地材だということはない fact17: その牡蠣揚げが下地材だし笑い始める fact18: その牡蠣揚げがさり気無くないとするとそれは認め難いししかも打ち尽くす fact19: この余韻は呆気ない fact20: 仮にあの眼鏡犬が呆気なくないならばその牡蠣揚げは笑い始めない ; $hypothesis$ = あの眼鏡犬は呆気なくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの眼鏡犬は呆気ないということはない; fact20 & assump1 -> int1: その牡蠣揚げは笑い始めない; fact17 -> int2: その牡蠣揚げは笑い始める; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もしあの干しえびが完全武装するし打ち尽くすとすればその混在は打ち尽くさない
事実2: その牡蠣揚げは下地材である
事実3: 「寝苦しいものは暗い」ということは間違っていない
事実4: あのオリーブオイルは呆気ない
事実5: あの混浴は寝苦しいがしかし宅地化しない
事実6: その牡蠣揚げが呆気ないかまたは下地材であるということはないかあるいは両方であるとするとあの眼鏡犬は呆気なくない
事実7: もしこの老人デイサービスセンターが暗いとすればあの干しえびはさり気無くない
事実8: あの光ちゃんは下地材である
事実9: この老人デイサービスセンターがさり気無くないならあの干しえびはさり気無くない
事実10: 仮になにかはさり気無いということはないとすると完全武装するしそれは打ち尽くす
事実11: その牡蠣揚げはブレンドする
事実12: もしとあるものが打ち尽くすということはないなら笑い始めなくてしかもそれは認め難い
事実13: あの眼鏡犬は四行分だということはない
事実14: 仮になにがしかのものが暗いとすればこの老人デイサービスセンターは暗いかあるいはさり気無いということはない
事実15: あの眼鏡犬は笑い始めるということはない
事実16: あの眼鏡犬は下地材だということはない
事実17: その牡蠣揚げが下地材だし笑い始める
事実18: その牡蠣揚げがさり気無くないとするとそれは認め難いししかも打ち尽くす
事実19: この余韻は呆気ない
事実20: 仮にあの眼鏡犬が呆気なくないならばその牡蠣揚げは笑い始めない

仮説: あの眼鏡犬は呆気なくない
1. 仮定1: 以下のように仮定する。あの眼鏡犬は呆気ないということはない
2. 事実20と仮定1から、推論1: "その牡蠣揚げは笑い始めない"が導かれる
3. 事実17から、推論2: "その牡蠣揚げは笑い始める"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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