「仮にパッケージ化するしそれにあくどいならばバランス良くない」ものはある
fact1: 「もし仮にパッケージ化するししかもあくどいならばバランス良い」物はある fact2: 仮にとある物が収容出来ないとすればそれはあくどくてパッケージ化する fact3: この道化役は収容出来る fact4: もしこの道化役は笑い始めるしまた比較し難いとしたらそれはバランス良い fact5: この御台所はパッケージ化する fact6: この道化役はパッケージ化するしそれは火気器具等だ fact7: 「もし仮に引き始めであるしかつ輝き渡るなら盧溝橋事件でない」物はある fact8: もしもなんらかの物が収容出来るしおまけにそれがパッケージ化するとすればそれはバランス良くない fact9: 「もし仮に得難ししおまけに揉み出すとすると教え為さらない」物はある fact10: あの十箇年戦略は収容出来る fact11: 「この道化役はあくどい」ということは事実と異ならない fact12: この道化役は御支払い致す
void -> assump1: 以下のように仮定する。この道化役はパッケージ化するしそれはあくどい; assump1 -> int1: 「この道化役はパッケージ化する」ということは成り立つ; int1 & fact3 -> int2: この道化役は収容出来るしパッケージ化する; fact8 -> int3: もし仮にこの道化役が収容出来るし更にパッケージ化すればそれはバランス良くない; int2 & int3 -> int4: この道化役はバランス良くない; [assump1] & int4 -> int5: もし「この道化役はパッケージ化するし更にあくどい」ということは確かであるなら「それはバランス良いということはない」ということは本当である; int5 -> hypothesis;
この光学式はあくどい
fact13 -> int6: この光学式が収容出来るということはないならばそれはあくどくて加えてパッケージ化する;
$facts$ = fact1: 「もし仮にパッケージ化するししかもあくどいならばバランス良い」物はある fact2: 仮にとある物が収容出来ないとすればそれはあくどくてパッケージ化する fact3: この道化役は収容出来る fact4: もしこの道化役は笑い始めるしまた比較し難いとしたらそれはバランス良い fact5: この御台所はパッケージ化する fact6: この道化役はパッケージ化するしそれは火気器具等だ fact7: 「もし仮に引き始めであるしかつ輝き渡るなら盧溝橋事件でない」物はある fact8: もしもなんらかの物が収容出来るしおまけにそれがパッケージ化するとすればそれはバランス良くない fact9: 「もし仮に得難ししおまけに揉み出すとすると教え為さらない」物はある fact10: あの十箇年戦略は収容出来る fact11: 「この道化役はあくどい」ということは事実と異ならない fact12: この道化役は御支払い致す ; $hypothesis$ = 「仮にパッケージ化するしそれにあくどいならばバランス良くない」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。この道化役はパッケージ化するしそれはあくどい; assump1 -> int1: 「この道化役はパッケージ化する」ということは成り立つ; int1 & fact3 -> int2: この道化役は収容出来るしパッケージ化する; fact8 -> int3: もし仮にこの道化役が収容出来るし更にパッケージ化すればそれはバランス良くない; int2 & int3 -> int4: この道化役はバランス良くない; [assump1] & int4 -> int5: もし「この道化役はパッケージ化するし更にあくどい」ということは確かであるなら「それはバランス良いということはない」ということは本当である; int5 -> hypothesis; __PROVED__
事実1: 「もし仮にパッケージ化するししかもあくどいならばバランス良い」物はある
事実2: 仮にとある物が収容出来ないとすればそれはあくどくてパッケージ化する
事実3: この道化役は収容出来る
事実4: もしこの道化役は笑い始めるしまた比較し難いとしたらそれはバランス良い
事実5: この御台所はパッケージ化する
事実6: この道化役はパッケージ化するしそれは火気器具等だ
事実7: 「もし仮に引き始めであるしかつ輝き渡るなら盧溝橋事件でない」物はある
事実8: もしもなんらかの物が収容出来るしおまけにそれがパッケージ化するとすればそれはバランス良くない
事実9: 「もし仮に得難ししおまけに揉み出すとすると教え為さらない」物はある
事実10: あの十箇年戦略は収容出来る
事実11: 「この道化役はあくどい」ということは事実と異ならない
事実12: この道化役は御支払い致す

仮説: 「仮にパッケージ化するしそれにあくどいならばバランス良くない」ものはある
1. 仮定1: 以下のように仮定する。この道化役はパッケージ化するしそれはあくどい
2. 仮定1から、推論1: "「この道化役はパッケージ化する」ということは成り立つ"が導かれる
3. 推論1と事実3から、推論2: "この道化役は収容出来るしパッケージ化する"が導かれる
4. 事実8から、推論3: "もし仮にこの道化役が収容出来るし更にパッケージ化すればそれはバランス良くない"が導かれる
5. 推論2と推論3から、推論4: "この道化役はバランス良くない"が導かれる
6. [仮定1]と推論4から、推論5: "もし「この道化役はパッケージ化するし更にあくどい」ということは確かであるなら「それはバランス良いということはない」ということは本当である"が導かれる
7. 推論5から、仮説が導かれる

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