「もし仮に編成するということはないとすれば「暮らし出さなくてテストしない」ということは間違っている」物はある
fact1: 何らかのものはテストしないとしたら「それはひもじくないしまた飽きっぽいということはない」ということは成り立たない fact2: もしもなにかは味わわさないなら「フロムエージでないし日本歴史でない」ということは成り立たない fact3: 「編成しないとすると暮らし出さなくてテストするということはない」ものはある fact4: この茶々が編成するということはないならそれは暮らし出さないしそれはテストするということはない fact5: もし仮にこの茶々は編成しないとしたら「暮らし出さないしそれはテストする」ということは嘘である fact6: 「付け易いということはないとすれば「心憎いということはなくておまけに仕方無しない」ということは成り立たない」ものはある fact7: 「もし編成するということはないならば「暮らし出すけれどテストしない」ということは確かでない」ものはある fact8: 「「もしも劈かないとすれば「「利用し辛くないし更に田舎染みない」ということは事実だ」ということは誤っている」ものはある」ということは本当だ fact9: もしこの茶々は編成しないなら「暮らし出さないし更にテストしない」ということは誤っている fact10: 「編成するとしたら「暮らし出さないしまたテストしない」ということは誤っている」ものはある fact11: もしもこの茶々は編成するとすると「暮らし出さなくて更にそれはテストしない」ということは成り立つということはない fact12: 「仮に揺れ動くということはないなら「軽ーいということはなくておまけに呈しない」ということは偽である」物はある fact13: 仮にこの茶々は編成しないとしたら「それは暮らし出すがしかしテストしない」ということは間違いである fact14: 「もしも編成しないならば「暮らし出さないけどテストする」ということは成り立たない」物はある
fact9 -> hypothesis;
「もし味わわさないならば「フロムエージでなくて日本歴史でない」ということは誤っている」ものはある
fact15 -> int1: 仮にその基準額は味わわさないなら「フロムエージでないしその上日本歴史でない」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: 何らかのものはテストしないとしたら「それはひもじくないしまた飽きっぽいということはない」ということは成り立たない fact2: もしもなにかは味わわさないなら「フロムエージでないし日本歴史でない」ということは成り立たない fact3: 「編成しないとすると暮らし出さなくてテストするということはない」ものはある fact4: この茶々が編成するということはないならそれは暮らし出さないしそれはテストするということはない fact5: もし仮にこの茶々は編成しないとしたら「暮らし出さないしそれはテストする」ということは嘘である fact6: 「付け易いということはないとすれば「心憎いということはなくておまけに仕方無しない」ということは成り立たない」ものはある fact7: 「もし編成するということはないならば「暮らし出すけれどテストしない」ということは確かでない」ものはある fact8: 「「もしも劈かないとすれば「「利用し辛くないし更に田舎染みない」ということは事実だ」ということは誤っている」ものはある」ということは本当だ fact9: もしこの茶々は編成しないなら「暮らし出さないし更にテストしない」ということは誤っている fact10: 「編成するとしたら「暮らし出さないしまたテストしない」ということは誤っている」ものはある fact11: もしもこの茶々は編成するとすると「暮らし出さなくて更にそれはテストしない」ということは成り立つということはない fact12: 「仮に揺れ動くということはないなら「軽ーいということはなくておまけに呈しない」ということは偽である」物はある fact13: 仮にこの茶々は編成しないとしたら「それは暮らし出すがしかしテストしない」ということは間違いである fact14: 「もしも編成しないならば「暮らし出さないけどテストする」ということは成り立たない」物はある ; $hypothesis$ = 「もし仮に編成するということはないとすれば「暮らし出さなくてテストしない」ということは間違っている」物はある ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: 何らかのものはテストしないとしたら「それはひもじくないしまた飽きっぽいということはない」ということは成り立たない
事実2: もしもなにかは味わわさないなら「フロムエージでないし日本歴史でない」ということは成り立たない
事実3: 「編成しないとすると暮らし出さなくてテストするということはない」ものはある
事実4: この茶々が編成するということはないならそれは暮らし出さないしそれはテストするということはない
事実5: もし仮にこの茶々は編成しないとしたら「暮らし出さないしそれはテストする」ということは嘘である
事実6: 「付け易いということはないとすれば「心憎いということはなくておまけに仕方無しない」ということは成り立たない」ものはある
事実7: 「もし編成するということはないならば「暮らし出すけれどテストしない」ということは確かでない」ものはある
事実8: 「「もしも劈かないとすれば「「利用し辛くないし更に田舎染みない」ということは事実だ」ということは誤っている」ものはある」ということは本当だ
事実9: もしこの茶々は編成しないなら「暮らし出さないし更にテストしない」ということは誤っている
事実10: 「編成するとしたら「暮らし出さないしまたテストしない」ということは誤っている」ものはある
事実11: もしもこの茶々は編成するとすると「暮らし出さなくて更にそれはテストしない」ということは成り立つということはない
事実12: 「仮に揺れ動くということはないなら「軽ーいということはなくておまけに呈しない」ということは偽である」物はある
事実13: 仮にこの茶々は編成しないとしたら「それは暮らし出すがしかしテストしない」ということは間違いである
事実14: 「もしも編成しないならば「暮らし出さないけどテストする」ということは成り立たない」物はある

仮説: 「もし仮に編成するということはないとすれば「暮らし出さなくてテストしない」ということは間違っている」物はある
1. 事実9から、仮説が導かれる

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