もしあの第一クラリネットが御知らせ下さるとすればその利用者・家族は打ち終えない
fact1: 「もしもその院宣が御知らせ下さるとするとその院宣は棒状である」ということは真実だ fact2: もしもあの第一クラリネットが御知らせ下さるとすればあの利用者・家族は打ち終える fact3: もしその利用者・家族が棒状ならばあの院宣は打ち終えない fact4: その利用者・家族は取っ付き易い fact5: もし仮にその院宣が打ち終えないがしかし取り難いとするとその利用者・家族は取っ付き易い fact6: もし仮にあの第一クラリネットが棒状だとするとその院宣は取り難い fact7: もし仮に「その院宣は棒状でないけどそれは取り難い」ということは本当であるならばその恩情は浅い fact8: もし「あの第一クラリネットは御知らせ下さる」ということは成り立つならそれは棒状である fact9: もしその恩情が打ち終えないとしたらその利用者・家族は取っ付き易い fact10: その院宣が打ち終えるとするとその利用者・家族は打ち終えないがしかし取り難い fact11: その恩情は御知らせ下さらない fact12: その院宣は取り難い fact13: もしその恩情が打ち終えないとすればあの利用者・家族は取っ付き易いし打ち終える fact14: 「その利用者・家族は棒状だ」ということは成り立つ fact15: その利用者・家族は打ち終える fact16: 仮にあの第一クラリネットが棒状であるとすればその院宣は棒状でないがしかし取り難い fact17: その利用者・家族は取っ付き易くておまけにそれは打ち終える fact18: その都銀再編は隔週である一方でそれは打ち終えない fact19: 仮にあの第一クラリネットが棒状でないとするとその恩情は打ち終える一方で棒状でない fact20: もしもその恩情が打ち終えないならその利用者・家族は取っ付き易い一方で打ち終えない fact21: 仮にその恩情が浅くないけれど棒状であるとすればあの第一クラリネットは御知らせ下さる fact22: 何らかの物が浅いなら打ち終えない
void -> assump1: 以下のように仮定する。あの第一クラリネットは御知らせ下さる; fact8 & assump1 -> int1: あの第一クラリネットは棒状だ; int1 & fact16 -> int2: その院宣は棒状でないけれどそれは取り難い; int2 & fact7 -> int3: その恩情は浅い; fact22 -> int4: 仮にその恩情が浅いならそれは打ち終えない; int3 & int4 -> int5: その恩情は打ち終えるということはない; int5 & fact20 -> int6: その利用者・家族は取っ付き易いけど打ち終えない; int6 -> int7: その利用者・家族は打ち終えない; [assump1] & int7 -> hypothesis;
$facts$ = fact1: 「もしもその院宣が御知らせ下さるとするとその院宣は棒状である」ということは真実だ fact2: もしもあの第一クラリネットが御知らせ下さるとすればあの利用者・家族は打ち終える fact3: もしその利用者・家族が棒状ならばあの院宣は打ち終えない fact4: その利用者・家族は取っ付き易い fact5: もし仮にその院宣が打ち終えないがしかし取り難いとするとその利用者・家族は取っ付き易い fact6: もし仮にあの第一クラリネットが棒状だとするとその院宣は取り難い fact7: もし仮に「その院宣は棒状でないけどそれは取り難い」ということは本当であるならばその恩情は浅い fact8: もし「あの第一クラリネットは御知らせ下さる」ということは成り立つならそれは棒状である fact9: もしその恩情が打ち終えないとしたらその利用者・家族は取っ付き易い fact10: その院宣が打ち終えるとするとその利用者・家族は打ち終えないがしかし取り難い fact11: その恩情は御知らせ下さらない fact12: その院宣は取り難い fact13: もしその恩情が打ち終えないとすればあの利用者・家族は取っ付き易いし打ち終える fact14: 「その利用者・家族は棒状だ」ということは成り立つ fact15: その利用者・家族は打ち終える fact16: 仮にあの第一クラリネットが棒状であるとすればその院宣は棒状でないがしかし取り難い fact17: その利用者・家族は取っ付き易くておまけにそれは打ち終える fact18: その都銀再編は隔週である一方でそれは打ち終えない fact19: 仮にあの第一クラリネットが棒状でないとするとその恩情は打ち終える一方で棒状でない fact20: もしもその恩情が打ち終えないならその利用者・家族は取っ付き易い一方で打ち終えない fact21: 仮にその恩情が浅くないけれど棒状であるとすればあの第一クラリネットは御知らせ下さる fact22: 何らかの物が浅いなら打ち終えない ; $hypothesis$ = もしあの第一クラリネットが御知らせ下さるとすればその利用者・家族は打ち終えない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの第一クラリネットは御知らせ下さる; fact8 & assump1 -> int1: あの第一クラリネットは棒状だ; int1 & fact16 -> int2: その院宣は棒状でないけれどそれは取り難い; int2 & fact7 -> int3: その恩情は浅い; fact22 -> int4: 仮にその恩情が浅いならそれは打ち終えない; int3 & int4 -> int5: その恩情は打ち終えるということはない; int5 & fact20 -> int6: その利用者・家族は取っ付き易いけど打ち終えない; int6 -> int7: その利用者・家族は打ち終えない; [assump1] & int7 -> hypothesis; __PROVED__
事実1: 「もしもその院宣が御知らせ下さるとするとその院宣は棒状である」ということは真実だ
事実2: もしもあの第一クラリネットが御知らせ下さるとすればあの利用者・家族は打ち終える
事実3: もしその利用者・家族が棒状ならばあの院宣は打ち終えない
事実4: その利用者・家族は取っ付き易い
事実5: もし仮にその院宣が打ち終えないがしかし取り難いとするとその利用者・家族は取っ付き易い
事実6: もし仮にあの第一クラリネットが棒状だとするとその院宣は取り難い
事実7: もし仮に「その院宣は棒状でないけどそれは取り難い」ということは本当であるならばその恩情は浅い
事実8: もし「あの第一クラリネットは御知らせ下さる」ということは成り立つならそれは棒状である
事実9: もしその恩情が打ち終えないとしたらその利用者・家族は取っ付き易い
事実10: その院宣が打ち終えるとするとその利用者・家族は打ち終えないがしかし取り難い
事実11: その恩情は御知らせ下さらない
事実12: その院宣は取り難い
事実13: もしその恩情が打ち終えないとすればあの利用者・家族は取っ付き易いし打ち終える
事実14: 「その利用者・家族は棒状だ」ということは成り立つ
事実15: その利用者・家族は打ち終える
事実16: 仮にあの第一クラリネットが棒状であるとすればその院宣は棒状でないがしかし取り難い
事実17: その利用者・家族は取っ付き易くておまけにそれは打ち終える
事実18: その都銀再編は隔週である一方でそれは打ち終えない
事実19: 仮にあの第一クラリネットが棒状でないとするとその恩情は打ち終える一方で棒状でない
事実20: もしもその恩情が打ち終えないならその利用者・家族は取っ付き易い一方で打ち終えない
事実21: 仮にその恩情が浅くないけれど棒状であるとすればあの第一クラリネットは御知らせ下さる
事実22: 何らかの物が浅いなら打ち終えない

仮説: もしあの第一クラリネットが御知らせ下さるとすればその利用者・家族は打ち終えない
1. 仮定1: 以下のように仮定する。あの第一クラリネットは御知らせ下さる
2. 事実8と仮定1から、推論1: "あの第一クラリネットは棒状だ"が導かれる
3. 推論1と事実16から、推論2: "その院宣は棒状でないけれどそれは取り難い"が導かれる
4. 推論2と事実7から、推論3: "その恩情は浅い"が導かれる
5. 事実22から、推論4: "仮にその恩情が浅いならそれは打ち終えない"が導かれる
6. 推論3と推論4から、推論5: "その恩情は打ち終えるということはない"が導かれる
7. 推論5と事実20から、推論6: "その利用者・家族は取っ付き易いけど打ち終えない"が導かれる
8. 推論6から、推論7: "その利用者・家族は打ち終えない"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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