その自己負担分は間違い無い
fact1: その自己負担分が肌寒くないならば健聴者だ fact2: もしその自己負担分はおどろおどろしくないが減り込むとすれば間違い無い fact3: もし仮にその生活保護世帯がＲＳフリップフロップであるならばその自己負担分は四等分する fact4: もしこの筋グリコーゲンが減り込まないしさらにアルファベット・記号でないならその自己負担分は減り込む fact5: もし仮に何かは親しくないなら減り込まない fact6: その生活保護世帯はＲＳフリップフロップだ fact7: この筋グリコーゲンが減り込むがそれがアルファベット・記号だということはないならその自己負担分は減り込む fact8: その自己負担分は発信出来る fact9: もしもその自己負担分が健聴者であるしさらにそれが危なっかしいとすればそれはおどろおどろしいということはない fact10: 「ある物はＲＳフリップフロップだししかも四等分する」ということは間違いならばそれは間違い無くない fact11: もしなにがしかの物が四等分するしおまけにそれが発信出来るとするとそれは肌寒くない fact12: この筋グリコーゲンは親しくない fact13: 親しいということはない物は減り込まなくておまけにアルファベット・記号でない fact14: もしも「その生活保護世帯は発信出来るということはない」ということは真実だとしたら「その自己負担分がＲＳフリップフロップだしまたそれは四等分する」ということは偽だ fact15: その自己負担分は危なっかしい
fact3 & fact6 -> int1: その自己負担分は四等分する; int1 & fact8 -> int2: その自己負担分は四等分するし発信出来る; fact11 -> int3: もしもその自己負担分は四等分するししかも発信出来るとすればそれは肌寒くない; int2 & int3 -> int4: 「その自己負担分は肌寒いということはない」ということは成り立つ; int4 & fact1 -> int5: その自己負担分は健聴者である; int5 & fact15 -> int6: その自己負担分は健聴者であるしさらに危なっかしい; int6 & fact9 -> int7: その自己負担分はおどろおどろしくない; fact13 -> int8: この筋グリコーゲンが親しくないならば減り込まなくてそれはアルファベット・記号でない; fact12 & int8 -> int9: この筋グリコーゲンは減り込まないしさらにアルファベット・記号でない; fact4 & int9 -> int10: 「その自己負担分は減り込む」ということは本当である; int7 & int10 -> int11: その自己負担分はおどろおどろしくないけれど減り込む; int11 & fact2 -> hypothesis;
その自己負担分は間違い無くない
fact16 -> int12: もし「その自己負担分がＲＳフリップフロップだしそれは四等分する」ということは成り立たないならばそれは間違い無くない;
$facts$ = fact1: その自己負担分が肌寒くないならば健聴者だ fact2: もしその自己負担分はおどろおどろしくないが減り込むとすれば間違い無い fact3: もし仮にその生活保護世帯がＲＳフリップフロップであるならばその自己負担分は四等分する fact4: もしこの筋グリコーゲンが減り込まないしさらにアルファベット・記号でないならその自己負担分は減り込む fact5: もし仮に何かは親しくないなら減り込まない fact6: その生活保護世帯はＲＳフリップフロップだ fact7: この筋グリコーゲンが減り込むがそれがアルファベット・記号だということはないならその自己負担分は減り込む fact8: その自己負担分は発信出来る fact9: もしもその自己負担分が健聴者であるしさらにそれが危なっかしいとすればそれはおどろおどろしいということはない fact10: 「ある物はＲＳフリップフロップだししかも四等分する」ということは間違いならばそれは間違い無くない fact11: もしなにがしかの物が四等分するしおまけにそれが発信出来るとするとそれは肌寒くない fact12: この筋グリコーゲンは親しくない fact13: 親しいということはない物は減り込まなくておまけにアルファベット・記号でない fact14: もしも「その生活保護世帯は発信出来るということはない」ということは真実だとしたら「その自己負担分がＲＳフリップフロップだしまたそれは四等分する」ということは偽だ fact15: その自己負担分は危なっかしい ; $hypothesis$ = その自己負担分は間違い無い ; $proof$ = 
fact3 & fact6 -> int1: その自己負担分は四等分する; int1 & fact8 -> int2: その自己負担分は四等分するし発信出来る; fact11 -> int3: もしもその自己負担分は四等分するししかも発信出来るとすればそれは肌寒くない; int2 & int3 -> int4: 「その自己負担分は肌寒いということはない」ということは成り立つ; int4 & fact1 -> int5: その自己負担分は健聴者である; int5 & fact15 -> int6: その自己負担分は健聴者であるしさらに危なっかしい; int6 & fact9 -> int7: その自己負担分はおどろおどろしくない; fact13 -> int8: この筋グリコーゲンが親しくないならば減り込まなくてそれはアルファベット・記号でない; fact12 & int8 -> int9: この筋グリコーゲンは減り込まないしさらにアルファベット・記号でない; fact4 & int9 -> int10: 「その自己負担分は減り込む」ということは本当である; int7 & int10 -> int11: その自己負担分はおどろおどろしくないけれど減り込む; int11 & fact2 -> hypothesis; __PROVED__
事実1: その自己負担分が肌寒くないならば健聴者だ
事実2: もしその自己負担分はおどろおどろしくないが減り込むとすれば間違い無い
事実3: もし仮にその生活保護世帯がＲＳフリップフロップであるならばその自己負担分は四等分する
事実4: もしこの筋グリコーゲンが減り込まないしさらにアルファベット・記号でないならその自己負担分は減り込む
事実5: もし仮に何かは親しくないなら減り込まない
事実6: その生活保護世帯はＲＳフリップフロップだ
事実7: この筋グリコーゲンが減り込むがそれがアルファベット・記号だということはないならその自己負担分は減り込む
事実8: その自己負担分は発信出来る
事実9: もしもその自己負担分が健聴者であるしさらにそれが危なっかしいとすればそれはおどろおどろしいということはない
事実10: 「ある物はＲＳフリップフロップだししかも四等分する」ということは間違いならばそれは間違い無くない
事実11: もしなにがしかの物が四等分するしおまけにそれが発信出来るとするとそれは肌寒くない
事実12: この筋グリコーゲンは親しくない
事実13: 親しいということはない物は減り込まなくておまけにアルファベット・記号でない
事実14: もしも「その生活保護世帯は発信出来るということはない」ということは真実だとしたら「その自己負担分がＲＳフリップフロップだしまたそれは四等分する」ということは偽だ
事実15: その自己負担分は危なっかしい

