その急降下は共鳴し易い
fact1: もしも「その急降下は共鳴し易いがそれは後ろ暗くない」ということは間違いなら十三年前だ fact2: もしその梶木が事務事業ならばそれは十三年前である fact3: その耳目は麻の葉模様だけれど成立し難くない fact4: もしもその耳目が注釈書だとしたらその急降下は後ろ暗い fact5: 「事務事業は共鳴し易い」ということは事実である fact6: もし「その梶木は御赦免だがしかし熱帯低気圧でない」ということは嘘であるとしたら成立し難い fact7: その梶木は成立し難くない fact8: もし仮にその梶木が十三年前でないならその暦年ベースは事務事業であるしそれは成立し難い fact9: 仮にその梶木が十三年前ならばその耳目は注釈書である fact10: もしも「その急降下は後ろ暗い」ということは本当であるとするとそれは共鳴し易い fact11: もしその梶木は御赦免であるけれど熱帯低気圧でないとすると事務事業である
void -> assump1: 以下のように仮定する。「その梶木は御赦免だけど熱帯低気圧だということはない」ということは嘘だ; fact6 & assump1 -> int1: その梶木は成立し難い; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: その梶木は御赦免だ一方で熱帯低気圧でない; int3 & fact11 -> int4: 「その梶木は事務事業だ」ということは真実である; int4 & fact2 -> int5: その梶木は十三年前である; int5 & fact9 -> int6: その耳目は注釈書である; int6 & fact4 -> int7: その急降下は後ろ暗い; int7 & fact10 -> hypothesis;
その暦年ベースは共鳴し易い
fact12 -> int8: その暦年ベースは事務事業であるとすれば共鳴し易い;
$facts$ = fact1: もしも「その急降下は共鳴し易いがそれは後ろ暗くない」ということは間違いなら十三年前だ fact2: もしその梶木が事務事業ならばそれは十三年前である fact3: その耳目は麻の葉模様だけれど成立し難くない fact4: もしもその耳目が注釈書だとしたらその急降下は後ろ暗い fact5: 「事務事業は共鳴し易い」ということは事実である fact6: もし「その梶木は御赦免だがしかし熱帯低気圧でない」ということは嘘であるとしたら成立し難い fact7: その梶木は成立し難くない fact8: もし仮にその梶木が十三年前でないならその暦年ベースは事務事業であるしそれは成立し難い fact9: 仮にその梶木が十三年前ならばその耳目は注釈書である fact10: もしも「その急降下は後ろ暗い」ということは本当であるとするとそれは共鳴し易い fact11: もしその梶木は御赦免であるけれど熱帯低気圧でないとすると事務事業である ; $hypothesis$ = その急降下は共鳴し易い ; $proof$ = 
void -> assump1: 以下のように仮定する。「その梶木は御赦免だけど熱帯低気圧だということはない」ということは嘘だ; fact6 & assump1 -> int1: その梶木は成立し難い; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: その梶木は御赦免だ一方で熱帯低気圧でない; int3 & fact11 -> int4: 「その梶木は事務事業だ」ということは真実である; int4 & fact2 -> int5: その梶木は十三年前である; int5 & fact9 -> int6: その耳目は注釈書である; int6 & fact4 -> int7: その急降下は後ろ暗い; int7 & fact10 -> hypothesis; __PROVED__
事実1: もしも「その急降下は共鳴し易いがそれは後ろ暗くない」ということは間違いなら十三年前だ
事実2: もしその梶木が事務事業ならばそれは十三年前である
事実3: その耳目は麻の葉模様だけれど成立し難くない
事実4: もしもその耳目が注釈書だとしたらその急降下は後ろ暗い
事実5: 「事務事業は共鳴し易い」ということは事実である
事実6: もし「その梶木は御赦免だがしかし熱帯低気圧でない」ということは嘘であるとしたら成立し難い
事実7: その梶木は成立し難くない
事実8: もし仮にその梶木が十三年前でないならその暦年ベースは事務事業であるしそれは成立し難い
事実9: 仮にその梶木が十三年前ならばその耳目は注釈書である
事実10: もしも「その急降下は後ろ暗い」ということは本当であるとするとそれは共鳴し易い
事実11: もしその梶木は御赦免であるけれど熱帯低気圧でないとすると事務事業である

仮説: その急降下は共鳴し易い
1. 仮定1: 以下のように仮定する。「その梶木は御赦免だけど熱帯低気圧だということはない」ということは嘘だ
2. 事実6と仮定1から、推論1: "その梶木は成立し難い"が導かれる
3. 推論1と事実7から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "その梶木は御赦免だ一方で熱帯低気圧でない"が導かれる
5. 推論3と事実11から、推論4: "「その梶木は事務事業だ」ということは真実である"が導かれる
6. 推論4と事実2から、推論5: "その梶木は十三年前である"が導かれる
7. 推論5と事実9から、推論6: "その耳目は注釈書である"が導かれる
8. 推論6と事実4から、推論7: "その急降下は後ろ暗い"が導かれる
9. 推論7と事実10から、仮説が導かれる

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