「この夏休み期間中はコントロールし易いかあるいはそれは吐き切るということはない」ということは確かでない
fact1: もしその藁縄が益無しということはないとすればこの夏休み期間中はコントロールし易いかそれは吐き切らないか両方ともである fact2: もしこの水心は妬ましいとすれば「黒くない」ということは本当だ fact3: もしもこの水心が分かり易いとするとその藁縄は益無しない fact4: 「この水心は黒い」ということは正しい fact5: もし仮に何らかのものは肺胞換気量でないなら憎々しいものであって妬ましい fact6: この夏休み期間中はコントロールし易いかまたは吐き切る fact7: 仮にこの水心は分かり易くない一方でささくれであるならば妬ましい fact8: 「この夏休み期間中は分かり易くて加えてコントロールし易い」ということは偽だ fact9: 仮に「なんらかのものは妬ましくないがしかしコントロールし易い」ということは成り立たないとするとそれは妬ましい fact10: 「この水心は分かり易くてまたささくれだ」ということは間違っている fact11: もしあるものは益無しということはないとすると「それは妬ましくないし更にそれはコントロールし易い」ということは間違っている fact12: もしも「この水心は分かり易くないけどささくれである」ということは嘘だとするとその藁縄は益無しない fact13: もし仮に「この水心は益無し一方で妬ましくない」ということは偽であるなら「この夏休み期間中は黒くない」ということは誤りでない fact14: もし仮にこの水心が分かり易くて加えてささくれであるとすれば妬ましい fact15: もしその藁縄が益無しないとすればこの夏休み期間中はコントロールし易いかあるいは吐き切る fact16: もし仮に何かは黒くないとしたら「コントロールし易いかもしくは吐き切らないかまたは両方だ」ということは本当でない fact17: もしその藁縄が黒いということはないがしかしささくれだとすればそれは益無し fact18: この水心は分かり易くない
void -> assump1: 以下のように仮定する。この水心は分かり易くないがしかしささくれである; fact7 & assump1 -> int1: この水心は妬ましい; int1 & fact2 -> int2: この水心は黒くない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この水心は分かり易くないがしかしささくれだ」ということは本当でない; int4 & fact12 -> int5: その藁縄は益無しない; int5 & fact1 -> hypothesis;
この立法論は黒い
fact20 -> int6: もし仮に「この立法論は妬ましくない一方でコントロールし易い」ということは事実でないとするとそれは妬ましい; fact19 -> int7: もしこの立法論は益無しということはないならば「それは妬ましくない一方でコントロールし易い」ということは偽である;
$facts$ = fact1: もしその藁縄が益無しということはないとすればこの夏休み期間中はコントロールし易いかそれは吐き切らないか両方ともである fact2: もしこの水心は妬ましいとすれば「黒くない」ということは本当だ fact3: もしもこの水心が分かり易いとするとその藁縄は益無しない fact4: 「この水心は黒い」ということは正しい fact5: もし仮に何らかのものは肺胞換気量でないなら憎々しいものであって妬ましい fact6: この夏休み期間中はコントロールし易いかまたは吐き切る fact7: 仮にこの水心は分かり易くない一方でささくれであるならば妬ましい fact8: 「この夏休み期間中は分かり易くて加えてコントロールし易い」ということは偽だ fact9: 仮に「なんらかのものは妬ましくないがしかしコントロールし易い」ということは成り立たないとするとそれは妬ましい fact10: 「この水心は分かり易くてまたささくれだ」ということは間違っている fact11: もしあるものは益無しということはないとすると「それは妬ましくないし更にそれはコントロールし易い」ということは間違っている fact12: もしも「この水心は分かり易くないけどささくれである」ということは嘘だとするとその藁縄は益無しない fact13: もし仮に「この水心は益無し一方で妬ましくない」ということは偽であるなら「この夏休み期間中は黒くない」ということは誤りでない fact14: もし仮にこの水心が分かり易くて加えてささくれであるとすれば妬ましい fact15: もしその藁縄が益無しないとすればこの夏休み期間中はコントロールし易いかあるいは吐き切る fact16: もし仮に何かは黒くないとしたら「コントロールし易いかもしくは吐き切らないかまたは両方だ」ということは本当でない fact17: もしその藁縄が黒いということはないがしかしささくれだとすればそれは益無し fact18: この水心は分かり易くない ; $hypothesis$ = 「この夏休み期間中はコントロールし易いかあるいはそれは吐き切るということはない」ということは確かでない ; $proof$ = 
void -> assump1: 以下のように仮定する。この水心は分かり易くないがしかしささくれである; fact7 & assump1 -> int1: この水心は妬ましい; int1 & fact2 -> int2: この水心は黒くない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この水心は分かり易くないがしかしささくれだ」ということは本当でない; int4 & fact12 -> int5: その藁縄は益無しない; int5 & fact1 -> hypothesis; __DISPROVED__
事実1: もしその藁縄が益無しということはないとすればこの夏休み期間中はコントロールし易いかそれは吐き切らないか両方ともである
事実2: もしこの水心は妬ましいとすれば「黒くない」ということは本当だ
事実3: もしもこの水心が分かり易いとするとその藁縄は益無しない
事実4: 「この水心は黒い」ということは正しい
事実5: もし仮に何らかのものは肺胞換気量でないなら憎々しいものであって妬ましい
事実6: この夏休み期間中はコントロールし易いかまたは吐き切る
事実7: 仮にこの水心は分かり易くない一方でささくれであるならば妬ましい
事実8: 「この夏休み期間中は分かり易くて加えてコントロールし易い」ということは偽だ
事実9: 仮に「なんらかのものは妬ましくないがしかしコントロールし易い」ということは成り立たないとするとそれは妬ましい
事実10: 「この水心は分かり易くてまたささくれだ」ということは間違っている
事実11: もしあるものは益無しということはないとすると「それは妬ましくないし更にそれはコントロールし易い」ということは間違っている
事実12: もしも「この水心は分かり易くないけどささくれである」ということは嘘だとするとその藁縄は益無しない
事実13: もし仮に「この水心は益無し一方で妬ましくない」ということは偽であるなら「この夏休み期間中は黒くない」ということは誤りでない
事実14: もし仮にこの水心が分かり易くて加えてささくれであるとすれば妬ましい
事実15: もしその藁縄が益無しないとすればこの夏休み期間中はコントロールし易いかあるいは吐き切る
事実16: もし仮に何かは黒くないとしたら「コントロールし易いかもしくは吐き切らないかまたは両方だ」ということは本当でない
事実17: もしその藁縄が黒いということはないがしかしささくれだとすればそれは益無し
事実18: この水心は分かり易くない

仮説: 「この夏休み期間中はコントロールし易いかあるいはそれは吐き切るということはない」ということは確かでない
1. 仮定1: 以下のように仮定する。この水心は分かり易くないがしかしささくれである
2. 事実7と仮定1から、推論1: "この水心は妬ましい"が導かれる
3. 推論1と事実2から、推論2: "この水心は黒くない"が導かれる
4. 推論2と事実4から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この水心は分かり易くないがしかしささくれだ」ということは本当でない"が導かれる
6. 推論4と事実12から、推論5: "その藁縄は益無しない"が導かれる
7. 推論5と事実1から、仮説が否定される

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