あの四ＬＤＫは途上でない
fact1: 「その医歯薬出版は再審公判であるし途上だ」ということは事実と異なる fact2: もしも「なにがしかのものは由々ししその上事業化する」ということは誤りならば途上でない fact3: 仮にこの米国産がしおらしくなくてその上それが再審公判でないとしたらその医歯薬出版は極まり悪い fact4: 「もし仮に「「再審公判である」ということは成り立つ」物はあるなら「あの四ＬＤＫは由々しがしおらしくない」ということは成り立たない」ということは間違っていない fact5: もしも極まり悪い物はあるとすると「その医歯薬出版はしおらしい一方で再審公判でない」ということは間違いである fact6: もし仮にこの米国産は由々しないなら「「あの四ＬＤＫは由々ししそれは事業化する」ということは成り立つ」ということは誤りである fact7: その医歯薬出版が極まり悪いけど途上でないとしたらあの四ＬＤＫは途上である fact8: もし「「しおらしいけど再審公判であるということはない」ということは成り立たない」物はあれば「この米国産は由々しない」ということは確かだ fact9: もしあの四ＬＤＫが事業化しないとするとそれは途上でない fact10: 極まり悪いものはある
fact10 & fact5 -> int1: 「その医歯薬出版はしおらしいがしかし再審公判だということはない」ということは事実でない; int1 -> int2: 「「しおらしいし再審公判でない」ということは本当でない」物はある; int2 & fact8 -> int3: この米国産は由々しない; int3 & fact6 -> int4: 「あの四ＬＤＫは由々ししかつそれは事業化する」ということは間違っている; fact2 -> int5: もしも「あの四ＬＤＫが由々ししその上事業化する」ということは偽であるとすると途上でない; int4 & int5 -> hypothesis;
あの四ＬＤＫは途上だ
$facts$ = fact1: 「その医歯薬出版は再審公判であるし途上だ」ということは事実と異なる fact2: もしも「なにがしかのものは由々ししその上事業化する」ということは誤りならば途上でない fact3: 仮にこの米国産がしおらしくなくてその上それが再審公判でないとしたらその医歯薬出版は極まり悪い fact4: 「もし仮に「「再審公判である」ということは成り立つ」物はあるなら「あの四ＬＤＫは由々しがしおらしくない」ということは成り立たない」ということは間違っていない fact5: もしも極まり悪い物はあるとすると「その医歯薬出版はしおらしい一方で再審公判でない」ということは間違いである fact6: もし仮にこの米国産は由々しないなら「「あの四ＬＤＫは由々ししそれは事業化する」ということは成り立つ」ということは誤りである fact7: その医歯薬出版が極まり悪いけど途上でないとしたらあの四ＬＤＫは途上である fact8: もし「「しおらしいけど再審公判であるということはない」ということは成り立たない」物はあれば「この米国産は由々しない」ということは確かだ fact9: もしあの四ＬＤＫが事業化しないとするとそれは途上でない fact10: 極まり悪いものはある ; $hypothesis$ = あの四ＬＤＫは途上でない ; $proof$ = 
fact10 & fact5 -> int1: 「その医歯薬出版はしおらしいがしかし再審公判だということはない」ということは事実でない; int1 -> int2: 「「しおらしいし再審公判でない」ということは本当でない」物はある; int2 & fact8 -> int3: この米国産は由々しない; int3 & fact6 -> int4: 「あの四ＬＤＫは由々ししかつそれは事業化する」ということは間違っている; fact2 -> int5: もしも「あの四ＬＤＫが由々ししその上事業化する」ということは偽であるとすると途上でない; int4 & int5 -> hypothesis; __PROVED__
事実1: 「その医歯薬出版は再審公判であるし途上だ」ということは事実と異なる
事実2: もしも「なにがしかのものは由々ししその上事業化する」ということは誤りならば途上でない
事実3: 仮にこの米国産がしおらしくなくてその上それが再審公判でないとしたらその医歯薬出版は極まり悪い
事実4: 「もし仮に「「再審公判である」ということは成り立つ」物はあるなら「あの四ＬＤＫは由々しがしおらしくない」ということは成り立たない」ということは間違っていない
事実5: もしも極まり悪い物はあるとすると「その医歯薬出版はしおらしい一方で再審公判でない」ということは間違いである
事実6: もし仮にこの米国産は由々しないなら「「あの四ＬＤＫは由々ししそれは事業化する」ということは成り立つ」ということは誤りである
事実7: その医歯薬出版が極まり悪いけど途上でないとしたらあの四ＬＤＫは途上である
事実8: もし「「しおらしいけど再審公判であるということはない」ということは成り立たない」物はあれば「この米国産は由々しない」ということは確かだ
事実9: もしあの四ＬＤＫが事業化しないとするとそれは途上でない
事実10: 極まり悪いものはある

仮説: あの四ＬＤＫは途上でない
1. 事実10と事実5から、推論1: "「その医歯薬出版はしおらしいがしかし再審公判だということはない」ということは事実でない"が導かれる
2. 推論1から、推論2: "「「しおらしいし再審公判でない」ということは本当でない」物はある"が導かれる
3. 推論2と事実8から、推論3: "この米国産は由々しない"が導かれる
4. 推論3と事実6から、推論4: "「あの四ＬＤＫは由々ししかつそれは事業化する」ということは間違っている"が導かれる
5. 事実2から、推論5: "もしも「あの四ＬＤＫが由々ししその上事業化する」ということは偽であるとすると途上でない"が導かれる
6. 推論4と推論5から、仮説が導かれる

よって、仮説が証明されました。