「このコレステロール値は汚らわしいししかも伝言する」ということは間違いである
fact1: この一つ付きは安んじる fact2: もし仮にこの一つ付きがモデル撮影でないとしたらこの小口融資は曾爺ちゃんでないかもしくはモデル撮影でないかもしくは両方ともである fact3: 何かは安んじるならその肉片は曾爺ちゃんであるししかもＦＥツープラスである fact4: このコレステロール値は尊し fact5: 仮にこの小口融資が曾爺ちゃんでないかもしくはモデル撮影でないとしたらＦＥツープラスでない fact6: もし仮にあのマイクロ・スリップがウインクしないししかもキー入力しないとしたらこの小口融資は敷地面積でない fact7: もしもその常温保存はＦＥツープラスでないとすれば「この一つ付きはくねくねするしまたモデル撮影だ」ということは事実と異なる fact8: もしその常温保存が問い質さないとしたら曾爺ちゃんでそれに尊し fact9: もし何らかのものは安んじるしかつ曾爺ちゃんだとすればそれはＦＥツープラスだということはない fact10: 仮にこのコレステロール値がＦＥツープラスであるということはなくておまけに安んじるないならば汚らわしい fact11: ＦＥツープラスはくねくねするかまたはモデル撮影でないか両方である fact12: この一つ付きがモデル撮影でないとすればこのコレステロール値は伝言しないかまたはモデル撮影であるか両方ともである fact13: あのマイクロ・スリップは伝言する fact14: この一つ付きが日休であるかあるいはモデル撮影であるならその常温保存はくねくねしない fact15: もしも「なにかはくねくねするしおまけにモデル撮影だ」ということは間違いならば日休であるということはない fact16: この小口融資は伝言するかあるいはＦＥツープラスでないかあるいは両方だ fact17: 仮にこの小口融資が敷地面積だということはないかもしくはそれが安んじるかまたはどちらもであるならその常温保存は安んじる fact18: 「この小口融資はＦＥツープラスであるということはない」ということは本当だとしたら「このコレステロール値はＦＥツープラスであるということはなくてそれは安んじるない」ということは正しい fact19: その常温保存は問い質さない fact20: もしあのマイクロ・スリップが伝言するならこのコレステロール値は伝言する fact21: もしも「このコレステロール値は伝言する一方で敷地面積でない」ということは事実と異なるとするとこの小口融資は汚らわしい fact22: もしもとある物はくねくねするとしたら「それは日休であるということはない」ということは本当である fact23: もし仮にこのコレステロール値は尊しとすると「それは伝言するしそれは敷地面積でない」ということは成り立たない fact24: もし仮に「その常温保存は安んじるないしそれは汚らわしくない」ということは真実でないならばあの一つ付きは安んじる fact25: この小口融資は汚らわしい fact26: その常温保存はくねくねするし敷地面積である fact27: もし仮に「汚らわしい」ものはあるなら「その常温保存は安んじるないし汚らわしくない」ということは偽だ fact28: この景徳伝灯録は伝言する fact29: あのマイクロ・スリップはウインクするということはないし加えてそれはキー入力しない
void -> assump1: 以下のように仮定する。この一つ付きはモデル撮影だ; assump1 -> int1: この一つ付きは日休であるかもしくはモデル撮影であるかもしくはどちらもである; int1 & fact14 -> int2: その常温保存はくねくねしない; fact26 -> int3: その常温保存はくねくねする; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この一つ付きはモデル撮影でない; int5 & fact2 -> int6: この小口融資は曾爺ちゃんでないかあるいはそれはモデル撮影でないかまたは両方だ; int6 & fact5 -> int7: この小口融資はＦＥツープラスであるということはない; int7 & fact18 -> int8: このコレステロール値はＦＥツープラスでなくて安んじるない; int8 & fact10 -> int9: このコレステロール値は汚らわしい; fact13 & fact20 -> int10: このコレステロール値は伝言する; int9 & int10 -> hypothesis;
その肉片は日休であるということはない
fact34 -> int11: もしもその肉片がＦＥツープラスならばそれはくねくねするかまたはモデル撮影でないかもしくは両方ともだ; fact35 & fact32 -> int12: 「このコレステロール値は伝言するが敷地面積でない」ということは間違っている; fact36 & int12 -> int13: 「この小口融資は汚らわしい」ということは正しい; int13 -> int14: なにかは汚らわしい; int14 & fact37 -> int15: 「その常温保存は安んじるないしそれは汚らわしいということはない」ということは偽だ; fact30 & int15 -> int16: この一つ付きは安んじる; int16 -> int17: なんらかのものは安んじる; int17 & fact31 -> int18: その肉片は曾爺ちゃんであるしまたＦＥツープラスだ; int18 -> int19: その肉片はＦＥツープラスである; int11 & int19 -> int20: その肉片はくねくねするかモデル撮影でないかもしくはどちらもだ; fact33 -> int21: 仮にその肉片はくねくねするとしたら「日休でない」ということは真実だ;
$facts$ = fact1: この一つ付きは安んじる fact2: もし仮にこの一つ付きがモデル撮影でないとしたらこの小口融資は曾爺ちゃんでないかもしくはモデル撮影でないかもしくは両方ともである fact3: 何かは安んじるならその肉片は曾爺ちゃんであるししかもＦＥツープラスである fact4: このコレステロール値は尊し fact5: 仮にこの小口融資が曾爺ちゃんでないかもしくはモデル撮影でないとしたらＦＥツープラスでない fact6: もし仮にあのマイクロ・スリップがウインクしないししかもキー入力しないとしたらこの小口融資は敷地面積でない fact7: もしもその常温保存はＦＥツープラスでないとすれば「この一つ付きはくねくねするしまたモデル撮影だ」ということは事実と異なる fact8: もしその常温保存が問い質さないとしたら曾爺ちゃんでそれに尊し fact9: もし何らかのものは安んじるしかつ曾爺ちゃんだとすればそれはＦＥツープラスだということはない fact10: 仮にこのコレステロール値がＦＥツープラスであるということはなくておまけに安んじるないならば汚らわしい fact11: ＦＥツープラスはくねくねするかまたはモデル撮影でないか両方である fact12: この一つ付きがモデル撮影でないとすればこのコレステロール値は伝言しないかまたはモデル撮影であるか両方ともである fact13: あのマイクロ・スリップは伝言する fact14: この一つ付きが日休であるかあるいはモデル撮影であるならその常温保存はくねくねしない fact15: もしも「なにかはくねくねするしおまけにモデル撮影だ」ということは間違いならば日休であるということはない fact16: この小口融資は伝言するかあるいはＦＥツープラスでないかあるいは両方だ fact17: 仮にこの小口融資が敷地面積だということはないかもしくはそれが安んじるかまたはどちらもであるならその常温保存は安んじる fact18: 「この小口融資はＦＥツープラスであるということはない」ということは本当だとしたら「このコレステロール値はＦＥツープラスであるということはなくてそれは安んじるない」ということは正しい fact19: その常温保存は問い質さない fact20: もしあのマイクロ・スリップが伝言するならこのコレステロール値は伝言する fact21: もしも「このコレステロール値は伝言する一方で敷地面積でない」ということは事実と異なるとするとこの小口融資は汚らわしい fact22: もしもとある物はくねくねするとしたら「それは日休であるということはない」ということは本当である fact23: もし仮にこのコレステロール値は尊しとすると「それは伝言するしそれは敷地面積でない」ということは成り立たない fact24: もし仮に「その常温保存は安んじるないしそれは汚らわしくない」ということは真実でないならばあの一つ付きは安んじる fact25: この小口融資は汚らわしい fact26: その常温保存はくねくねするし敷地面積である fact27: もし仮に「汚らわしい」ものはあるなら「その常温保存は安んじるないし汚らわしくない」ということは偽だ fact28: この景徳伝灯録は伝言する fact29: あのマイクロ・スリップはウインクするということはないし加えてそれはキー入力しない ; $hypothesis$ = 「このコレステロール値は汚らわしいししかも伝言する」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。この一つ付きはモデル撮影だ; assump1 -> int1: この一つ付きは日休であるかもしくはモデル撮影であるかもしくはどちらもである; int1 & fact14 -> int2: その常温保存はくねくねしない; fact26 -> int3: その常温保存はくねくねする; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この一つ付きはモデル撮影でない; int5 & fact2 -> int6: この小口融資は曾爺ちゃんでないかあるいはそれはモデル撮影でないかまたは両方だ; int6 & fact5 -> int7: この小口融資はＦＥツープラスであるということはない; int7 & fact18 -> int8: このコレステロール値はＦＥツープラスでなくて安んじるない; int8 & fact10 -> int9: このコレステロール値は汚らわしい; fact13 & fact20 -> int10: このコレステロール値は伝言する; int9 & int10 -> 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: もし仮にこのコレステロール値は尊しとすると「それは伝言するしそれは敷地面積でない」ということは成り立たない
事実24: もし仮に「その常温保存は安んじるないしそれは汚らわしくない」ということは真実でないならばあの一つ付きは安んじる
事実25: この小口融資は汚らわしい
事実26: その常温保存はくねくねするし敷地面積である
事実27: もし仮に「汚らわしい」ものはあるなら「その常温保存は安んじるないし汚らわしくない」ということは偽だ
事実28: この景徳伝灯録は伝言する
事実29: あのマイクロ・スリップはウインクするということはないし加えてそれはキー入力しない

仮説: 「このコレステロール値は汚らわしいししかも伝言する」ということは間違いである
1. 仮定1: 以下のように仮定する。この一つ付きはモデル撮影だ
2. 仮定1から、推論1: "この一つ付きは日休であるかもしくはモデル撮影であるかもしくはどちらもである"が導かれる
3. 推論1と事実14から、推論2: "その常温保存はくねくねしない"が導かれる
4. 事実26から、推論3: "その常温保存はくねくねする"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この一つ付きはモデル撮影でない"が導かれる
7. 推論5と事実2から、推論6: "この小口融資は曾爺ちゃんでないかあるいはそれはモデル撮影でないかまたは両方だ"が導かれる
8. 推論6と事実5から、推論7: "この小口融資はＦＥツープラスであるということはない"が導かれる
9. 推論7と事実18から、推論8: "このコレステロール値はＦＥツープラスでなくて安んじるない"が導かれる
10. 推論8と事実10から、推論9: "このコレステロール値は汚らわしい"が導かれる
11. 事実13と事実20から、推論10: "このコレステロール値は伝言する"が導かれる
12. 推論9と推論10から、仮説が否定される

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