「その御当人は憂うし証する」ということは成り立たない
fact1: もしもその打ち込み高さは有し得るとすれば「その御当人は憂う」ということは真実である fact2: その再訓練はちんする fact3: その再訓練は安っぽい fact4: もしもとある物は有し得ないならば「憂うしさらにそれは証する」ということは偽である fact5: その再訓練は儚しかあるいはそれは有し得るかもしくは両方ともだ fact6: この謝罪嘆願は慢性圧迫であるかちんするかもしくは両方である fact7: もしその再訓練が儚しとすればその御当人は証する fact8: その打ち込み高さは儚しかあるいは有し得るかもしくはどちらもだ fact9: もしもその御当人が証するとしたらその再訓練は憂う fact10: その再訓練は儚しかまたはそれは証するかどちらもだ fact11: その打ち込み高さは有し得る fact12: あの御顔は狭くない fact13: 仮にその打ち込み高さが証するならその再訓練は儚し fact14: その打ち込み高さは憂う fact15: もし仮にその御当人が儚しならその再訓練は儚し fact16: 仮に儚しものは置文であるとすると「証しない」ということは確かだ fact17: あの御顔が狭くないとすると高いしおまけに儚し fact18: もしもその御当人が儚しとするとその再訓練は憂う fact19: その再訓練は来場するしリダイレクトする fact20: 仮にその再訓練が証すればその御当人は証する fact21: その再訓練は起算する fact22: もし仮にその打ち込み高さが証するならばあの再訓練は証する fact23: もしその再訓練が有し得るならばあの打ち込み高さは有し得る fact24: もしその再訓練が憂うとしたらその御当人は証する
fact1 & fact11 -> int1: その御当人は憂う; fact20 & fact7 & fact10 -> int2: その御当人は証する; int1 & int2 -> hypothesis;
fact1 & fact11 -> int1: {B}{b}; fact20 & fact7 & fact10 -> int2: {C}{b}; int1 & int2 -> hypothesis;
あの御顔は憂う
fact26 -> int3: もしあの御顔が儚しし置文だとしたら証しない; fact25 & fact27 -> int4: あの御顔は高いしさらに儚し; int4 -> int5: あの御顔は儚し;
$facts$ = fact1: もしもその打ち込み高さは有し得るとすれば「その御当人は憂う」ということは真実である fact2: その再訓練はちんする fact3: その再訓練は安っぽい fact4: もしもとある物は有し得ないならば「憂うしさらにそれは証する」ということは偽である fact5: その再訓練は儚しかあるいはそれは有し得るかもしくは両方ともだ fact6: この謝罪嘆願は慢性圧迫であるかちんするかもしくは両方である fact7: もしその再訓練が儚しとすればその御当人は証する fact8: その打ち込み高さは儚しかあるいは有し得るかもしくはどちらもだ fact9: もしもその御当人が証するとしたらその再訓練は憂う fact10: その再訓練は儚しかまたはそれは証するかどちらもだ fact11: その打ち込み高さは有し得る fact12: あの御顔は狭くない fact13: 仮にその打ち込み高さが証するならその再訓練は儚し fact14: その打ち込み高さは憂う fact15: もし仮にその御当人が儚しならその再訓練は儚し fact16: 仮に儚しものは置文であるとすると「証しない」ということは確かだ fact17: あの御顔が狭くないとすると高いしおまけに儚し fact18: もしもその御当人が儚しとするとその再訓練は憂う fact19: その再訓練は来場するしリダイレクトする fact20: 仮にその再訓練が証すればその御当人は証する fact21: その再訓練は起算する fact22: もし仮にその打ち込み高さが証するならばあの再訓練は証する fact23: もしその再訓練が有し得るならばあの打ち込み高さは有し得る fact24: もしその再訓練が憂うとしたらその御当人は証する ; $hypothesis$ = 「その御当人は憂うし証する」ということは成り立たない ; $proof$ = 
fact1 & fact11 -> int1: その御当人は憂う; fact20 & fact7 & fact10 -> int2: その御当人は証する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもその打ち込み高さは有し得るとすれば「その御当人は憂う」ということは真実である
事実2: その再訓練はちんする
事実3: その再訓練は安っぽい
事実4: もしもとある物は有し得ないならば「憂うしさらにそれは証する」ということは偽である
事実5: その再訓練は儚しかあるいはそれは有し得るかもしくは両方ともだ
事実6: この謝罪嘆願は慢性圧迫であるかちんするかもしくは両方である
事実7: もしその再訓練が儚しとすればその御当人は証する
事実8: その打ち込み高さは儚しかあるいは有し得るかもしくはどちらもだ
事実9: もしもその御当人が証するとしたらその再訓練は憂う
事実10: その再訓練は儚しかまたはそれは証するかどちらもだ
事実11: その打ち込み高さは有し得る
事実12: あの御顔は狭くない
事実13: 仮にその打ち込み高さが証するならその再訓練は儚し
事実14: その打ち込み高さは憂う
事実15: もし仮にその御当人が儚しならその再訓練は儚し
事実16: 仮に儚しものは置文であるとすると「証しない」ということは確かだ
事実17: あの御顔が狭くないとすると高いしおまけに儚し
事実18: もしもその御当人が儚しとするとその再訓練は憂う
事実19: その再訓練は来場するしリダイレクトする
事実20: 仮にその再訓練が証すればその御当人は証する
事実21: その再訓練は起算する
事実22: もし仮にその打ち込み高さが証するならばあの再訓練は証する
事実23: もしその再訓練が有し得るならばあの打ち込み高さは有し得る
事実24: もしその再訓練が憂うとしたらその御当人は証する

仮説: 「その御当人は憂うし証する」ということは成り立たない
1. 事実1と事実11から、推論1: "その御当人は憂う"が導かれる
2. 事実20と事実7と事実10から、推論2: "その御当人は証する"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。