「仮にあのＥ社が放すならばあの手形訴訟は微笑ましい」ということは成り立たない
fact1: あのＥ社が御寒いということはないとするとあの両書は放さない fact2: その屁っ放り腰は微笑ましいということはない fact3: 「温かくない」物はある fact4: もしあの手形訴訟が微笑ましいということはないとしたらあの両書は御寒いということはないし加えて堅苦しくない fact5: 何らかの物は微笑ましいということはないけど放す fact6: 御寒くないものが堅苦しくないならあのＥ社は放さない fact7: 「あの両書は微笑ましい」ということは本当である fact8: その継承は堅苦しいということはない fact9: あのＥ社は堅苦しいということはない fact10: なにかは御寒くない fact11: 仮に何らかの物が御寒くないしまた放さないとするとあの手形訴訟は微笑ましかない fact12: あの両書は放さない fact13: あの富国強兵は御寒くない fact14: もしあのＥ社が括らないとするとあの両書は放すしさらにそれは微笑ましい fact15: あの両書は放さないし御寒くない fact16: あの両書は告げ口するということはない fact17: 御寒くないし微笑ましくらない物はある fact18: 仮にあの両書が微笑ましいとするとあの手形訴訟は新生しないし離れ難くない fact19: なんらかの物は微笑ましくらない一方で御寒い
void -> assump1: 以下のように仮定する。あの手形訴訟は微笑ましかない; fact4 & assump1 -> int1: あの両書は御寒くないし加えて堅苦しくない; int1 -> int2: 「御寒くないし堅苦しくない」ものはある; int2 & fact6 -> int3: あのＥ社は放さない; void -> assump2: 以下のように仮定する。あのＥ社は放す; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの手形訴訟は微笑ましい; [assump2] & int5 -> hypothesis;
とあるものは新生しないしその上それは離れ難くない
$facts$ = fact1: あのＥ社が御寒いということはないとするとあの両書は放さない fact2: その屁っ放り腰は微笑ましいということはない fact3: 「温かくない」物はある fact4: もしあの手形訴訟が微笑ましいということはないとしたらあの両書は御寒いということはないし加えて堅苦しくない fact5: 何らかの物は微笑ましいということはないけど放す fact6: 御寒くないものが堅苦しくないならあのＥ社は放さない fact7: 「あの両書は微笑ましい」ということは本当である fact8: その継承は堅苦しいということはない fact9: あのＥ社は堅苦しいということはない fact10: なにかは御寒くない fact11: 仮に何らかの物が御寒くないしまた放さないとするとあの手形訴訟は微笑ましかない fact12: あの両書は放さない fact13: あの富国強兵は御寒くない fact14: もしあのＥ社が括らないとするとあの両書は放すしさらにそれは微笑ましい fact15: あの両書は放さないし御寒くない fact16: あの両書は告げ口するということはない fact17: 御寒くないし微笑ましくらない物はある fact18: 仮にあの両書が微笑ましいとするとあの手形訴訟は新生しないし離れ難くない fact19: なんらかの物は微笑ましくらない一方で御寒い ; $hypothesis$ = 「仮にあのＥ社が放すならばあの手形訴訟は微笑ましい」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの手形訴訟は微笑ましかない; fact4 & assump1 -> int1: あの両書は御寒くないし加えて堅苦しくない; int1 -> int2: 「御寒くないし堅苦しくない」ものはある; int2 & fact6 -> int3: あのＥ社は放さない; void -> assump2: 以下のように仮定する。あのＥ社は放す; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの手形訴訟は微笑ましい; [assump2] & int5 -> hypothesis; __DISPROVED__
事実1: あのＥ社が御寒いということはないとするとあの両書は放さない
事実2: その屁っ放り腰は微笑ましいということはない
事実3: 「温かくない」物はある
事実4: もしあの手形訴訟が微笑ましいということはないとしたらあの両書は御寒いということはないし加えて堅苦しくない
事実5: 何らかの物は微笑ましいということはないけど放す
事実6: 御寒くないものが堅苦しくないならあのＥ社は放さない
事実7: 「あの両書は微笑ましい」ということは本当である
事実8: その継承は堅苦しいということはない
事実9: あのＥ社は堅苦しいということはない
事実10: なにかは御寒くない
事実11: 仮に何らかの物が御寒くないしまた放さないとするとあの手形訴訟は微笑ましかない
事実12: あの両書は放さない
事実13: あの富国強兵は御寒くない
事実14: もしあのＥ社が括らないとするとあの両書は放すしさらにそれは微笑ましい
事実15: あの両書は放さないし御寒くない
事実16: あの両書は告げ口するということはない
事実17: 御寒くないし微笑ましくらない物はある
事実18: 仮にあの両書が微笑ましいとするとあの手形訴訟は新生しないし離れ難くない
事実19: なんらかの物は微笑ましくらない一方で御寒い

仮説: 「仮にあのＥ社が放すならばあの手形訴訟は微笑ましい」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの手形訴訟は微笑ましかない
2. 事実4と仮定1から、推論1: "あの両書は御寒くないし加えて堅苦しくない"が導かれる
3. 推論1から、推論2: "「御寒くないし堅苦しくない」ものはある"が導かれる
4. 推論2と事実6から、推論3: "あのＥ社は放さない"が導かれる
5. 仮定2: 以下のように仮定する。あのＥ社は放す
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "あの手形訴訟は微笑ましい"が導かれる
8. [仮定2]と推論5から、仮説が否定される

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