あの賛成が口さはなくない
fact1: あの商法は書き易くないけれど汗臭い fact2: もしもその労働時間規制が書き易いとすれば合い難くないしその上それは口さがない fact3: 揺るぎないということはないものは書き易いが口さはなくない fact4: もしもあの賛成が口さがなくないならばそれは書き易くない fact5: もしそのマイクちゃーんが消化するとしたらこの膜模造は消化する fact6: その老齢者は書き易くない fact7: 悲しい物は難しかない fact8: もし仮にその為目がおもろいということはないとするとその小開胸創は悲しいし更に自治権だ fact9: あの商法はからかう fact10: その為目は解け易くない fact11: あの商法が書き易くないけれどそれが汗臭いならばあの賛成は書き易い fact12: あの新入社員は汗臭くない fact13: あの賛成が汗臭くないとすればあの労働時間規制は書き易くてそれに揺るぎない fact14: 「もし仮になにがしかの物が解け易くないならばそれはおもろくないしそれはスタッフ一同でない」ということは本当だ fact15: あの賛成は細かくない fact16: もしもこの景況が捕球するとするとそのマイクちゃーんは消化する fact17: あの商法が汗臭いとすればあの賛成は汗臭い fact18: 仮にこの膜模造が消化するとするとあの商法は汗臭い
void -> assump1: 以下のように仮定する。あの賛成が口さはなくない; fact4 & assump1 -> int1: あの賛成は書き易くない; fact11 & fact1 -> int2: あの賛成は書き易い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}{a}; fact4 & assump1 -> int1: ¬{B}{a}; fact11 & fact1 -> int2: {B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
その労働時間規制は合い難くないけど口さがない
$facts$ = fact1: あの商法は書き易くないけれど汗臭い fact2: もしもその労働時間規制が書き易いとすれば合い難くないしその上それは口さがない fact3: 揺るぎないということはないものは書き易いが口さはなくない fact4: もしもあの賛成が口さがなくないならばそれは書き易くない fact5: もしそのマイクちゃーんが消化するとしたらこの膜模造は消化する fact6: その老齢者は書き易くない fact7: 悲しい物は難しかない fact8: もし仮にその為目がおもろいということはないとするとその小開胸創は悲しいし更に自治権だ fact9: あの商法はからかう fact10: その為目は解け易くない fact11: あの商法が書き易くないけれどそれが汗臭いならばあの賛成は書き易い fact12: あの新入社員は汗臭くない fact13: あの賛成が汗臭くないとすればあの労働時間規制は書き易くてそれに揺るぎない fact14: 「もし仮になにがしかの物が解け易くないならばそれはおもろくないしそれはスタッフ一同でない」ということは本当だ fact15: あの賛成は細かくない fact16: もしもこの景況が捕球するとするとそのマイクちゃーんは消化する fact17: あの商法が汗臭いとすればあの賛成は汗臭い fact18: 仮にこの膜模造が消化するとするとあの商法は汗臭い ; $hypothesis$ = あの賛成が口さはなくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの賛成が口さはなくない; fact4 & assump1 -> int1: あの賛成は書き易くない; fact11 & fact1 -> 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: 仮にこの膜模造が消化するとするとあの商法は汗臭い

仮説: あの賛成が口さはなくない
1. 仮定1: 以下のように仮定する。あの賛成が口さはなくない
2. 事実4と仮定1から、推論1: "あの賛成は書き易くない"が導かれる
3. 事実11と事実1から、推論2: "あの賛成は書き易い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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