「あのＨＳＬは手厳しいかまたはファシリテーターでない」ということは成り立たない
fact1: その坂道は漏洩する fact2: 錆無いしかつ甚だしくない物はファシリテーターでない fact3: もしも「「尤もらしいということはない」ということは成り立つ」ものがあるとすればこの技術員はパジェロイオでない fact4: ある物は尤もらしくない fact5: 「なにがしかの物は読み合わせないしかつ手厳しくない」ということは誤りであるならそれは手厳しい fact6: もし仮になにがしかの物が乗り掛けるとすれば甚だしい fact7: もし仮に何かは漏洩しないならそれは乗り掛けるし錆無い fact8: もしもあの腹水が尤もらしいとすればこの媒体費はパジェロイオでないかあるいは漏洩しないかどちらもだ fact9: とある物が読み合わせるとすれば甚だしい fact10: 仮になんらかのものは甚だしいとしたら「読み合わせないしその上手厳しくない」ということは成り立つということはない fact11: もしもあの腹水は手厳しくておまけに読み合わせるとしたらそれはファシリテーターでない fact12: もしこの媒体費が乗り掛けるがしかし読み合わせるということはないならばその略字は乗り掛けない fact13: 何らかのものは錆無くて更に乗り掛けるとするとそれは漏洩しない fact14: もしも「パジェロイオでない」ものがあるとするとこの咬合性外傷は錆無い fact15: この咬合性外傷は漏洩する fact16: もしもこの媒体費がパジェロイオでないかまたは漏洩しないか両方であるならあのＨＳＬは漏洩しない fact17: 仮にこの媒体費がファシリテーターならあの腹水は読み合わせる fact18: 仮に「この媒体費はファシリテーターでない」ということは確かだとしたら「あのＨＳＬは手厳しいかまたはそれはファシリテーターでない」ということは成り立たない fact19: もし仮にあの腹水が甚だしいとしたらこの咬合性外傷は乗り掛ける
void -> assump1: 以下のように仮定する。この媒体費はファシリテーターだ; fact17 & assump1 -> int1: あの腹水は読み合わせる; fact9 -> int2: 仮にあの腹水が読み合わせるとすればそれは甚だしい; int1 & int2 -> int3: あの腹水は甚だしい; int3 & fact19 -> int4: この咬合性外傷は乗り掛ける; fact4 & fact3 -> int5: この技術員はパジェロイオでない; int5 -> int6: 「パジェロイオでない」物はある; int6 & fact14 -> int7: この咬合性外傷は錆無い; int4 & int7 -> int8: この咬合性外傷は錆無いしかつ乗り掛ける; fact13 -> int9: 仮にこの咬合性外傷は錆無くてそれに乗り掛けるなら漏洩するということはない; int8 & int9 -> int10: この咬合性外傷は漏洩しない; int10 & fact15 -> int11: これは矛盾である; [assump1] & int11 -> int12: この媒体費はファシリテーターでない; int12 & fact18 -> hypothesis;
あのＨＳＬは手厳しいかもしくはそれはファシリテーターでない
fact25 -> int13: 仮に「あのＨＳＬは読み合わせないし手厳しくない」ということは成り立つということはないならば手厳しい; fact22 -> int14: もし仮に「あのＨＳＬは甚だしい」ということは成り立てば「それは読み合わせなくて加えて手厳しくない」ということは誤りである; fact21 -> int15: あのＨＳＬが乗り掛けるならそれは甚だしい; fact20 -> int16: 仮にあのＨＳＬが漏洩するということはないならば乗り掛けるしそれにそれは錆無い;
$facts$ = fact1: その坂道は漏洩する fact2: 錆無いしかつ甚だしくない物はファシリテーターでない fact3: もしも「「尤もらしいということはない」ということは成り立つ」ものがあるとすればこの技術員はパジェロイオでない fact4: ある物は尤もらしくない fact5: 「なにがしかの物は読み合わせないしかつ手厳しくない」ということは誤りであるならそれは手厳しい fact6: もし仮になにがしかの物が乗り掛けるとすれば甚だしい fact7: もし仮に何かは漏洩しないならそれは乗り掛けるし錆無い fact8: もしもあの腹水が尤もらしいとすればこの媒体費はパジェロイオでないかあるいは漏洩しないかどちらもだ fact9: とある物が読み合わせるとすれば甚だしい fact10: 仮になんらかのものは甚だしいとしたら「読み合わせないしその上手厳しくない」ということは成り立つということはない fact11: もしもあの腹水は手厳しくておまけに読み合わせるとしたらそれはファシリテーターでない fact12: もしこの媒体費が乗り掛けるがしかし読み合わせるということはないならばその略字は乗り掛けない fact13: 何らかのものは錆無くて更に乗り掛けるとするとそれは漏洩しない fact14: もしも「パジェロイオでない」ものがあるとするとこの咬合性外傷は錆無い fact15: この咬合性外傷は漏洩する fact16: もしもこの媒体費がパジェロイオでないかまたは漏洩しないか両方であるならあのＨＳＬは漏洩しない fact17: 仮にこの媒体費がファシリテーターならあの腹水は読み合わせる fact18: 仮に「この媒体費はファシリテーターでない」ということは確かだとしたら「あのＨＳＬは手厳しいかまたはそれはファシリテーターでない」ということは成り立たない fact19: もし仮にあの腹水が甚だしいとしたらこの咬合性外傷は乗り掛ける ; $hypothesis$ = 「あのＨＳＬは手厳しいかまたはファシリテーターでない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この媒体費はファシリテーターだ; fact17 & assump1 -> int1: あの腹水は読み合わせる; fact9 -> int2: 仮にあの腹水が読み合わせるとすればそれは甚だしい; int1 & int2 -> int3: あの腹水は甚だしい; int3 & fact19 -> int4: この咬合性外傷は乗り掛ける; fact4 & fact3 -> int5: この技術員はパジェロイオでない; int5 -> int6: 「パジェロイオでない」物はある; int6 & fact14 -> int7: この咬合性外傷は錆無い; int4 & int7 -> int8: この咬合性外傷は錆無いしかつ乗り掛ける; fact13 -> int9: 仮にこの咬合性外傷は錆無くてそれに乗り掛けるなら漏洩するということはない; int8 & int9 -> int10: この咬合性外傷は漏洩しない; int10 & fact15 -> int11: これは矛盾である; [assump1] & int11 -> int12: この媒体費はファシリテーターでない; int12 & fact18 -> hypothesis; __PROVED__
事実1: その坂道は漏洩する
事実2: 錆無いしかつ甚だしくない物はファシリテーターでない
事実3: もしも「「尤もらしいということはない」ということは成り立つ」ものがあるとすればこの技術員はパジェロイオでない
事実4: ある物は尤もらしくない
事実5: 「なにがしかの物は読み合わせないしかつ手厳しくない」ということは誤りであるならそれは手厳しい
事実6: もし仮になにがしかの物が乗り掛けるとすれば甚だしい
事実7: もし仮に何かは漏洩しないならそれは乗り掛けるし錆無い
事実8: もしもあの腹水が尤もらしいとすればこの媒体費はパジェロイオでないかあるいは漏洩しないかどちらもだ
事実9: とある物が読み合わせるとすれば甚だしい
事実10: 仮になんらかのものは甚だしいとしたら「読み合わせないしその上手厳しくない」ということは成り立つということはない
事実11: もしもあの腹水は手厳しくておまけに読み合わせるとしたらそれはファシリテーターでない
事実12: もしこの媒体費が乗り掛けるがしかし読み合わせるということはないならばその略字は乗り掛けない
事実13: 何らかのものは錆無くて更に乗り掛けるとするとそれは漏洩しない
事実14: もしも「パジェロイオでない」ものがあるとするとこの咬合性外傷は錆無い
事実15: この咬合性外傷は漏洩する
事実16: もしもこの媒体費がパジェロイオでないかまたは漏洩しないか両方であるならあのＨＳＬは漏洩しない
事実17: 仮にこの媒体費がファシリテーターならあの腹水は読み合わせる
事実18: 仮に「この媒体費はファシリテーターでない」ということは確かだとしたら「あのＨＳＬは手厳しいかまたはそれはファシリテーターでない」ということは成り立たない
事実19: もし仮にあの腹水が甚だしいとしたらこの咬合性外傷は乗り掛ける

