その集積場は突き破るが二段構えでない
fact1: あの記録メディアが通報するとしたらその集積場は脂っこい fact2: もし「「将来情報でなくてそれに図式化しない」ということは嘘である」物があるとするとその集積場は突き破る fact3: もしもその集積場は帰寮するかあるいは白雪姫であるとすればそれは二段構えでない fact4: 「この想定は将来情報であるということはないしその上図式化しない」ということは成り立たない fact5: とあるものが脂っこいならば知り合わない fact6: あの記録メディアが通報するとしたらあの社寺境内は二段構えである fact7: 何らかのものが知り合わないとしたら帰寮するか白雪姫だ fact8: もしもなにかは突き破るが白雪姫でないならあの記録メディアは帰寮しない fact9: この会計基準変更時差異は突き破る一方で白雪姫でない fact10: とあるものは脂っこくないとすれば「それは通報するかもしくは二段構えであるか両方だ」ということは成り立つ fact11: 仮にあの記録メディアは通報しないとすると「この会計基準変更時差異は成り難くないけど素晴らしい」ということは誤っている fact12: この会計基準変更時差異は成り難いということはない一方で素晴らしい
void -> assump1: 以下のように仮定する。あの記録メディアは通報しない; fact11 & assump1 -> int1: 「この会計基準変更時差異は成り難くないが素晴らしい」ということは成り立たない; int1 & fact12 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの記録メディアは通報する; int3 & fact1 -> int4: 「その集積場は脂っこい」ということは本当である; fact5 -> int5: 仮に「その集積場は脂っこい」ということは事実であるとするとそれは知り合うということはない; int4 & int5 -> int6: その集積場は知り合うということはない; fact7 -> int7: もし仮にその集積場が知り合わないなら帰寮するかあるいは白雪姫であるかあるいは両方ともだ; int6 & int7 -> int8: その集積場は帰寮するかそれは白雪姫だ; int8 & fact3 -> int9: その集積場は二段構えでない; fact4 -> int10: 「「将来情報でないしさらに図式化しない」ということは事実と異なる」ものはある; fact2 & int10 -> int11: その集積場は突き破る; int9 & int11 -> hypothesis;
あの社寺境内は二段構えだ
fact13 -> int12: あの記録メディアが脂っこくないならばそれは通報するか二段構えである; fact15 -> int13: 「突き破るし白雪姫でない」物はある; int13 & fact14 -> int14: あの記録メディアは帰寮しない;
$facts$ = fact1: あの記録メディアが通報するとしたらその集積場は脂っこい fact2: もし「「将来情報でなくてそれに図式化しない」ということは嘘である」物があるとするとその集積場は突き破る fact3: もしもその集積場は帰寮するかあるいは白雪姫であるとすればそれは二段構えでない fact4: 「この想定は将来情報であるということはないしその上図式化しない」ということは成り立たない fact5: とあるものが脂っこいならば知り合わない fact6: あの記録メディアが通報するとしたらあの社寺境内は二段構えである fact7: 何らかのものが知り合わないとしたら帰寮するか白雪姫だ fact8: もしもなにかは突き破るが白雪姫でないならあの記録メディアは帰寮しない fact9: この会計基準変更時差異は突き破る一方で白雪姫でない fact10: とあるものは脂っこくないとすれば「それは通報するかもしくは二段構えであるか両方だ」ということは成り立つ fact11: 仮にあの記録メディアは通報しないとすると「この会計基準変更時差異は成り難くないけど素晴らしい」ということは誤っている fact12: この会計基準変更時差異は成り難いということはない一方で素晴らしい ; $hypothesis$ = その集積場は突き破るが二段構えでない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの記録メディアは通報しない; fact11 & assump1 -> int1: 「この会計基準変更時差異は成り難くないが素晴らしい」ということは成り立たない; int1 & fact12 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの記録メディアは通報する; int3 & fact1 -> int4: 「その集積場は脂っこい」ということは本当である; fact5 -> int5: 仮に「その集積場は脂っこい」ということは事実であるとするとそれは知り合うということはない; int4 & int5 -> int6: その集積場は知り合うということはない; fact7 -> int7: もし仮にその集積場が知り合わないなら帰寮するかあるいは白雪姫であるかあるいは両方ともだ; int6 & int7 -> int8: その集積場は帰寮するかそれは白雪姫だ; int8 & fact3 -> int9: その集積場は二段構えでない; fact4 -> int10: 「「将来情報でないしさらに図式化しない」ということは事実と異なる」ものはある; fact2 & int10 -> int11: その集積場は突き破る; int9 & int11 -> hypothesis; __PROVED__
事実1: あの記録メディアが通報するとしたらその集積場は脂っこい
事実2: もし「「将来情報でなくてそれに図式化しない」ということは嘘である」物があるとするとその集積場は突き破る
事実3: もしもその集積場は帰寮するかあるいは白雪姫であるとすればそれは二段構えでない
事実4: 「この想定は将来情報であるということはないしその上図式化しない」ということは成り立たない
事実5: とあるものが脂っこいならば知り合わない
事実6: あの記録メディアが通報するとしたらあの社寺境内は二段構えである
事実7: 何らかのものが知り合わないとしたら帰寮するか白雪姫だ
事実8: もしもなにかは突き破るが白雪姫でないならあの記録メディアは帰寮しない
事実9: この会計基準変更時差異は突き破る一方で白雪姫でない
事実10: とあるものは脂っこくないとすれば「それは通報するかもしくは二段構えであるか両方だ」ということは成り立つ
事実11: 仮にあの記録メディアは通報しないとすると「この会計基準変更時差異は成り難くないけど素晴らしい」ということは誤っている
事実12: この会計基準変更時差異は成り難いということはない一方で素晴らしい

仮説: その集積場は突き破るが二段構えでない
1. 仮定1: 以下のように仮定する。あの記録メディアは通報しない
2. 事実11と仮定1から、推論1: "「この会計基準変更時差異は成り難くないが素晴らしい」ということは成り立たない"が導かれる
3. 推論1と事実12から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの記録メディアは通報する"が導かれる
5. 推論3と事実1から、推論4: "「その集積場は脂っこい」ということは本当である"が導かれる
6. 事実5から、推論5: "仮に「その集積場は脂っこい」ということは事実であるとするとそれは知り合うということはない"が導かれる
7. 推論4と推論5から、推論6: "その集積場は知り合うということはない"が導かれる
8. 事実7から、推論7: "もし仮にその集積場が知り合わないなら帰寮するかあるいは白雪姫であるかあるいは両方ともだ"が導かれる
9. 推論6と推論7から、推論8: "その集積場は帰寮するかそれは白雪姫だ"が導かれる
10. 推論8と事実3から、推論9: "その集積場は二段構えでない"が導かれる
11. 事実4から、推論10: "「「将来情報でないしさらに図式化しない」ということは事実と異なる」ものはある"が導かれる
12. 事実2と推論10から、推論11: "その集積場は突き破る"が導かれる
13. 推論9と推論11から、仮説が導かれる

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