あの配分方法は八世紀後半でない
fact1: 「あの配分方法は相談支援だ」ということは事実だ fact2: 仮に「なんらかの物は情報科学であるしおまけに調査会だ」ということは成り立たないならばそれはひもじくない fact3: 仮にそのＤＯＳは八箇月間でないならば「あの配分方法は八箇月間でない」ということは成り立つ fact4: なにがしかのものは基礎編だということはないとすれば「発電効率でなくて八箇月間である」ということは確かでない fact5: このポリバケツは熱し易い fact6: もし仮に「「発電効率でないしかつ比較表現である」ということは成り立たない」物があるならばあの使用形態は比較表現でない fact7: 仮にあの配分方法は比較表現であるとしたら発電効率である fact8: 「その行政書士は商品コンセプトであるけど予備役でない」ということは成り立つ fact9: 「あの配分方法は基礎編である」ということは成り立つとしたら八箇月間である fact10: もし仮にあの配分方法は八箇月間でないとすれば「発電効率でなくてそれに比較表現である」ということは成り立つということはない fact11: あの妙本寺は八箇月間でない fact12: 何かはひもじいとすれば八箇月間でないし加えて基礎編でない fact13: 仮に「そのＤＯＳは発電効率だということはない一方で八箇月間だ」ということは偽ならばあの配分方法は発電効率でない fact14: あの配分方法は比較表現である fact15: 「このポリバケツが情報科学だし更にそれは調査会である」ということは誤りだ fact16: もし仮にその行政書士が商品コンセプトだ一方で予備役でないならばあのポリバケツは熱し易い fact17: あの配分方法は基礎編である fact18: もし仮に八箇月間が発電効率だとすればそれは八世紀後半でない
fact7 & fact14 -> int1: あの配分方法は発電効率だ; fact17 & fact9 -> int2: あの配分方法は八箇月間だ; int1 & int2 -> int3: あの配分方法は八箇月間であるししかも発電効率である; fact18 -> int4: もしもあの配分方法が八箇月間だしかつ発電効率だとするとそれは八世紀後半でない; int3 & int4 -> hypothesis;
fact7 & fact14 -> int1: {B}{a}; fact17 & fact9 -> int2: {C}{a}; int1 & int2 -> int3: ({C}{a} & {B}{a}); fact18 -> int4: ({C}{a} & {B}{a}) -> ¬{D}{a}; int3 & int4 -> hypothesis;
「あの使用形態は八世紀後半でない」ということは正しい
fact21 -> int5: もし仮にそのＤＯＳがひもじいとすれば八箇月間でないししかもそれは基礎編でない;
$facts$ = fact1: 「あの配分方法は相談支援だ」ということは事実だ fact2: 仮に「なんらかの物は情報科学であるしおまけに調査会だ」ということは成り立たないならばそれはひもじくない fact3: 仮にそのＤＯＳは八箇月間でないならば「あの配分方法は八箇月間でない」ということは成り立つ fact4: なにがしかのものは基礎編だということはないとすれば「発電効率でなくて八箇月間である」ということは確かでない fact5: このポリバケツは熱し易い fact6: もし仮に「「発電効率でないしかつ比較表現である」ということは成り立たない」物があるならばあの使用形態は比較表現でない fact7: 仮にあの配分方法は比較表現であるとしたら発電効率である fact8: 「その行政書士は商品コンセプトであるけど予備役でない」ということは成り立つ fact9: 「あの配分方法は基礎編である」ということは成り立つとしたら八箇月間である fact10: もし仮にあの配分方法は八箇月間でないとすれば「発電効率でなくてそれに比較表現である」ということは成り立つということはない fact11: あの妙本寺は八箇月間でない fact12: 何かはひもじいとすれば八箇月間でないし加えて基礎編でない fact13: 仮に「そのＤＯＳは発電効率だということはない一方で八箇月間だ」ということは偽ならばあの配分方法は発電効率でない fact14: あの配分方法は比較表現である fact15: 「このポリバケツが情報科学だし更にそれは調査会である」ということは誤りだ fact16: もし仮にその行政書士が商品コンセプトだ一方で予備役でないならばあのポリバケツは熱し易い fact17: あの配分方法は基礎編である fact18: もし仮に八箇月間が発電効率だとすればそれは八世紀後半でない ; $hypothesis$ = あの配分方法は八世紀後半でない ; $proof$ = 
fact7 & fact14 -> int1: あの配分方法は発電効率だ; fact17 & fact9 -> int2: あの配分方法は八箇月間だ; int1 & int2 -> int3: あの配分方法は八箇月間であるししかも発電効率である; fact18 -> int4: もしもあの配分方法が八箇月間だしかつ発電効率だとするとそれは八世紀後半でない; int3 & int4 -> hypothesis; __PROVED__
事実1: 「あの配分方法は相談支援だ」ということは事実だ
事実2: 仮に「なんらかの物は情報科学であるしおまけに調査会だ」ということは成り立たないならばそれはひもじくない
事実3: 仮にそのＤＯＳは八箇月間でないならば「あの配分方法は八箇月間でない」ということは成り立つ
事実4: なにがしかのものは基礎編だということはないとすれば「発電効率でなくて八箇月間である」ということは確かでない
事実5: このポリバケツは熱し易い
事実6: もし仮に「「発電効率でないしかつ比較表現である」ということは成り立たない」物があるならばあの使用形態は比較表現でない
事実7: 仮にあの配分方法は比較表現であるとしたら発電効率である
事実8: 「その行政書士は商品コンセプトであるけど予備役でない」ということは成り立つ
事実9: 「あの配分方法は基礎編である」ということは成り立つとしたら八箇月間である
事実10: もし仮にあの配分方法は八箇月間でないとすれば「発電効率でなくてそれに比較表現である」ということは成り立つということはない
事実11: あの妙本寺は八箇月間でない
事実12: 何かはひもじいとすれば八箇月間でないし加えて基礎編でない
事実13: 仮に「そのＤＯＳは発電効率だということはない一方で八箇月間だ」ということは偽ならばあの配分方法は発電効率でない
事実14: あの配分方法は比較表現である
事実15: 「このポリバケツが情報科学だし更にそれは調査会である」ということは誤りだ
事実16: もし仮にその行政書士が商品コンセプトだ一方で予備役でないならばあのポリバケツは熱し易い
事実17: あの配分方法は基礎編である
事実18: もし仮に八箇月間が発電効率だとすればそれは八世紀後半でない

仮説: あの配分方法は八世紀後半でない
1. 事実7と事実14から、推論1: "あの配分方法は発電効率だ"が導かれる
2. 事実17と事実9から、推論2: "あの配分方法は八箇月間だ"が導かれる
3. 推論1と推論2から、推論3: "あの配分方法は八箇月間であるししかも発電効率である"が導かれる
4. 事実18から、推論4: "もしもあの配分方法が八箇月間だしかつ発電効率だとするとそれは八世紀後半でない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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