その葡萄果汁は実体化だということはない
fact1: 「この絵図・地図資料は御めでたい」ということは真実だ fact2: 「「その中学時代は蓮である」ということは真実である」ということは嘘である fact3: もし仮に「なにがしかの物は四ＦＳＣＢであるしさらにそれは正しい」ということは成り立たないとすると四ＦＳＣＢでない fact4: とあるものは四ＦＳＣＢでないとすれば「御めでたい」ということは本当だ fact5: もしこの絵図・地図資料が蓮でないとするとその九十二ページ参照は四ＦＳＣＢだがしかし蓮でない fact6: もしもこの絵図・地図資料は甘酸っぱいということはないし打撲でないとすればそれは蓮でない fact7: もしもその葡萄果汁が御めでたくないとするとその九十二ページ参照は荒稼ぎしないしその上増税法案だということはない fact8: 仮になんらかの物はアンドでないならば「四ＦＳＣＢであるし正しい」ということは嘘である fact9: もしもその九十二ページ参照が四ＦＳＣＢであるがしかし蓮でないならばその葡萄果汁は実体化でない fact10: 御めでたい物は甘酸っぱくないしかつ打撲でない fact11: もし仮になんらかのものは御めでたいならば「蓮でないしそれに実体化でない」ということは誤っている fact12: 正しくないものは実体化であるし四ＦＳＣＢだ fact13: もし「あの一纏りは二時頃でないがアンドである」ということは偽ならその九十二ページ参照はアンドであるということはない fact14: もしも「その九十二ページ参照は蓮でなくてその上実体化でない」ということは事実と異なればその葡萄果汁は実体化である fact15: もしも何らかの物は頼もしいとすれば「それは二時頃でなくてそれにアンドだ」ということは偽だ
fact10 -> int1: もしこの絵図・地図資料が御めでたいとしたら甘酸っぱくないし打撲でない; int1 & fact1 -> int2: この絵図・地図資料が甘酸っぱいということはないしその上それは打撲でない; int2 & fact6 -> int3: この絵図・地図資料は蓮でない; int3 & fact5 -> int4: その九十二ページ参照は四ＦＳＣＢであるけれどそれは蓮でない; int4 & fact9 -> hypothesis;
その九十二ページ参照は荒稼ぎしないしかつ増税法案でない
fact16 -> int5: もし仮に「その再設計は正しくない」ということは事実なら実体化で四ＦＳＣＢである;
$facts$ = fact1: 「この絵図・地図資料は御めでたい」ということは真実だ fact2: 「「その中学時代は蓮である」ということは真実である」ということは嘘である fact3: もし仮に「なにがしかの物は四ＦＳＣＢであるしさらにそれは正しい」ということは成り立たないとすると四ＦＳＣＢでない fact4: とあるものは四ＦＳＣＢでないとすれば「御めでたい」ということは本当だ fact5: もしこの絵図・地図資料が蓮でないとするとその九十二ページ参照は四ＦＳＣＢだがしかし蓮でない fact6: もしもこの絵図・地図資料は甘酸っぱいということはないし打撲でないとすればそれは蓮でない fact7: もしもその葡萄果汁が御めでたくないとするとその九十二ページ参照は荒稼ぎしないしその上増税法案だということはない fact8: 仮になんらかの物はアンドでないならば「四ＦＳＣＢであるし正しい」ということは嘘である fact9: もしもその九十二ページ参照が四ＦＳＣＢであるがしかし蓮でないならばその葡萄果汁は実体化でない fact10: 御めでたい物は甘酸っぱくないしかつ打撲でない fact11: もし仮になんらかのものは御めでたいならば「蓮でないしそれに実体化でない」ということは誤っている fact12: 正しくないものは実体化であるし四ＦＳＣＢだ fact13: もし「あの一纏りは二時頃でないがアンドである」ということは偽ならその九十二ページ参照はアンドであるということはない fact14: もしも「その九十二ページ参照は蓮でなくてその上実体化でない」ということは事実と異なればその葡萄果汁は実体化である fact15: もしも何らかの物は頼もしいとすれば「それは二時頃でなくてそれにアンドだ」ということは偽だ ; $hypothesis$ = その葡萄果汁は実体化だということはない ; $proof$ = 
fact10 -> int1: もしこの絵図・地図資料が御めでたいとしたら甘酸っぱくないし打撲でない; int1 & fact1 -> int2: この絵図・地図資料が甘酸っぱいということはないしその上それは打撲でない; int2 & fact6 -> int3: この絵図・地図資料は蓮でない; int3 & fact5 -> int4: その九十二ページ参照は四ＦＳＣＢであるけれどそれは蓮でない; int4 & fact9 -> hypothesis; __PROVED__
事実1: 「この絵図・地図資料は御めでたい」ということは真実だ
事実2: 「「その中学時代は蓮である」ということは真実である」ということは嘘である
事実3: もし仮に「なにがしかの物は四ＦＳＣＢであるしさらにそれは正しい」ということは成り立たないとすると四ＦＳＣＢでない
事実4: とあるものは四ＦＳＣＢでないとすれば「御めでたい」ということは本当だ
事実5: もしこの絵図・地図資料が蓮でないとするとその九十二ページ参照は四ＦＳＣＢだがしかし蓮でない
事実6: もしもこの絵図・地図資料は甘酸っぱいということはないし打撲でないとすればそれは蓮でない
事実7: もしもその葡萄果汁が御めでたくないとするとその九十二ページ参照は荒稼ぎしないしその上増税法案だということはない
事実8: 仮になんらかの物はアンドでないならば「四ＦＳＣＢであるし正しい」ということは嘘である
事実9: もしもその九十二ページ参照が四ＦＳＣＢであるがしかし蓮でないならばその葡萄果汁は実体化でない
事実10: 御めでたい物は甘酸っぱくないしかつ打撲でない
事実11: もし仮になんらかのものは御めでたいならば「蓮でないしそれに実体化でない」ということは誤っている
事実12: 正しくないものは実体化であるし四ＦＳＣＢだ
事実13: もし「あの一纏りは二時頃でないがアンドである」ということは偽ならその九十二ページ参照はアンドであるということはない
事実14: もしも「その九十二ページ参照は蓮でなくてその上実体化でない」ということは事実と異なればその葡萄果汁は実体化である
事実15: もしも何らかの物は頼もしいとすれば「それは二時頃でなくてそれにアンドだ」ということは偽だ

仮説: その葡萄果汁は実体化だということはない
1. 事実10から、推論1: "もしこの絵図・地図資料が御めでたいとしたら甘酸っぱくないし打撲でない"が導かれる
2. 推論1と事実1から、推論2: "この絵図・地図資料が甘酸っぱいということはないしその上それは打撲でない"が導かれる
3. 推論2と事実6から、推論3: "この絵図・地図資料は蓮でない"が導かれる
4. 推論3と事実5から、推論4: "その九十二ページ参照は四ＦＳＣＢであるけれどそれは蓮でない"が導かれる
5. 推論4と事実9から、仮説が導かれる

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