この遊休時間は同筆であるし執着する
fact1: もし仮にその機械化部隊が併呑するがしかしインポテンスでないならこの遊休時間は延命しない fact2: この遊休時間は珍しい fact3: 「与え難いものは書き込み中である」ということは真実だ fact4: 「この遊休時間はインポテンスである」ということは真実だ fact5: 「その自然誌は生産コストだけれどイコールであるということはない」ということは間違っているならその手数は生産コストでない fact6: 仮にその手数が生産コストでないならばあの機械化部隊は併呑しないし更にそれはサイドビューでない fact7: なんらかのものはプレゼンテーション用であるがしかし売り買いしない fact8: 仮にこの遊休時間が延命するけど併呑するということはないとすればその機械化部隊はインポテンスでない fact9: 仮に「なにかは借り切る一方で底深くない」ということは成り立たないならばそれは借り切らない fact10: もしなにがしかの物は借り切らないなら「「それは生産コストであるしそれにイコールでない」ということは確かだ」ということは間違っている fact11: その機械化部隊は併呑するがインポテンスでない fact12: 「その機械化部隊は延命しない」ということは成り立つとしたら「この遊休時間は同筆でまた執着する」ということは嘘だ fact13: もし仮にとあるものは併呑しなくてその上サイドビューでないとするとインポテンスでない fact14: もし仮にその自然誌はもどかしくないならば「それは借り切るけれど底深くない」ということは偽だ fact15: もしも何かは延命しないとしたらそれは同筆だ fact16: 珍しい物は執着する
fact15 -> int1: もしこの遊休時間が延命しないとすればそれは同筆である; fact1 & fact11 -> int2: この遊休時間は延命するということはない; int1 & int2 -> int3: この遊休時間は同筆である; fact16 -> int4: 仮にこの遊休時間が珍しいとするとそれは執着する; int4 & fact2 -> int5: 「この遊休時間は執着する」ということは事実だ; int3 & int5 -> hypothesis;
「この遊休時間は同筆だし執着する」ということは誤りである
fact22 -> int6: もしその機械化部隊が併呑しなくてしかもそれはサイドビューでないとするとそれはインポテンスでない; fact19 -> int7: 仮にその自然誌は借り切るということはないならば「生産コストであるしそれにイコールでない」ということは偽だ; fact20 -> int8: もし「その自然誌は借り切るがしかし底深くない」ということは事実でないとすると借り切らない;
$facts$ = fact1: もし仮にその機械化部隊が併呑するがしかしインポテンスでないならこの遊休時間は延命しない fact2: この遊休時間は珍しい fact3: 「与え難いものは書き込み中である」ということは真実だ fact4: 「この遊休時間はインポテンスである」ということは真実だ fact5: 「その自然誌は生産コストだけれどイコールであるということはない」ということは間違っているならその手数は生産コストでない fact6: 仮にその手数が生産コストでないならばあの機械化部隊は併呑しないし更にそれはサイドビューでない fact7: なんらかのものはプレゼンテーション用であるがしかし売り買いしない fact8: 仮にこの遊休時間が延命するけど併呑するということはないとすればその機械化部隊はインポテンスでない fact9: 仮に「なにかは借り切る一方で底深くない」ということは成り立たないならばそれは借り切らない fact10: もしなにがしかの物は借り切らないなら「「それは生産コストであるしそれにイコールでない」ということは確かだ」ということは間違っている fact11: その機械化部隊は併呑するがインポテンスでない fact12: 「その機械化部隊は延命しない」ということは成り立つとしたら「この遊休時間は同筆でまた執着する」ということは嘘だ fact13: もし仮にとあるものは併呑しなくてその上サイドビューでないとするとインポテンスでない fact14: もし仮にその自然誌はもどかしくないならば「それは借り切るけれど底深くない」ということは偽だ fact15: もしも何かは延命しないとしたらそれは同筆だ fact16: 珍しい物は執着する ; $hypothesis$ = この遊休時間は同筆であるし執着する ; $proof$ = 
fact15 -> int1: もしこの遊休時間が延命しないとすればそれは同筆である; fact1 & fact11 -> int2: この遊休時間は延命するということはない; int1 & int2 -> int3: この遊休時間は同筆である; fact16 -> int4: 仮にこの遊休時間が珍しいとするとそれは執着する; int4 & fact2 -> int5: 「この遊休時間は執着する」ということは事実だ; int3 & int5 -> hypothesis; __PROVED__
事実1: もし仮にその機械化部隊が併呑するがしかしインポテンスでないならこの遊休時間は延命しない
事実2: この遊休時間は珍しい
事実3: 「与え難いものは書き込み中である」ということは真実だ
事実4: 「この遊休時間はインポテンスである」ということは真実だ
事実5: 「その自然誌は生産コストだけれどイコールであるということはない」ということは間違っているならその手数は生産コストでない
事実6: 仮にその手数が生産コストでないならばあの機械化部隊は併呑しないし更にそれはサイドビューでない
事実7: なんらかのものはプレゼンテーション用であるがしかし売り買いしない
事実8: 仮にこの遊休時間が延命するけど併呑するということはないとすればその機械化部隊はインポテンスでない
事実9: 仮に「なにかは借り切る一方で底深くない」ということは成り立たないならばそれは借り切らない
事実10: もしなにがしかの物は借り切らないなら「「それは生産コストであるしそれにイコールでない」ということは確かだ」ということは間違っている
事実11: その機械化部隊は併呑するがインポテンスでない
事実12: 「その機械化部隊は延命しない」ということは成り立つとしたら「この遊休時間は同筆でまた執着する」ということは嘘だ
事実13: もし仮にとあるものは併呑しなくてその上サイドビューでないとするとインポテンスでない
事実14: もし仮にその自然誌はもどかしくないならば「それは借り切るけれど底深くない」ということは偽だ
事実15: もしも何かは延命しないとしたらそれは同筆だ
事実16: 珍しい物は執着する

仮説: この遊休時間は同筆であるし執着する
1. 事実15から、推論1: "もしこの遊休時間が延命しないとすればそれは同筆である"が導かれる
2. 事実1と事実11から、推論2: "この遊休時間は延命するということはない"が導かれる
3. 推論1と推論2から、推論3: "この遊休時間は同筆である"が導かれる
4. 事実16から、推論4: "仮にこの遊休時間が珍しいとするとそれは執着する"が導かれる
5. 推論4と事実2から、推論5: "「この遊休時間は執着する」ということは事実だ"が導かれる
6. 推論3と推論5から、仮説が導かれる

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