あの自信過剰は大病でない
fact1: もし「田舎臭い」ものがあるならこの裁断機は決済手段でない fact2: 「この機能訓練室は味気無いが口頭弁論でない」ということは誤っている fact3: もしもあの自信過剰は清拭する一方で大病でないとすれば「この機能訓練室は味気無い」ということは成り立つ fact4: もし「その無機化合物は苦しししかもそれは滲み始める」ということは嘘であるとしたら「口頭弁論でない」ということは本当だ fact5: 仮にその自衛隊法が物凄くないとすればその化けは入省でない一方で修行法である fact6: この機能訓練室は恫喝する fact7: もし仮にこの機能訓練室が大病でないならばあの自信過剰は田舎臭くてまた清拭する fact8: 仮にその空洞化対策が田舎臭くてそれが決済手段であるとすればあの自信過剰は清拭する fact9: その空洞化対策は掲載するがしかしちばコープでない fact10: 仮になにかは大病でないかあるいは味気無いかまたはどちらもだとしたら「それは大病でない」ということは事実だ fact11: もしとある物が抑圧者であるということはないけれどそれが来辛いとしたらそれはおっそろしない fact12: 「もし仮に決済手段は清拭するとしたら「田舎臭くない」ということは本当だ」ということは成り立つ fact13: 仮にあるものは入省でないならば抑圧者でない一方で来辛い fact14: 何らかのものは口頭弁論でないとするとそれは指示すらないがしかしＨＯＭＯだ fact15: この機能訓練室は指示すらない fact16: 何もかもは田舎臭いし更に決済手段でない fact17: もし仮にその空洞化対策が田舎臭い一方で決済手段でないとすればあの自信過剰は清拭する fact18: 「もしも「この機能訓練室は味気無いが口頭弁論だということはない」ということは成り立たないとするとこの機能訓練室は味気無くない」ということは正しい fact19: その自衛隊法は物凄くない fact20: 仮にその無機化合物が指示すらない一方でＨＯＭＯだとするとあの凹みはＨＯＭＯであるということはない fact21: 「ＨＯＭＯでない」物があるとしたらこの田楽は味気無くない fact22: ＨＯＭＯは大病でないか味気無いかどちらもである fact23: もしもその化けはおっそろしないとしたら「その無機化合物は苦ししさらに滲み始める」ということは成り立たない
fact16 -> int1: その空洞化対策は田舎臭いがしかし決済手段だということはない; int1 & fact17 -> int2: あの自信過剰は清拭する; void -> assump1: 以下のように仮定する。あの自信過剰は大病だということはない; int2 & assump1 -> int3: あの自信過剰は清拭するがしかし大病でない; int3 & fact3 -> int4: この機能訓練室は味気無い; fact18 & fact2 -> int5: 「この機能訓練室は味気無くない」ということは本当である; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
この裁断機は決済手段でない
fact24 -> int7: もし仮に「この機能訓練室は大病でないか味気無いか両方ともである」ということは成り立つとしたらそれは大病でない; fact26 -> int8: もしこの機能訓練室はＨＯＭＯであるとするとそれは大病でないか味気無いかあるいは両方ともである;
$facts$ = fact1: もし「田舎臭い」ものがあるならこの裁断機は決済手段でない fact2: 「この機能訓練室は味気無いが口頭弁論でない」ということは誤っている fact3: もしもあの自信過剰は清拭する一方で大病でないとすれば「この機能訓練室は味気無い」ということは成り立つ fact4: もし「その無機化合物は苦しししかもそれは滲み始める」ということは嘘であるとしたら「口頭弁論でない」ということは本当だ fact5: 仮にその自衛隊法が物凄くないとすればその化けは入省でない一方で修行法である fact6: この機能訓練室は恫喝する fact7: もし仮にこの機能訓練室が大病でないならばあの自信過剰は田舎臭くてまた清拭する fact8: 仮にその空洞化対策が田舎臭くてそれが決済手段であるとすればあの自信過剰は清拭する fact9: その空洞化対策は掲載するがしかしちばコープでない fact10: 仮になにかは大病でないかあるいは味気無いかまたはどちらもだとしたら「それは大病でない」ということは事実だ fact11: もしとある物が抑圧者であるということはないけれどそれが来辛いとしたらそれはおっそろしない fact12: 「もし仮に決済手段は清拭するとしたら「田舎臭くない」ということは本当だ」ということは成り立つ fact13: 仮にあるものは入省でないならば抑圧者でない一方で来辛い fact14: 何らかのものは口頭弁論でないとするとそれは指示すらないがしかしＨＯＭＯだ fact15: この機能訓練室は指示すらない fact16: 何もかもは田舎臭いし更に決済手段でない fact17: もし仮にその空洞化対策が田舎臭い一方で決済手段でないとすればあの自信過剰は清拭する fact18: 「もしも「この機能訓練室は味気無いが口頭弁論だということはない」ということは成り立たないとするとこの機能訓練室は味気無くない」ということは正しい fact19: その自衛隊法は物凄くない fact20: 仮にその無機化合物が指示すらない一方でＨＯＭＯだとするとあの凹みはＨＯＭＯであるということはない fact21: 「ＨＯＭＯでない」物があるとしたらこの田楽は味気無くない fact22: ＨＯＭＯは大病でないか味気無いかどちらもである fact23: もしもその化けはおっそろしないとしたら「その無機化合物は苦ししさらに滲み始める」ということは成り立たない ; $hypothesis$ = あの自信過剰は大病でない ; $proof$ = 
fact16 -> int1: その空洞化対策は田舎臭いがしかし決済手段だということはない; int1 & fact17 -> int2: あの自信過剰は清拭する; void -> assump1: 以下のように仮定する。あの自信過剰は大病だということはない; int2 & assump1 -> int3: あの自信過剰は清拭するがしかし大病でない; int3 & fact3 -> int4: この機能訓練室は味気無い; fact18 & fact2 -> int5: 「この機能訓練室は味気無くない」ということは本当である; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: もし「田舎臭い」ものがあるならこの裁断機は決済手段でない
事実2: 「この機能訓練室は味気無いが口頭弁論でない」ということは誤っている
事実3: もしもあの自信過剰は清拭する一方で大病でないとすれば「この機能訓練室は味気無い」ということは成り立つ
事実4: もし「その無機化合物は苦しししかもそれは滲み始める」ということは嘘であるとしたら「口頭弁論でない」ということは本当だ
事実5: 仮にその自衛隊法が物凄くないとすればその化けは入省でない一方で修行法である
事実6: この機能訓練室は恫喝する
事実7: もし仮にこの機能訓練室が大病でないならばあの自信過剰は田舎臭くてまた清拭する
事実8: 仮にその空洞化対策が田舎臭くてそれが決済手段であるとすればあの自信過剰は清拭する
事実9: その空洞化対策は掲載するがしかしちばコープでない
事実10: 仮になにかは大病でないかあるいは味気無いかまたはどちらもだとしたら「それは大病でない」ということは事実だ
事実11: もしとある物が抑圧者であるということはないけれどそれが来辛いとしたらそれはおっそろしない
事実12: 「もし仮に決済手段は清拭するとしたら「田舎臭くない」ということは本当だ」ということは成り立つ
事実13: 仮にあるものは入省でないならば抑圧者でない一方で来辛い
事実14: 何らかのものは口頭弁論でないとするとそれは指示すらないがしかしＨＯＭＯだ
事実15: この機能訓練室は指示すらない
事実16: 何もかもは田舎臭いし更に決済手段でない
事実17: もし仮にその空洞化対策が田舎臭い一方で決済手段でないとすればあの自信過剰は清拭する
事実18: 「もしも「この機能訓練室は味気無いが口頭弁論だということはない」ということは成り立たないとするとこの機能訓練室は味気無くない」ということは正しい
事実19: その自衛隊法は物凄くない
事実20: 仮にその無機化合物が指示すらない一方でＨＯＭＯだとするとあの凹みはＨＯＭＯであるということはない
事実21: 「ＨＯＭＯでない」物があるとしたらこの田楽は味気無くない
事実22: ＨＯＭＯは大病でないか味気無いかどちらもである
事実23: もしもその化けはおっそろしないとしたら「その無機化合物は苦ししさらに滲み始める」ということは成り立たない

仮説: あの自信過剰は大病でない
1. 事実16から、推論1: "その空洞化対策は田舎臭いがしかし決済手段だということはない"が導かれる
2. 推論1と事実17から、推論2: "あの自信過剰は清拭する"が導かれる
3. 仮定1: 以下のように仮定する。あの自信過剰は大病だということはない
4. 推論2と仮定1から、推論3: "あの自信過剰は清拭するがしかし大病でない"が導かれる
5. 推論3と事実3から、推論4: "この機能訓練室は味気無い"が導かれる
6. 事実18と事実2から、推論5: "「この機能訓練室は味気無くない」ということは本当である"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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