仮説: その自己負担分は間違い無い
1. 事実3と事実6から、推論1: "その自己負担分は四等分する"が導かれる
2. 推論1と事実8から、推論2: "その自己負担分は四等分するし発信出来る"が導かれる
3. 事実11から、推論3: "もしもその自己負担分は四等分するししかも発信出来るとすればそれは肌寒くない"が導かれる
4. 推論2と推論3から、推論4: "「その自己負担分は肌寒いということはない」ということは成り立つ"が導かれる
5. 推論4と事実1から、推論5: "その自己負担分は健聴者である"が導かれる
6. 推論5と事実15から、推論6: "その自己負担分は健聴者であるしさらに危なっかしい"が導かれる
7. 推論6と事実9から、推論7: "その自己負担分はおどろおどろしくない"が導かれる
8. 事実13から、推論8: "この筋グリコーゲンが親しくないならば減り込まなくてそれはアルファベット・記号でない"が導かれる
9. 事実12と推論8から、推論9: "この筋グリコーゲンは減り込まないしさらにアルファベット・記号でない"が導かれる
10. 事実4と推論9から、推論10: "「その自己負担分は減り込む」ということは本当である"が導かれる
11. 推論7と推論10から、推論11: "その自己負担分はおどろおどろしくないけれど減り込む"が導かれる
12. 推論11と事実2から、仮説が導かれる

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