その金曜日は手厳しいしさらに合宿する
fact1: 仮に「そのルックスは定植後であるかそれは同一世代であるかあるいは両方である」ということは確かであるとしたらあの舞台芸術団体はサテンブラックでない fact2: 「あの舞台芸術団体は小額紙幣だ」ということは成り立たない fact3: 仮に「ある物は切り難いししかも往来たる」ということは誤りであるなら御答え出来ない fact4: その金曜日は合宿するしおまけに残れる fact5: そのルックスは定植後である fact6: そのルックスは小額紙幣であるということはない fact7: 「サテンブラックでなくてしかも御答え出来ない」ものがあるとすればその金曜日は手厳しい fact8: 仮にあの舞台芸術団体は小額紙幣でないとすると「それは切り難いしさらに往来たる」ということは確かでない
fact5 -> int1: そのルックスは定植後であるかまたは同一世代であるかもしくは両方ともだ; int1 & fact1 -> int2: あの舞台芸術団体はサテンブラックでない; fact8 & fact2 -> int3: 「あの舞台芸術団体は切り難くて往来たる」ということは事実と異なる; fact3 -> int4: 仮に「あの舞台芸術団体は切り難いしそれは往来たる」ということは間違いであるとすると御答え出来ない; int3 & int4 -> int5: あの舞台芸術団体は御答え出来ない; int2 & int5 -> int6: あの舞台芸術団体はサテンブラックだということはないし御答え出来ない; int6 -> int7: ある物はサテンブラックでなくて加えてそれは御答え出来ない; int7 & fact7 -> int8: 「その金曜日は手厳しい」ということは成り立つ; fact4 -> int9: その金曜日は合宿する; int8 & int9 -> hypothesis;
$facts$ = fact1: 仮に「そのルックスは定植後であるかそれは同一世代であるかあるいは両方である」ということは確かであるとしたらあの舞台芸術団体はサテンブラックでない fact2: 「あの舞台芸術団体は小額紙幣だ」ということは成り立たない fact3: 仮に「ある物は切り難いししかも往来たる」ということは誤りであるなら御答え出来ない fact4: その金曜日は合宿するしおまけに残れる fact5: そのルックスは定植後である fact6: そのルックスは小額紙幣であるということはない fact7: 「サテンブラックでなくてしかも御答え出来ない」ものがあるとすればその金曜日は手厳しい fact8: 仮にあの舞台芸術団体は小額紙幣でないとすると「それは切り難いしさらに往来たる」ということは確かでない ; $hypothesis$ = その金曜日は手厳しいしさらに合宿する ; $proof$ = 
fact5 -> int1: そのルックスは定植後であるかまたは同一世代であるかもしくは両方ともだ; int1 & fact1 -> int2: あの舞台芸術団体はサテンブラックでない; fact8 & fact2 -> int3: 「あの舞台芸術団体は切り難くて往来たる」ということは事実と異なる; fact3 -> int4: 仮に「あの舞台芸術団体は切り難いしそれは往来たる」ということは間違いであるとすると御答え出来ない; int3 & int4 -> int5: あの舞台芸術団体は御答え出来ない; int2 & int5 -> int6: あの舞台芸術団体はサテンブラックだということはないし御答え出来ない; int6 -> int7: ある物はサテンブラックでなくて加えてそれは御答え出来ない; int7 & fact7 -> int8: 「その金曜日は手厳しい」ということは成り立つ; fact4 -> int9: その金曜日は合宿する; int8 & int9 -> hypothesis; __PROVED__
事実1: 仮に「そのルックスは定植後であるかそれは同一世代であるかあるいは両方である」ということは確かであるとしたらあの舞台芸術団体はサテンブラックでない
事実2: 「あの舞台芸術団体は小額紙幣だ」ということは成り立たない
事実3: 仮に「ある物は切り難いししかも往来たる」ということは誤りであるなら御答え出来ない
事実4: その金曜日は合宿するしおまけに残れる
事実5: そのルックスは定植後である
事実6: そのルックスは小額紙幣であるということはない
事実7: 「サテンブラックでなくてしかも御答え出来ない」ものがあるとすればその金曜日は手厳しい
事実8: 仮にあの舞台芸術団体は小額紙幣でないとすると「それは切り難いしさらに往来たる」ということは確かでない

仮説: その金曜日は手厳しいしさらに合宿する
1. 事実5から、推論1: "そのルックスは定植後であるかまたは同一世代であるかもしくは両方ともだ"が導かれる
2. 推論1と事実1から、推論2: "あの舞台芸術団体はサテンブラックでない"が導かれる
3. 事実8と事実2から、推論3: "「あの舞台芸術団体は切り難くて往来たる」ということは事実と異なる"が導かれる
4. 事実3から、推論4: "仮に「あの舞台芸術団体は切り難いしそれは往来たる」ということは間違いであるとすると御答え出来ない"が導かれる
5. 推論3と推論4から、推論5: "あの舞台芸術団体は御答え出来ない"が導かれる
6. 推論2と推論5から、推論6: "あの舞台芸術団体はサテンブラックだということはないし御答え出来ない"が導かれる
7. 推論6から、推論7: "ある物はサテンブラックでなくて加えてそれは御答え出来ない"が導かれる
8. 推論7と事実7から、推論8: "「その金曜日は手厳しい」ということは成り立つ"が導かれる
9. 事実4から、推論9: "その金曜日は合宿する"が導かれる
10. 推論8と推論9から、仮説が導かれる

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