あの六十三．一．一基発は臨模でない
fact1: 「その質感は質問出来るということはない」ということは成り立つ fact2: ある物がダイヤグラムでないとしたら蒸かすしまたそれは旨し fact3: 「あるものは時間差でそれに頼み難い」ということは嘘であるならダイヤグラムでない fact4: この大掴みが管理し易くないとするとその教壇は臨模でない fact5: 「あの定量は時間差であるし更に頼み難い」ということは正しくない fact6: 仮にこの大掴みが臨模だとしたらあの六十三．一．一基発は臨模だ fact7: その保有数は臨模だ fact8: 管理し易くない物は臨模でない fact9: 仮にあの定量は旨しとすれば「この骨灰は弄り始める」ということは事実である fact10: もしも何らかの物が弄り始めれば血管拡張でないしおまけにそれは非対称姿勢である fact11: あの六十三．一．一基発が質問出来るとしたらそれは管理し易くない fact12: あの六十三．一．一基発は質問出来る fact13: 仮にあの六十三．一．一基発が軽しないなら管理し易くない fact14: この大掴みが臨模でないとするとその教壇は臨模だということはない fact15: もしこの骨灰が血管拡張でないならそのアセスメント基準は質問出来る fact16: 仮にある物はメルカプトプリンでないなら前金でない fact17: もしもなにがしかのものがトリニティ・カレッジでないとすればそれは軽しない fact18: もしもとある物は血管拡張でないならそれは質問出来るししかも管理し易い fact19: もし仮にそのアセスメント基準が質問出来るならばあの大掴みは質問出来る
fact8 -> int1: もしあの六十三．一．一基発は管理し易くないなら臨模でない; fact11 & fact12 -> int2: あの六十三．一．一基発は管理し易いということはない; int1 & int2 -> hypothesis;
その教壇は臨模であるということはない
fact23 -> int3: もし仮にこの骨灰が弄り始めれば血管拡張でないがしかし非対称姿勢だ; fact20 -> int4: あの定量がダイヤグラムでないとするとそれは蒸かすしかつ旨し; fact25 -> int5: 仮に「あの定量は時間差であるし頼み難い」ということは事実であるということはないとすればそれはダイヤグラムでない; int5 & fact21 -> int6: あの定量はダイヤグラムでない; int4 & int6 -> int7: あの定量は蒸かすしその上旨し; int7 -> int8: あの定量は旨し; fact26 & int8 -> int9: この骨灰は弄り始める; int3 & int9 -> int10: この骨灰は血管拡張でないが非対称姿勢だ; int10 -> int11: この骨灰は血管拡張でない; fact24 & int11 -> int12: そのアセスメント基準は質問出来る; fact28 & int12 -> int13: この大掴みは質問出来る;
$facts$ = fact1: 「その質感は質問出来るということはない」ということは成り立つ fact2: ある物がダイヤグラムでないとしたら蒸かすしまたそれは旨し fact3: 「あるものは時間差でそれに頼み難い」ということは嘘であるならダイヤグラムでない fact4: この大掴みが管理し易くないとするとその教壇は臨模でない fact5: 「あの定量は時間差であるし更に頼み難い」ということは正しくない fact6: 仮にこの大掴みが臨模だとしたらあの六十三．一．一基発は臨模だ fact7: その保有数は臨模だ fact8: 管理し易くない物は臨模でない fact9: 仮にあの定量は旨しとすれば「この骨灰は弄り始める」ということは事実である fact10: もしも何らかの物が弄り始めれば血管拡張でないしおまけにそれは非対称姿勢である fact11: あの六十三．一．一基発が質問出来るとしたらそれは管理し易くない fact12: あの六十三．一．一基発は質問出来る fact13: 仮にあの六十三．一．一基発が軽しないなら管理し易くない fact14: この大掴みが臨模でないとするとその教壇は臨模だということはない fact15: もしこの骨灰が血管拡張でないならそのアセスメント基準は質問出来る fact16: 仮にある物はメルカプトプリンでないなら前金でない fact17: もしもなにがしかのものがトリニティ・カレッジでないとすればそれは軽しない fact18: もしもとある物は血管拡張でないならそれは質問出来るししかも管理し易い fact19: もし仮にそのアセスメント基準が質問出来るならばあの大掴みは質問出来る ; $hypothesis$ = あの六十三．一．一基発は臨模でない ; $proof$ = 
fact8 -> int1: もしあの六十三．一．一基発は管理し易くないなら臨模でない; fact11 & fact12 -> int2: あの六十三．一．一基発は管理し易いということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: 「その質感は質問出来るということはない」ということは成り立つ
事実2: ある物がダイヤグラムでないとしたら蒸かすしまたそれは旨し
事実3: 「あるものは時間差でそれに頼み難い」ということは嘘であるならダイヤグラムでない
事実4: この大掴みが管理し易くないとするとその教壇は臨模でない
事実5: 「あの定量は時間差であるし更に頼み難い」ということは正しくない
事実6: 仮にこの大掴みが臨模だとしたらあの六十三．一．一基発は臨模だ
事実7: その保有数は臨模だ
事実8: 管理し易くない物は臨模でない
事実9: 仮にあの定量は旨しとすれば「この骨灰は弄り始める」ということは事実である
事実10: もしも何らかの物が弄り始めれば血管拡張でないしおまけにそれは非対称姿勢である
事実11: あの六十三．一．一基発が質問出来るとしたらそれは管理し易くない
事実12: あの六十三．一．一基発は質問出来る
事実13: 仮にあの六十三．一．一基発が軽しないなら管理し易くない
事実14: この大掴みが臨模でないとするとその教壇は臨模だということはない
事実15: もしこの骨灰が血管拡張でないならそのアセスメント基準は質問出来る
事実16: 仮にある物はメルカプトプリンでないなら前金でない
事実17: もしもなにがしかのものがトリニティ・カレッジでないとすればそれは軽しない
事実18: もしもとある物は血管拡張でないならそれは質問出来るししかも管理し易い
事実19: もし仮にそのアセスメント基準が質問出来るならばあの大掴みは質問出来る

仮説: あの六十三．一．一基発は臨模でない
1. 事実8から、推論1: "もしあの六十三．一．一基発は管理し易くないなら臨模でない"が導かれる
2. 事実11と事実12から、推論2: "あの六十三．一．一基発は管理し易いということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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