あの変更作業は検地でない一方で押し頂く
fact1: 仮に「「拡大出来るしコードＸでない」ということは成り立たない」ものがあるとしたらあの知識ベースは疑わしいということはない fact2: もし仮になにかは防除しないならば「疑わしくてかつ拡大出来る」ということは誤りである fact3: もしあの知識ベースはコードＸであるし押し頂くとしたら「この重要箇所は押し頂かない」ということは本当だ fact4: あの変更作業は検地でない fact5: もしも何らかのものが疑わしくないなら拡大出来るしコードＸだ fact6: あの育児・介護等は疑わしい fact7: 仮に「あの知識ベースは疑わしいということはない」ということは成り立つとするとあの育児・介護等は疑わしい一方で押し頂かない fact8: その電話ネットワークは拡大出来るということはない fact9: もし仮に「そのオブジェクト型は防除するが通じ易くない」ということは嘘であるとすると防除しない fact10: もしなにかは疑わしいとすれば「あの変更作業は検地でない」ということは本当である fact11: もし何かは拡大出来るなら育成出来なくて出し難い fact12: もしもあの育児・介護等が押し頂かないならあの変更作業は検地でないけれどそれは押し頂く fact13: あの育児・介護等が押し頂かないとするとあの変更作業は検地でない fact14: この重要箇所は拡大出来るということはない fact15: もしあの育児・介護等が拡大出来ないとすればあの知識ベースはコードＸでおまけに押し頂く fact16: もし「「あの知識ベースは疑わしい一方で検地だということはない」ということは間違っている」ということは成り立つならこの重要箇所は疑わしい fact17: 何かは拡大出来るけれどそれはコードＸでない
void -> assump1: 以下のように仮定する。この重要箇所は拡大出来るけどコードＸでない; assump1 -> int1: この重要箇所は拡大出来る; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「「この重要箇所は拡大出来るがしかしコードＸであるということはない」ということは確かである」ということは誤りだ; int3 -> int4: 「「拡大出来る一方でコードＸでない」ということは本当であるということはない」物はある; int4 & fact1 -> int5: あの知識ベースは疑わしくない; int5 & fact7 -> int6: あの育児・介護等は疑わしいがそれは押し頂かない; int6 -> int7: あの育児・介護等は押し頂かない; int7 & fact12 -> hypothesis;
あの凸面は育成出来ない一方で出し難い
fact19 -> int8: もし仮にあの凸面が拡大出来るとすると育成出来るということはなくてそれにそれは出し難い; fact20 -> int9: もしもあの凸面が疑わしくないとすればそれは拡大出来るししかもコードＸである;
$facts$ = fact1: 仮に「「拡大出来るしコードＸでない」ということは成り立たない」ものがあるとしたらあの知識ベースは疑わしいということはない fact2: もし仮になにかは防除しないならば「疑わしくてかつ拡大出来る」ということは誤りである fact3: もしあの知識ベースはコードＸであるし押し頂くとしたら「この重要箇所は押し頂かない」ということは本当だ fact4: あの変更作業は検地でない fact5: もしも何らかのものが疑わしくないなら拡大出来るしコードＸだ fact6: あの育児・介護等は疑わしい fact7: 仮に「あの知識ベースは疑わしいということはない」ということは成り立つとするとあの育児・介護等は疑わしい一方で押し頂かない fact8: その電話ネットワークは拡大出来るということはない fact9: もし仮に「そのオブジェクト型は防除するが通じ易くない」ということは嘘であるとすると防除しない fact10: もしなにかは疑わしいとすれば「あの変更作業は検地でない」ということは本当である fact11: もし何かは拡大出来るなら育成出来なくて出し難い fact12: もしもあの育児・介護等が押し頂かないならあの変更作業は検地でないけれどそれは押し頂く fact13: あの育児・介護等が押し頂かないとするとあの変更作業は検地でない fact14: この重要箇所は拡大出来るということはない fact15: もしあの育児・介護等が拡大出来ないとすればあの知識ベースはコードＸでおまけに押し頂く fact16: もし「「あの知識ベースは疑わしい一方で検地だということはない」ということは間違っている」ということは成り立つならこの重要箇所は疑わしい fact17: 何かは拡大出来るけれどそれはコードＸでない ; $hypothesis$ = あの変更作業は検地でない一方で押し頂く ; $proof$ = 
void -> assump1: 以下のように仮定する。この重要箇所は拡大出来るけどコードＸでない; assump1 -> int1: この重要箇所は拡大出来る; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「「この重要箇所は拡大出来るがしかしコードＸであるということはない」ということは確かである」ということは誤りだ; int3 -> int4: 「「拡大出来る一方でコードＸでない」ということは本当であるということはない」物はある; int4 & fact1 -> int5: あの知識ベースは疑わしくない; int5 & fact7 -> int6: あの育児・介護等は疑わしいがそれは押し頂かない; int6 -> int7: あの育児・介護等は押し頂かない; int7 & fact12 -> hypothesis; __PROVED__
事実1: 仮に「「拡大出来るしコードＸでない」ということは成り立たない」ものがあるとしたらあの知識ベースは疑わしいということはない
事実2: もし仮になにかは防除しないならば「疑わしくてかつ拡大出来る」ということは誤りである
事実3: もしあの知識ベースはコードＸであるし押し頂くとしたら「この重要箇所は押し頂かない」ということは本当だ
事実4: あの変更作業は検地でない
事実5: もしも何らかのものが疑わしくないなら拡大出来るしコードＸだ
事実6: あの育児・介護等は疑わしい
事実7: 仮に「あの知識ベースは疑わしいということはない」ということは成り立つとするとあの育児・介護等は疑わしい一方で押し頂かない
事実8: その電話ネットワークは拡大出来るということはない
事実9: もし仮に「そのオブジェクト型は防除するが通じ易くない」ということは嘘であるとすると防除しない
事実10: もしなにかは疑わしいとすれば「あの変更作業は検地でない」ということは本当である
事実11: もし何かは拡大出来るなら育成出来なくて出し難い
事実12: もしもあの育児・介護等が押し頂かないならあの変更作業は検地でないけれどそれは押し頂く
事実13: あの育児・介護等が押し頂かないとするとあの変更作業は検地でない
事実14: この重要箇所は拡大出来るということはない
事実15: もしあの育児・介護等が拡大出来ないとすればあの知識ベースはコードＸでおまけに押し頂く
事実16: もし「「あの知識ベースは疑わしい一方で検地だということはない」ということは間違っている」ということは成り立つならこの重要箇所は疑わしい
事実17: 何かは拡大出来るけれどそれはコードＸでない

仮説: あの変更作業は検地でない一方で押し頂く
1. 仮定1: 以下のように仮定する。この重要箇所は拡大出来るけどコードＸでない
2. 仮定1から、推論1: "この重要箇所は拡大出来る"が導かれる
3. 推論1と事実14から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「「この重要箇所は拡大出来るがしかしコードＸであるということはない」ということは確かである」ということは誤りだ"が導かれる
5. 推論3から、推論4: "「「拡大出来る一方でコードＸでない」ということは本当であるということはない」物はある"が導かれる
6. 推論4と事実1から、推論5: "あの知識ベースは疑わしくない"が導かれる
7. 推論5と事実7から、推論6: "あの育児・介護等は疑わしいがそれは押し頂かない"が導かれる
8. 推論6から、推論7: "あの育児・介護等は押し頂かない"が導かれる
9. 推論7と事実12から、仮説が導かれる

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