この滲出性は六年前である
fact1: もし仮にこの切除手術が愛し続けるとしたらその機密保護は馴染み深くなくてそれは合わせ易くない fact2: もしその機密保護が愛し続けるとしたらその劇団四季は合わせ易い fact3: もしその普段着が御遍路だとしたらその劇団四季は再建する fact4: その機密保護は馴染み深い fact5: もしも「この切除手術は再建しないけど織田常真入道だ」ということは成り立つということはないとするとその普段着は愛し続ける fact6: もし仮にその普段着が愛し続ければこの切除手術は再建する fact7: 「その普段着は再建しないがアズレンスルホン酸ナトリウムである」ということは間違いであるならこの滲出性は六年前である fact8: もしもその普段着が再建するとすればこの滲出性は六年前である fact9: もし仮になにかは御遍路でないなら「それは愛し続けるししかも織田常真入道である」ということは誤っている fact10: もしも「その機密保護は馴染み深くないが織田常真入道だ」ということは嘘であるとするとその劇団四季は愛し続ける fact11: 仮にその劇団四季が合わせ易いならその機密保護は愛し続ける fact12: その普段着が六年前だとしたらこの滲出性は織田常真入道だ fact13: もし仮にその普段着は再建するとすれば「それは馴染み深くておまけに愛し続ける」ということは成り立たない fact14: もし仮にその普段着は織田常真入道であるとすれば「再建するということはないしそれにアズレンスルホン酸ナトリウムだ」ということは誤っている fact15: この切除手術は愛し続けないならば「その劇団四季は御遍路でないがしかし愛し続ける」ということは間違いである fact16: もし「その劇団四季は御遍路でないけれどそれは愛し続ける」ということは事実と異なるならその普段着は織田常真入道である fact17: 「その普段着は再建しないけど合わせ易い」ということは成り立たない fact18: 「その普段着は御遍路でないけれど再建する」ということは嘘である fact19: 「その機密保護は合わせ易いしおまけに六年前だ」ということは成り立たない fact20: アズレンスルホン酸ナトリウムでない一方で再建するという物はない
void -> assump1: 以下のように仮定する。この切除手術は愛し続ける; fact1 & assump1 -> int1: その機密保護は馴染み深くなくてそれは合わせ易くない; int1 -> int2: その機密保護は馴染み深くない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: この切除手術は愛し続けない; int4 & fact15 -> int5: 「その劇団四季は御遍路でない一方で愛し続ける」ということは真実でない; int5 & fact16 -> int6: その普段着は織田常真入道である; int6 & fact14 -> int7: 「「その普段着は再建しないがしかしアズレンスルホン酸ナトリウムだ」ということは成り立つ」ということは成り立たない; int7 & fact7 -> hypothesis;
この滲出性は六年前でない
fact22 -> int8: 「もしその機密保護は御遍路でないなら「その機密保護は愛し続けるしさらに織田常真入道である」ということは嘘である」ということは偽でない; fact21 -> int9: 「その機密保護はアズレンスルホン酸ナトリウムでない一方で再建する」ということは成り立たない;
$facts$ = fact1: もし仮にこの切除手術が愛し続けるとしたらその機密保護は馴染み深くなくてそれは合わせ易くない fact2: もしその機密保護が愛し続けるとしたらその劇団四季は合わせ易い fact3: もしその普段着が御遍路だとしたらその劇団四季は再建する fact4: その機密保護は馴染み深い fact5: もしも「この切除手術は再建しないけど織田常真入道だ」ということは成り立つということはないとするとその普段着は愛し続ける fact6: もし仮にその普段着が愛し続ければこの切除手術は再建する fact7: 「その普段着は再建しないがアズレンスルホン酸ナトリウムである」ということは間違いであるならこの滲出性は六年前である fact8: もしもその普段着が再建するとすればこの滲出性は六年前である fact9: もし仮になにかは御遍路でないなら「それは愛し続けるししかも織田常真入道である」ということは誤っている fact10: もしも「その機密保護は馴染み深くないが織田常真入道だ」ということは嘘であるとするとその劇団四季は愛し続ける fact11: 仮にその劇団四季が合わせ易いならその機密保護は愛し続ける fact12: その普段着が六年前だとしたらこの滲出性は織田常真入道だ fact13: もし仮にその普段着は再建するとすれば「それは馴染み深くておまけに愛し続ける」ということは成り立たない fact14: もし仮にその普段着は織田常真入道であるとすれば「再建するということはないしそれにアズレンスルホン酸ナトリウムだ」ということは誤っている fact15: この切除手術は愛し続けないならば「その劇団四季は御遍路でないがしかし愛し続ける」ということは間違いである fact16: もし「その劇団四季は御遍路でないけれどそれは愛し続ける」ということは事実と異なるならその普段着は織田常真入道である fact17: 「その普段着は再建しないけど合わせ易い」ということは成り立たない fact18: 「その普段着は御遍路でないけれど再建する」ということは嘘である fact19: 「その機密保護は合わせ易いしおまけに六年前だ」ということは成り立たない fact20: アズレンスルホン酸ナトリウムでない一方で再建するという物はない ; $hypothesis$ = この滲出性は六年前である ; $proof$ = 
void -> assump1: 以下のように仮定する。この切除手術は愛し続ける; fact1 & assump1 -> int1: その機密保護は馴染み深くなくてそれは合わせ易くない; int1 -> int2: その機密保護は馴染み深くない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: この切除手術は愛し続けない; int4 & fact15 -> int5: 「その劇団四季は御遍路でない一方で愛し続ける」ということは真実でない; int5 & fact16 -> int6: その普段着は織田常真入道である; int6 & fact14 -> int7: 「「その普段着は再建しないがしかしアズレンスルホン酸ナトリウムだ」ということは成り立つ」ということは成り立たない; int7 & fact7 -> hypothesis; __PROVED__
事実1: もし仮にこの切除手術が愛し続けるとしたらその機密保護は馴染み深くなくてそれは合わせ易くない
事実2: もしその機密保護が愛し続けるとしたらその劇団四季は合わせ易い
事実3: もしその普段着が御遍路だとしたらその劇団四季は再建する
事実4: その機密保護は馴染み深い
事実5: もしも「この切除手術は再建しないけど織田常真入道だ」ということは成り立つということはないとするとその普段着は愛し続ける
事実6: もし仮にその普段着が愛し続ければこの切除手術は再建する
事実7: 「その普段着は再建しないがアズレンスルホン酸ナトリウムである」ということは間違いであるならこの滲出性は六年前である
事実8: もしもその普段着が再建するとすればこの滲出性は六年前である
事実9: もし仮になにかは御遍路でないなら「それは愛し続けるししかも織田常真入道である」ということは誤っている
事実10: もしも「その機密保護は馴染み深くないが織田常真入道だ」ということは嘘であるとするとその劇団四季は愛し続ける
事実11: 仮にその劇団四季が合わせ易いならその機密保護は愛し続ける
事実12: その普段着が六年前だとしたらこの滲出性は織田常真入道だ
事実13: もし仮にその普段着は再建するとすれば「それは馴染み深くておまけに愛し続ける」ということは成り立たない
事実14: もし仮にその普段着は織田常真入道であるとすれば「再建するということはないしそれにアズレンスルホン酸ナトリウムだ」ということは誤っている
事実15: この切除手術は愛し続けないならば「その劇団四季は御遍路でないがしかし愛し続ける」ということは間違いである
事実16: もし「その劇団四季は御遍路でないけれどそれは愛し続ける」ということは事実と異なるならその普段着は織田常真入道である
事実17: 「その普段着は再建しないけど合わせ易い」ということは成り立たない
事実18: 「その普段着は御遍路でないけれど再建する」ということは嘘である
事実19: 「その機密保護は合わせ易いしおまけに六年前だ」ということは成り立たない
事実20: アズレンスルホン酸ナトリウムでない一方で再建するという物はない

仮説: この滲出性は六年前である
1. 仮定1: 以下のように仮定する。この切除手術は愛し続ける
2. 事実1と仮定1から、推論1: "その機密保護は馴染み深くなくてそれは合わせ易くない"が導かれる
3. 推論1から、推論2: "その機密保護は馴染み深くない"が導かれる
4. 推論2と事実4から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この切除手術は愛し続けない"が導かれる
6. 推論4と事実15から、推論5: "「その劇団四季は御遍路でない一方で愛し続ける」ということは真実でない"が導かれる
7. 推論5と事実16から、推論6: "その普段着は織田常真入道である"が導かれる
8. 推論6と事実14から、推論7: "「「その普段着は再建しないがしかしアズレンスルホン酸ナトリウムだ」ということは成り立つ」ということは成り立たない"が導かれる
9. 推論7と事実7から、仮説が導かれる

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