この応用技術は苦しい
fact1: その白花は御詫び致す fact2: あのＳＦ兵士は御詫び致す fact3: 「この有徳人は継承出来なくて遠慮でない」ということは真実だということはないとすると「この応用技術は苦しくない」ということは成り立つ fact4: 仮にこの有徳人が継承出来るということはないしおまけに遠慮でないとするとあのＳＦ兵士は御詫び致さない fact5: もし「この有徳人はちぎれ易くないかあるいは御詫び致すか両方ともである」ということは間違いであるとすればその第三大隊はちぎれ易いということはない
void -> assump1: 以下のように仮定する。この有徳人は継承出来るということはないしさらに遠慮でない; fact4 & assump1 -> int1: あのＳＦ兵士は御詫び致さない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この有徳人は継承出来ないしその上遠慮であるということはない」ということは成り立たない; int3 & fact3 -> hypothesis;
その第三大隊はちぎれ易くないし更に差さるない
$facts$ = fact1: その白花は御詫び致す fact2: あのＳＦ兵士は御詫び致す fact3: 「この有徳人は継承出来なくて遠慮でない」ということは真実だということはないとすると「この応用技術は苦しくない」ということは成り立つ fact4: 仮にこの有徳人が継承出来るということはないしおまけに遠慮でないとするとあのＳＦ兵士は御詫び致さない fact5: もし「この有徳人はちぎれ易くないかあるいは御詫び致すか両方ともである」ということは間違いであるとすればその第三大隊はちぎれ易いということはない ; $hypothesis$ = この応用技術は苦しい ; $proof$ = 
void -> assump1: 以下のように仮定する。この有徳人は継承出来るということはないしさらに遠慮でない; fact4 & assump1 -> int1: あのＳＦ兵士は御詫び致さない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この有徳人は継承出来ないしその上遠慮であるということはない」ということは成り立たない; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: その白花は御詫び致す
事実2: あのＳＦ兵士は御詫び致す
事実3: 「この有徳人は継承出来なくて遠慮でない」ということは真実だということはないとすると「この応用技術は苦しくない」ということは成り立つ
事実4: 仮にこの有徳人が継承出来るということはないしおまけに遠慮でないとするとあのＳＦ兵士は御詫び致さない
事実5: もし「この有徳人はちぎれ易くないかあるいは御詫び致すか両方ともである」ということは間違いであるとすればその第三大隊はちぎれ易いということはない

仮説: この応用技術は苦しい
1. 仮定1: 以下のように仮定する。この有徳人は継承出来るということはないしさらに遠慮でない
2. 事実4と仮定1から、推論1: "あのＳＦ兵士は御詫び致さない"が導かれる
3. 推論1と事実2から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「この有徳人は継承出来ないしその上遠慮であるということはない」ということは成り立たない"が導かれる
5. 推論3と事実3から、仮説が否定される

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