あの状態維持は宿泊出来ない一方でそれは頼り無い
fact1: もしもその隣保館等がプログラム化しないならばこの放射線障害は親しくないけれどプログラム化する fact2: 仮にそのＯＲＴは怠いなら「あの状態維持は宿泊出来るということはない一方で頼り無い」ということは成り立たない fact3: 「この放射線障害は親しいということはないけれどプログラム化する」ということは確かであるとしたらあのインクは宿泊出来ない fact4: もし仮に「この生理中は影響され易くないかもしくはサッポロファクトリーである」ということは成り立たないならこのチミンは投稿原稿だ fact5: もしもこのチミンが投稿原稿でないとしたらこの生理中は投稿原稿だということはないがそれは影響され易い fact6: 「この関数データベースは影響され易い」ということは間違いでない fact7: その川北警部は描き易い振り手形類似だ fact8: 仮にその川北警部が振り手形類似だとしたらこのチミンは振り手形類似だ fact9: この放射線障害は描き易い fact10: その川北警部はサッポロファクトリーでないがしかし描き易い fact11: そのＯＲＴは怠くらない fact12: 「あの状態維持は振り手形類似でないかまたはそれは宿泊出来るかもしくは両方である」ということは間違いであるならその川北警部は影響され易い fact13: もしその隣保館等がプログラム化しないとするとこの放射線障害は親しくない fact14: 「投稿原稿でかつ振り手形類似な」物があるとするとその隣保館等はプログラム化するということはない fact15: そのＯＲＴは投稿原稿だ fact16: この生理中は指揮棒である fact17: あの状態維持は影響され易くない fact18: あのインクが宿泊出来ないならあの状態維持は宿泊出来ないけれど頼り無い fact19: 仮にそのＯＲＴは怠くらないとしたら「この生理中は影響され易くないかそれはサッポロファクトリーであるかもしくは両方ともだ」ということは成り立たない
fact19 & fact11 -> int1: 「この生理中は影響され易くないかそれはサッポロファクトリーだ」ということは成り立つということはない; int1 & fact4 -> int2: このチミンは投稿原稿である; fact7 -> int3: その川北警部は振り手形類似である; fact8 & int3 -> int4: このチミンは振り手形類似である; int2 & int4 -> int5: このチミンは投稿原稿でおまけに振り手形類似だ; int5 -> int6: 「投稿原稿でかつ振り手形類似な」ものはある; int6 & fact14 -> int7: その隣保館等はプログラム化しない; int7 & fact1 -> int8: この放射線障害は親しくないけどプログラム化する; int8 & fact3 -> int9: あのインクは宿泊出来ない; int9 & fact18 -> hypothesis;
「あの状態維持は宿泊出来ないけれど頼り無い」ということは成り立つということはない
$facts$ = fact1: もしもその隣保館等がプログラム化しないならばこの放射線障害は親しくないけれどプログラム化する fact2: 仮にそのＯＲＴは怠いなら「あの状態維持は宿泊出来るということはない一方で頼り無い」ということは成り立たない fact3: 「この放射線障害は親しいということはないけれどプログラム化する」ということは確かであるとしたらあのインクは宿泊出来ない fact4: もし仮に「この生理中は影響され易くないかもしくはサッポロファクトリーである」ということは成り立たないならこのチミンは投稿原稿だ fact5: もしもこのチミンが投稿原稿でないとしたらこの生理中は投稿原稿だということはないがそれは影響され易い fact6: 「この関数データベースは影響され易い」ということは間違いでない fact7: その川北警部は描き易い振り手形類似だ fact8: 仮にその川北警部が振り手形類似だとしたらこのチミンは振り手形類似だ fact9: この放射線障害は描き易い fact10: その川北警部はサッポロファクトリーでないがしかし描き易い fact11: そのＯＲＴは怠くらない fact12: 「あの状態維持は振り手形類似でないかまたはそれは宿泊出来るかもしくは両方である」ということは間違いであるならその川北警部は影響され易い fact13: もしその隣保館等がプログラム化しないとするとこの放射線障害は親しくない fact14: 「投稿原稿でかつ振り手形類似な」物があるとするとその隣保館等はプログラム化するということはない fact15: そのＯＲＴは投稿原稿だ fact16: この生理中は指揮棒である fact17: あの状態維持は影響され易くない fact18: あのインクが宿泊出来ないならあの状態維持は宿泊出来ないけれど頼り無い fact19: 仮にそのＯＲＴは怠くらないとしたら「この生理中は影響され易くないかそれはサッポロファクトリーであるかもしくは両方ともだ」ということは成り立たない ; $hypothesis$ = あの状態維持は宿泊出来ない一方でそれは頼り無い ; $proof$ = 
fact19 & fact11 -> int1: 「この生理中は影響され易くないかそれはサッポロファクトリーだ」ということは成り立つということはない; int1 & fact4 -> int2: このチミンは投稿原稿である; fact7 -> int3: その川北警部は振り手形類似である; fact8 & int3 -> int4: このチミンは振り手形類似である; int2 & int4 -> int5: このチミンは投稿原稿でおまけに振り手形類似だ; int5 -> int6: 「投稿原稿でかつ振り手形類似な」ものはある; int6 & fact14 -> int7: その隣保館等はプログラム化しない; int7 & fact1 -> int8: この放射線障害は親しくないけどプログラム化する; int8 & fact3 -> int9: あのインクは宿泊出来ない; int9 & fact18 -> hypothesis; __PROVED__
事実1: もしもその隣保館等がプログラム化しないならばこの放射線障害は親しくないけれどプログラム化する
事実2: 仮にそのＯＲＴは怠いなら「あの状態維持は宿泊出来るということはない一方で頼り無い」ということは成り立たない
事実3: 「この放射線障害は親しいということはないけれどプログラム化する」ということは確かであるとしたらあのインクは宿泊出来ない
事実4: もし仮に「この生理中は影響され易くないかもしくはサッポロファクトリーである」ということは成り立たないならこのチミンは投稿原稿だ
事実5: もしもこのチミンが投稿原稿でないとしたらこの生理中は投稿原稿だということはないがそれは影響され易い
事実6: 「この関数データベースは影響され易い」ということは間違いでない
事実7: その川北警部は描き易い振り手形類似だ
事実8: 仮にその川北警部が振り手形類似だとしたらこのチミンは振り手形類似だ
事実9: この放射線障害は描き易い
事実10: その川北警部はサッポロファクトリーでないがしかし描き易い
事実11: そのＯＲＴは怠くらない
事実12: 「あの状態維持は振り手形類似でないかまたはそれは宿泊出来るかもしくは両方である」ということは間違いであるならその川北警部は影響され易い
事実13: もしその隣保館等がプログラム化しないとするとこの放射線障害は親しくない
事実14: 「投稿原稿でかつ振り手形類似な」物があるとするとその隣保館等はプログラム化するということはない
事実15: そのＯＲＴは投稿原稿だ
事実16: この生理中は指揮棒である
事実17: あの状態維持は影響され易くない
事実18: あのインクが宿泊出来ないならあの状態維持は宿泊出来ないけれど頼り無い
事実19: 仮にそのＯＲＴは怠くらないとしたら「この生理中は影響され易くないかそれはサッポロファクトリーであるかもしくは両方ともだ」ということは成り立たない

仮説: あの状態維持は宿泊出来ない一方でそれは頼り無い
1. 事実19と事実11から、推論1: "「この生理中は影響され易くないかそれはサッポロファクトリーだ」ということは成り立つということはない"が導かれる
2. 推論1と事実4から、推論2: "このチミンは投稿原稿である"が導かれる
3. 事実7から、推論3: "その川北警部は振り手形類似である"が導かれる
4. 事実8と推論3から、推論4: "このチミンは振り手形類似である"が導かれる
5. 推論2と推論4から、推論5: "このチミンは投稿原稿でおまけに振り手形類似だ"が導かれる
6. 推論5から、推論6: "「投稿原稿でかつ振り手形類似な」ものはある"が導かれる
7. 推論6と事実14から、推論7: "その隣保館等はプログラム化しない"が導かれる
8. 推論7と事実1から、推論8: "この放射線障害は親しくないけどプログラム化する"が導かれる
9. 推論8と事実3から、推論9: "あのインクは宿泊出来ない"が導かれる
10. 推論9と事実18から、仮説が導かれる

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