仮説: 「あのＨＳＬは手厳しいかまたはファシリテーターでない」ということは成り立たない
1. 仮定1: 以下のように仮定する。この媒体費はファシリテーターだ
2. 事実17と仮定1から、推論1: "あの腹水は読み合わせる"が導かれる
3. 事実9から、推論2: "仮にあの腹水が読み合わせるとすればそれは甚だしい"が導かれる
4. 推論1と推論2から、推論3: "あの腹水は甚だしい"が導かれる
5. 推論3と事実19から、推論4: "この咬合性外傷は乗り掛ける"が導かれる
6. 事実4と事実3から、推論5: "この技術員はパジェロイオでない"が導かれる
7. 推論5から、推論6: "「パジェロイオでない」物はある"が導かれる
8. 推論6と事実14から、推論7: "この咬合性外傷は錆無い"が導かれる
9. 推論4と推論7から、推論8: "この咬合性外傷は錆無いしかつ乗り掛ける"が導かれる
10. 事実13から、推論9: "仮にこの咬合性外傷は錆無くてそれに乗り掛けるなら漏洩するということはない"が導かれる
11. 推論8と推論9から、推論10: "この咬合性外傷は漏洩しない"が導かれる
12. 推論10と事実15から、推論11: "これは矛盾である"が導かれる
13. [仮定1]と推論11から、推論12: "この媒体費はファシリテーターでない"が導かれる
14. 推論12と事実18から、仮説が導かれる

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