あの権利部は削げ落ちるが潔しということはない
fact1: 仮にあの権利部が読み出せればそれは削げ落ちる fact2: あの権利部は在籍する fact3: もし何らかのものは読み出せないとしたら「「それは削げ落ちるけれど潔しない」ということは間違っているということはない」ということは本当でない fact4: もし「「自伝的小説であるしおまけに在籍する」ということは誤っている」ものがあるとしたらあの権利部は読み出せる fact5: 「「大平内閣でおまけに自由論だ」ということは事実と異なる」物はある fact6: 「「ツインテールであるし気味悪がる」ということは誤っている」ものはある fact7: 「仮に「「読み出せるし理解し難い」ということは間違いである」ものがあればあの権利部は四辺形である」ということは成り立つ fact8: 「「「自伝的小説だししかも在籍する」ということは確かである」ということは成り立たない」ものはある fact9: もしあの権利部が読み出せるとすると廃止するけれど心優しくない fact10: 何かは出獄するとしたらそれは面白い fact11: 仮にあるものは左腿であるならそれは通り難い fact12: もし仮に「上り易くない」ものがあるとしたらあの権利部は奴隷一揆である fact13: 「あの権利部は削げ落ちない」ということは嘘だ fact14: 「懐っこいしエンジョイする」物はある fact15: あの南方位は在籍する fact16: もしもとある物が読み出せるとするとそれは削げ落ちるしおまけに潔しということはない fact17: 双手は可動性である fact18: もし仮にその箙が削げ落ちるとすれば左腿でしかもそれは帝都復興事業だということはない fact19: もし「「書き難くてまた離れ難い」ということは成り立たない」ものがあるとしたらあの権利部は光る
fact8 & fact4 -> int1: あの権利部は読み出せる; fact16 -> int2: 仮にあの権利部が読み出せるとするとそれは削げ落ちるけれど潔しない; int1 & int2 -> hypothesis;
fact8 & fact4 -> int1: {A}{a}; fact16 -> int2: {A}{a} -> ({B}{a} & ¬{C}{a}); int1 & int2 -> hypothesis;
「あの権利部は削げ落ちるがしかし潔しということはない」ということは嘘だ
fact20 -> int3: もしもあの権利部は読み出せないとしたら「削げ落ちるししかも潔しない」ということは成り立たない;
$facts$ = fact1: 仮にあの権利部が読み出せればそれは削げ落ちる fact2: あの権利部は在籍する fact3: もし何らかのものは読み出せないとしたら「「それは削げ落ちるけれど潔しない」ということは間違っているということはない」ということは本当でない fact4: もし「「自伝的小説であるしおまけに在籍する」ということは誤っている」ものがあるとしたらあの権利部は読み出せる fact5: 「「大平内閣でおまけに自由論だ」ということは事実と異なる」物はある fact6: 「「ツインテールであるし気味悪がる」ということは誤っている」ものはある fact7: 「仮に「「読み出せるし理解し難い」ということは間違いである」ものがあればあの権利部は四辺形である」ということは成り立つ fact8: 「「「自伝的小説だししかも在籍する」ということは確かである」ということは成り立たない」ものはある fact9: もしあの権利部が読み出せるとすると廃止するけれど心優しくない fact10: 何かは出獄するとしたらそれは面白い fact11: 仮にあるものは左腿であるならそれは通り難い fact12: もし仮に「上り易くない」ものがあるとしたらあの権利部は奴隷一揆である fact13: 「あの権利部は削げ落ちない」ということは嘘だ fact14: 「懐っこいしエンジョイする」物はある fact15: あの南方位は在籍する fact16: もしもとある物が読み出せるとするとそれは削げ落ちるしおまけに潔しということはない fact17: 双手は可動性である fact18: もし仮にその箙が削げ落ちるとすれば左腿でしかもそれは帝都復興事業だということはない fact19: もし「「書き難くてまた離れ難い」ということは成り立たない」ものがあるとしたらあの権利部は光る ; $hypothesis$ = あの権利部は削げ落ちるが潔しということはない ; $proof$ = 
fact8 & fact4 -> int1: あの権利部は読み出せる; fact16 -> int2: 仮にあの権利部が読み出せるとするとそれは削げ落ちるけれど潔しない; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮にあの権利部が読み出せればそれは削げ落ちる
事実2: あの権利部は在籍する
事実3: もし何らかのものは読み出せないとしたら「「それは削げ落ちるけれど潔しない」ということは間違っているということはない」ということは本当でない
事実4: もし「「自伝的小説であるしおまけに在籍する」ということは誤っている」ものがあるとしたらあの権利部は読み出せる
事実5: 「「大平内閣でおまけに自由論だ」ということは事実と異なる」物はある
事実6: 「「ツインテールであるし気味悪がる」ということは誤っている」ものはある
事実7: 「仮に「「読み出せるし理解し難い」ということは間違いである」ものがあればあの権利部は四辺形である」ということは成り立つ
事実8: 「「「自伝的小説だししかも在籍する」ということは確かである」ということは成り立たない」ものはある
事実9: もしあの権利部が読み出せるとすると廃止するけれど心優しくない
事実10: 何かは出獄するとしたらそれは面白い
事実11: 仮にあるものは左腿であるならそれは通り難い
事実12: もし仮に「上り易くない」ものがあるとしたらあの権利部は奴隷一揆である
事実13: 「あの権利部は削げ落ちない」ということは嘘だ
事実14: 「懐っこいしエンジョイする」物はある
事実15: あの南方位は在籍する
事実16: もしもとある物が読み出せるとするとそれは削げ落ちるしおまけに潔しということはない
事実17: 双手は可動性である
事実18: もし仮にその箙が削げ落ちるとすれば左腿でしかもそれは帝都復興事業だということはない
事実19: もし「「書き難くてまた離れ難い」ということは成り立たない」ものがあるとしたらあの権利部は光る

仮説: あの権利部は削げ落ちるが潔しということはない
1. 事実8と事実4から、推論1: "あの権利部は読み出せる"が導かれる
2. 事実16から、推論2: "仮にあの権利部が読み出せるとするとそれは削げ落ちるけれど潔しない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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