この三百ＰＳは発生時期だ
fact1: その最新機能は利用し得ない fact2: この酢酸カリウムはＤＤＩでない fact3: なにかは思わしくないとしたら「それは扁桃体であるし更におっかしい」ということは成り立たない fact4: もし「「有り難くないしさらに最小行政区画だ」ということは嘘な」物があるとすればこの三百ＰＳは分かち難くない fact5: 仮になにかは分かち難くないとすれば「「それは重いけれどＤＤＩでない」ということは本当である」ということは成り立たない fact6: もし仮になんらかの物は発生時期でないとしたら「重いしまたそれはＤＤＩである」ということは成り立たない fact7: もし仮に「この酢酸カリウムは重くない」ということは成り立てば「ＤＤＩだしさらに最小行政区画だ」ということは成り立つということはない fact8: 「この酢酸カリウムは有り難くない一方で最小行政区画である」ということは間違っている fact9: その最新機能がプライマリ・ケアであるならそれは発生時期であるということはないしその上交わる fact10: 「「有り難いしそれに最小行政区画である」ということは嘘な」ものはある fact11: もし仮にあの煮付けは分かち難くないとすれば「この三百ＰＳは導入すということはないがしかし区別し易い」ということは誤りである fact12: 仮にその最新機能が利用し得るということはないとすればプライマリ・ケアであるししかも借る fact13: もし「ある物は重いがしかしＤＤＩでない」ということは間違いであるとすると「発生時期だ」ということは正しい fact14: 仮に「この酢酸カリウムは発生時期であるがしかし最小行政区画でない」ということは成り立たないなら分かち難い fact15: もしも「最小行政区画でない」ものがあるとするとこの三百ＰＳは分かち難くない fact16: 仮に「なにかは内頸動脈系閉塞性変化である一方で地面でない」ということは誤りであるとするとそれは延長出来る
fact8 -> int1: 「「有り難くないし最小行政区画だ」ということは事実でない」ものはある; int1 & fact4 -> int2: この三百ＰＳは分かち難くない; fact5 -> int3: 仮に「この三百ＰＳは分かち難くない」ということは真実だとしたら「それは重いけれどＤＤＩでない」ということは誤りだ; int2 & int3 -> int4: 「この三百ＰＳは重いがそれはＤＤＩでない」ということは間違っている; fact13 -> int5: もし「この三百ＰＳは重いがＤＤＩでない」ということは成り立たないならそれは発生時期だ; int4 & int5 -> hypothesis;
「「導入すということはないけど区別し易い」ということは誤っている」物はある
fact20 -> int6: もしその最新機能は発生時期でないならば「重くてＤＤＩである」ということは正しくない; fact17 & fact21 -> int7: その最新機能はプライマリ・ケアであるしさらに借る; int7 -> int8: その最新機能はプライマリ・ケアだ; fact18 & int8 -> int9: その最新機能は発生時期でない一方で交わる; int9 -> int10: その最新機能は発生時期だということはない; int6 & int10 -> int11: 「その最新機能は重いしそれはＤＤＩである」ということは成り立たない; int11 -> int12: 「「重くてＤＤＩである」ということは成り立たない」ものはある;
$facts$ = fact1: その最新機能は利用し得ない fact2: この酢酸カリウムはＤＤＩでない fact3: なにかは思わしくないとしたら「それは扁桃体であるし更におっかしい」ということは成り立たない fact4: もし「「有り難くないしさらに最小行政区画だ」ということは嘘な」物があるとすればこの三百ＰＳは分かち難くない fact5: 仮になにかは分かち難くないとすれば「「それは重いけれどＤＤＩでない」ということは本当である」ということは成り立たない fact6: もし仮になんらかの物は発生時期でないとしたら「重いしまたそれはＤＤＩである」ということは成り立たない fact7: もし仮に「この酢酸カリウムは重くない」ということは成り立てば「ＤＤＩだしさらに最小行政区画だ」ということは成り立つということはない fact8: 「この酢酸カリウムは有り難くない一方で最小行政区画である」ということは間違っている fact9: その最新機能がプライマリ・ケアであるならそれは発生時期であるということはないしその上交わる fact10: 「「有り難いしそれに最小行政区画である」ということは嘘な」ものはある fact11: もし仮にあの煮付けは分かち難くないとすれば「この三百ＰＳは導入すということはないがしかし区別し易い」ということは誤りである fact12: 仮にその最新機能が利用し得るということはないとすればプライマリ・ケアであるししかも借る fact13: もし「ある物は重いがしかしＤＤＩでない」ということは間違いであるとすると「発生時期だ」ということは正しい fact14: 仮に「この酢酸カリウムは発生時期であるがしかし最小行政区画でない」ということは成り立たないなら分かち難い fact15: もしも「最小行政区画でない」ものがあるとするとこの三百ＰＳは分かち難くない fact16: 仮に「なにかは内頸動脈系閉塞性変化である一方で地面でない」ということは誤りであるとするとそれは延長出来る ; $hypothesis$ = この三百ＰＳは発生時期だ ; $proof$ = 
fact8 -> int1: 「「有り難くないし最小行政区画だ」ということは事実でない」ものはある; int1 & fact4 -> int2: この三百ＰＳは分かち難くない; fact5 -> int3: 仮に「この三百ＰＳは分かち難くない」ということは真実だとしたら「それは重いけれどＤＤＩでない」ということは誤りだ; int2 & int3 -> int4: 「この三百ＰＳは重いがそれはＤＤＩでない」ということは間違っている; fact13 -> int5: もし「この三百ＰＳは重いがＤＤＩでない」ということは成り立たないならそれは発生時期だ; int4 & int5 -> hypothesis; __PROVED__
事実1: その最新機能は利用し得ない
事実2: この酢酸カリウムはＤＤＩでない
事実3: なにかは思わしくないとしたら「それは扁桃体であるし更におっかしい」ということは成り立たない
事実4: もし「「有り難くないしさらに最小行政区画だ」ということは嘘な」物があるとすればこの三百ＰＳは分かち難くない
事実5: 仮になにかは分かち難くないとすれば「「それは重いけれどＤＤＩでない」ということは本当である」ということは成り立たない
事実6: もし仮になんらかの物は発生時期でないとしたら「重いしまたそれはＤＤＩである」ということは成り立たない
事実7: もし仮に「この酢酸カリウムは重くない」ということは成り立てば「ＤＤＩだしさらに最小行政区画だ」ということは成り立つということはない
事実8: 「この酢酸カリウムは有り難くない一方で最小行政区画である」ということは間違っている
事実9: その最新機能がプライマリ・ケアであるならそれは発生時期であるということはないしその上交わる
事実10: 「「有り難いしそれに最小行政区画である」ということは嘘な」ものはある
事実11: もし仮にあの煮付けは分かち難くないとすれば「この三百ＰＳは導入すということはないがしかし区別し易い」ということは誤りである
事実12: 仮にその最新機能が利用し得るということはないとすればプライマリ・ケアであるししかも借る
事実13: もし「ある物は重いがしかしＤＤＩでない」ということは間違いであるとすると「発生時期だ」ということは正しい
事実14: 仮に「この酢酸カリウムは発生時期であるがしかし最小行政区画でない」ということは成り立たないなら分かち難い
事実15: もしも「最小行政区画でない」ものがあるとするとこの三百ＰＳは分かち難くない
事実16: 仮に「なにかは内頸動脈系閉塞性変化である一方で地面でない」ということは誤りであるとするとそれは延長出来る

仮説: この三百ＰＳは発生時期だ
1. 事実8から、推論1: "「「有り難くないし最小行政区画だ」ということは事実でない」ものはある"が導かれる
2. 推論1と事実4から、推論2: "この三百ＰＳは分かち難くない"が導かれる
3. 事実5から、推論3: "仮に「この三百ＰＳは分かち難くない」ということは真実だとしたら「それは重いけれどＤＤＩでない」ということは誤りだ"が導かれる
4. 推論2と推論3から、推論4: "「この三百ＰＳは重いがそれはＤＤＩでない」ということは間違っている"が導かれる
5. 事実13から、推論5: "もし「この三百ＰＳは重いがＤＤＩでない」ということは成り立たないならそれは発生時期だ"が導かれる
6. 推論4と推論5から、仮説が導かれる

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