「この文学史は二十四色相であるか猪であるかあるいは両方ともだ」ということは間違っている
fact1: 付着し易くないものはスピン・アラウンドでなくてかつ不貞るない fact2: ある物は不貞るということはなくて立ち去るということはないとすれば二十四色相である fact3: もしもあの高校卒業がスピン・アラウンドでないかもしくはそれが不貞るということはないかもしくは両方ともであるならばあの契約額はスピン・アラウンドでない fact4: もし仮に「この文学史は情報不足だということはないけれど由々しい」ということは間違っているならあの社債権者集会は立ち去らない fact5: 仮にこの契約額が二十九例でかつ付着し易いならあのムービーファイルは二十九例でない fact6: 仮になにがしかのものは由々しくないとすれば「それは情報不足であるし二十九例である」ということは間違いだ fact7: 仮になにがしかの物は二十九例でないとしたら「この文学史は情報不足であるということはないけどそれは由々しい」ということは成り立たない fact8: あのＣＳＶは立ち去らない fact9: もしなんらかのものは情報不足だとすると「この文学史は由々しくてそれは二十九例だ」ということは誤っている fact10: ある物は二十九例であるということはないならばそれは付着し易くない fact11: あのムービーファイルは付着し易いかあるいはスピン・アラウンドだ fact12: もしもなにかは描き続けるなら二十四色相でない一方で猪である fact13: 仮に「「ボートダイブであるけれど描き続けない」ということは間違いである」ものがあるとしたらあの高校卒業は描き続ける fact14: もし仮にこの文学史が止み難くないとすれば営業外費用でない fact15: 仮に「この文学史は二十九例だということはない」ということは成り立つとすれば「付着し易くない」ということは成り立つ fact16: もし仮に「なにかは由々しいししかも二十九例だ」ということは事実と異なるとするとそれは付着し易くない fact17: 「なんらかのものは二十四色相でない」ということは正しいとしたらそれはスピン・アラウンドでないかもしくは不貞るないかあるいは両方である fact18: この文学史は立ち去らない fact19: このレーダーは由々しくない fact20: 「「ボートダイブであるし加えて描き続けるということはない」ということは間違っている」物はある fact21: 「とある物は情報不足であるしその上二十九例である」ということは偽であるとすればそれは情報不足でない fact22: なにがしかのものは情報不足である fact23: この文学史はスピン・アラウンドでない
fact22 & fact9 -> int1: 「「この文学史は由々しいしそれに二十九例である」ということは成り立たない」ということは事実だ; fact16 -> int2: 仮に「この文学史は由々しいし二十九例である」ということは成り立つということはないとしたらそれは付着し易いということはない; int1 & int2 -> int3: この文学史は付着し易くない; fact1 -> int4: もしこの文学史が付着し易くないとするとそれはスピン・アラウンドでなくて更に不貞るない; int3 & int4 -> int5: この文学史はスピン・アラウンドでなくてそれは不貞るない; int5 -> int6: この文学史は不貞るということはない; int6 & fact18 -> int7: この文学史が不貞るということはないしさらに立ち去らない; fact2 -> int8: もしもこの文学史は不貞るないし立ち去らないとするとそれは二十四色相である; int7 & int8 -> int9: この文学史は二十四色相である; int9 -> hypothesis;
あの社債権者集会は立ち去るということはない
fact25 -> int10: もし仮に「あの高校卒業は二十四色相でない」ということは本当であるならばそれはスピン・アラウンドであるということはないかもしくはそれは不貞るないかもしくは両方である; fact27 -> int11: 仮にあの高校卒業が描き続ければそれは二十四色相でないがしかし猪だ; fact31 & fact24 -> int12: あの高校卒業は描き続ける; int11 & int12 -> int13: あの高校卒業は二十四色相でないけれど猪である; int13 -> int14: あの高校卒業は二十四色相であるということはない; int10 & int14 -> int15: あの高校卒業はスピン・アラウンドだということはないかまたは不貞るないかまたはどちらもだ; fact28 & int15 -> int16: この契約額はスピン・アラウンドだということはない;
$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$ = 
fact22 & fact9 -> int1: 「「この文学史は由々しいしそれに二十九例である」ということは成り立たない」ということは事実だ; fact16 -> int2: 仮に「この文学史は由々しいし二十九例である」ということは成り立つということはないとしたらそれは付着し易いということはない; int1 & int2 -> int3: この文学史は付着し易くない; fact1 -> int4: もしこの文学史が付着し易くないとするとそれはスピン・アラウンドでなくて更に不貞るない; int3 & int4 -> int5: この文学史はスピン・アラウンドでなくてそれは不貞るない; int5 -> int6: この文学史は不貞るということはない; int6 & fact18 -> int7: この文学史が不貞るということはないしさらに立ち去らない; fact2 -> int8: もしもこの文学史は不貞るないし立ち去らないとするとそれは二十四色相である; int7 & int8 -> int9: この文学史は二十四色相である; int9 -> 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. 事実22と事実9から、推論1: "「「この文学史は由々しいしそれに二十九例である」ということは成り立たない」ということは事実だ"が導かれる
2. 事実16から、推論2: "仮に「この文学史は由々しいし二十九例である」ということは成り立つということはないとしたらそれは付着し易いということはない"が導かれる
3. 推論1と推論2から、推論3: "この文学史は付着し易くない"が導かれる
4. 事実1から、推論4: "もしこの文学史が付着し易くないとするとそれはスピン・アラウンドでなくて更に不貞るない"が導かれる
5. 推論3と推論4から、推論5: "この文学史はスピン・アラウンドでなくてそれは不貞るない"が導かれる
6. 推論5から、推論6: "この文学史は不貞るということはない"が導かれる
7. 推論6と事実18から、推論7: "この文学史が不貞るということはないしさらに立ち去らない"が導かれる
8. 事実2から、推論8: "もしもこの文学史は不貞るないし立ち去らないとするとそれは二十四色相である"が導かれる
9. 推論7と推論8から、推論9: "この文学史は二十四色相である"が導かれる
10. 推論9から、仮説が否定される

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