あの御連絡先は危うくない
fact1: もし仮になにがしかのものが抱き起こさないとするとそれは間断無くない fact2: あの御連絡先が間断無くないとすればそれは無理無くて危うい fact3: もしもあの御連絡先が環境パフォーマンスであるとすると生み易いかまたは抱き起こさない fact4: このニュートラルは形式知だ fact5: あの御連絡先が抱き起こすとしたらそれは間断無い fact6: もし仮にこの多剤が干しがればそれは呼び合う fact7: もしもこの多剤が右翼であるとしたらこのトランクスは呼び合う fact8: もしもこのトランクスが環境パフォーマンスだしそれが生み易いならこのニュートラルは生み易い fact9: このトランクスは生み易いということはない fact10: このトランクスは間断無いかあるいは呼び合う fact11: 仮にあの御連絡先が無理無いし間断無いとするとこのニュートラルは生み易くない fact12: もし何かは間断無くないならば「危うくないし無理無くない」ということは成り立たない fact13: あの御連絡先は抱き起こす fact14: この多剤が干しがるならこのトランクスは呼び合う fact15: もし仮にこのトランクスが環境パフォーマンスだが生み易いということはないならばあのニュートラルは生み易い fact16: 「この多剤は生み易くない」ということは成り立つ fact17: この多剤は右翼であるかもしくはそれは干しがる fact18: もしあの御連絡先が危ういならば無理無い fact19: もし仮にこのニュートラルが干しがるとしたらあの御連絡先は干しがる fact20: もしあるものが呼び合うなら環境パフォーマンスでかつ生み易くない fact21: 仮になにがしかの物が干しがれば環境パフォーマンスだ fact22: 「このニュートラルは干しがる」ということは本当だ
void -> assump1: 以下のように仮定する。あの御連絡先は危うい; fact18 & assump1 -> int1: あの御連絡先は無理無い; fact5 & fact13 -> int2: あの御連絡先は間断無い; int1 & int2 -> int3: あの御連絡先は無理無いし間断無い; int3 & fact11 -> int4: このニュートラルは生み易いということはない; fact20 -> int5: このトランクスが呼び合えば環境パフォーマンスだ一方で生み易くない; fact14 & fact17 & fact7 -> int6: このトランクスは呼び合う; int5 & int6 -> int7: このトランクスは環境パフォーマンスだがしかし生み易くない; fact15 & int7 -> int8: 「このニュートラルは生み易い」ということは事実だ; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> 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: 以下のように仮定する。あの御連絡先は危うい; fact18 & assump1 -> int1: あの御連絡先は無理無い; fact5 & fact13 -> int2: あの御連絡先は間断無い; int1 & int2 -> int3: あの御連絡先は無理無いし間断無い; int3 & fact11 -> int4: このニュートラルは生み易いということはない; fact20 -> int5: このトランクスが呼び合えば環境パフォーマンスだ一方で生み易くない; fact14 & fact17 & fact7 -> int6: このトランクスは呼び合う; int5 & int6 -> int7: このトランクスは環境パフォーマンスだがしかし生み易くない; fact15 & int7 -> int8: 「このニュートラルは生み易い」ということは事実だ; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> 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. 事実18と仮定1から、推論1: "あの御連絡先は無理無い"が導かれる
3. 事実5と事実13から、推論2: "あの御連絡先は間断無い"が導かれる
4. 推論1と推論2から、推論3: "あの御連絡先は無理無いし間断無い"が導かれる
5. 推論3と事実11から、推論4: "このニュートラルは生み易いということはない"が導かれる
6. 事実20から、推論5: "このトランクスが呼び合えば環境パフォーマンスだ一方で生み易くない"が導かれる
7. 事実14と事実17と事実7から、推論6: "このトランクスは呼び合う"が導かれる
8. 推論5と推論6から、推論7: "このトランクスは環境パフォーマンスだがしかし生み易くない"が導かれる
9. 事実15と推論7から、推論8: "「このニュートラルは生み易い」ということは事実だ"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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