この集計問題は男っぽいしかつそれは会話らしい
fact1: 仮にあの動産・不動産は悲しがらないならば「この集計問題は男っぽくて加えて会話らしい」ということは成り立たない fact2: もし仮に「なにがしかのものはえげつなくないが収拾する」ということは誤っているとするとそれは懸念しない fact3: もし仮に何かは謝罪するけれど悲しがらないとすると「返金だということはない」ということは確かである fact4: もし仮に「なにかは返金でないし会話らしくない」ということは本当でないとすればそれは会話らしい fact5: もしも何らかの物は懸念しないとすれば「それは謝罪するということはなくてかつ返金でない」ということは嘘である fact6: この世話物は日本人らしくない fact7: 仮にあの秘術が胎蔵しないとすればそのキャッシュ・インフローは胎蔵しない fact8: もしもこの世話物が日本人らしくないとするとそれは胎蔵しなくて加えてそれは肝試しでない fact9: あの動産・不動産が確からしいならばあの集計問題は男っぽい fact10: もしそのキャッシュ・インフローは胎蔵しないとすると「それはえげつなくないしかつそれは収拾する」ということは成り立たない fact11: もしこの集計問題は懸念しないならば「返金でないけど会話らしい」ということは嘘である fact12: この学園紛争は懸念しない fact13: 仮に「この集計問題は懸念しない」ということは成り立つなら「それは返金でないしさらに会話らしくない」ということは成り立たない fact14: 仮にこの世話物が胎蔵しないし肝試しでないならばあの秘術は胎蔵しない fact15: もしもあの動産・不動産が謝罪するとするとこの集計問題は男っぽい fact16: あの講習は確からしい fact17: もしこの集計問題は謝罪するとすれば「あの動産・不動産は返金だ」ということは成り立つ fact18: 「この集計問題は返金でないし確からしくない」ということは成り立たない fact19: 「この集計問題は返金でないが会話らしい」ということは誤りである fact20: 何かは悲しがらないならば「それは男っぽくて会話らしい」ということは成り立たない fact21: もし仮に「「悲しがる」ということは成り立つ」ものがあるならあの動産・不動産は謝罪するか確からしいか両方である fact22: なにかは悲しがる fact23: もしもなにかは謝罪すれば「それは悲しがるししかもそれは確からしくない」ということは事実と異なる fact24: この集計問題は懸念しない
fact22 & fact21 -> int1: あの動産・不動産は謝罪するかあるいは確からしい; int1 & fact15 & fact9 -> int2: この集計問題は男っぽい; fact4 -> int3: もし「この集計問題は返金でなくて会話らしくない」ということは嘘であるとしたらそれは会話らしい; fact24 & fact13 -> int4: 「この集計問題は返金であるということはないし会話らしくない」ということは正しくない; int3 & int4 -> int5: この集計問題は会話らしい; int2 & int5 -> hypothesis;
fact22 & fact21 -> int1: ({B}{a} v {C}{a}); int1 & fact15 & fact9 -> int2: {D}{b}; fact4 -> int3: ¬(¬{F}{b} & ¬{E}{b}) -> {E}{b}; fact24 & fact13 -> int4: ¬(¬{F}{b} & ¬{E}{b}); int3 & int4 -> int5: {E}{b}; int2 & int5 -> hypothesis;
この御確信は返金でない
fact25 -> int6: 仮にこの御確信は謝罪する一方で悲しがらないとすればそれは返金でない;
$facts$ = fact1: 仮にあの動産・不動産は悲しがらないならば「この集計問題は男っぽくて加えて会話らしい」ということは成り立たない fact2: もし仮に「なにがしかのものはえげつなくないが収拾する」ということは誤っているとするとそれは懸念しない fact3: もし仮に何かは謝罪するけれど悲しがらないとすると「返金だということはない」ということは確かである fact4: もし仮に「なにかは返金でないし会話らしくない」ということは本当でないとすればそれは会話らしい fact5: もしも何らかの物は懸念しないとすれば「それは謝罪するということはなくてかつ返金でない」ということは嘘である fact6: この世話物は日本人らしくない fact7: 仮にあの秘術が胎蔵しないとすればそのキャッシュ・インフローは胎蔵しない fact8: もしもこの世話物が日本人らしくないとするとそれは胎蔵しなくて加えてそれは肝試しでない fact9: あの動産・不動産が確からしいならばあの集計問題は男っぽい fact10: もしそのキャッシュ・インフローは胎蔵しないとすると「それはえげつなくないしかつそれは収拾する」ということは成り立たない fact11: もしこの集計問題は懸念しないならば「返金でないけど会話らしい」ということは嘘である fact12: この学園紛争は懸念しない fact13: 仮に「この集計問題は懸念しない」ということは成り立つなら「それは返金でないしさらに会話らしくない」ということは成り立たない fact14: 仮にこの世話物が胎蔵しないし肝試しでないならばあの秘術は胎蔵しない fact15: もしもあの動産・不動産が謝罪するとするとこの集計問題は男っぽい fact16: あの講習は確からしい fact17: もしこの集計問題は謝罪するとすれば「あの動産・不動産は返金だ」ということは成り立つ fact18: 「この集計問題は返金でないし確からしくない」ということは成り立たない fact19: 「この集計問題は返金でないが会話らしい」ということは誤りである fact20: 何かは悲しがらないならば「それは男っぽくて会話らしい」ということは成り立たない fact21: もし仮に「「悲しがる」ということは成り立つ」ものがあるならあの動産・不動産は謝罪するか確からしいか両方である fact22: なにかは悲しがる fact23: もしもなにかは謝罪すれば「それは悲しがるししかもそれは確からしくない」ということは事実と異なる fact24: この集計問題は懸念しない ; $hypothesis$ = この集計問題は男っぽいしかつそれは会話らしい ; $proof$ = 
fact22 & fact21 -> int1: あの動産・不動産は謝罪するかあるいは確からしい; int1 & fact15 & fact9 -> int2: この集計問題は男っぽい; fact4 -> int3: もし「この集計問題は返金でなくて会話らしくない」ということは嘘であるとしたらそれは会話らしい; fact24 & fact13 -> int4: 「この集計問題は返金であるということはないし会話らしくない」ということは正しくない; int3 & int4 -> int5: この集計問題は会話らしい; int2 & int5 -> hypothesis; __PROVED__
事実1: 仮にあの動産・不動産は悲しがらないならば「この集計問題は男っぽくて加えて会話らしい」ということは成り立たない
事実2: もし仮に「なにがしかのものはえげつなくないが収拾する」ということは誤っているとするとそれは懸念しない
事実3: もし仮に何かは謝罪するけれど悲しがらないとすると「返金だということはない」ということは確かである
事実4: もし仮に「なにかは返金でないし会話らしくない」ということは本当でないとすればそれは会話らしい
事実5: もしも何らかの物は懸念しないとすれば「それは謝罪するということはなくてかつ返金でない」ということは嘘である
事実6: この世話物は日本人らしくない
事実7: 仮にあの秘術が胎蔵しないとすればそのキャッシュ・インフローは胎蔵しない
事実8: もしもこの世話物が日本人らしくないとするとそれは胎蔵しなくて加えてそれは肝試しでない
事実9: あの動産・不動産が確からしいならばあの集計問題は男っぽい
事実10: もしそのキャッシュ・インフローは胎蔵しないとすると「それはえげつなくないしかつそれは収拾する」ということは成り立たない
事実11: もしこの集計問題は懸念しないならば「返金でないけど会話らしい」ということは嘘である
事実12: この学園紛争は懸念しない
事実13: 仮に「この集計問題は懸念しない」ということは成り立つなら「それは返金でないしさらに会話らしくない」ということは成り立たない
事実14: 仮にこの世話物が胎蔵しないし肝試しでないならばあの秘術は胎蔵しない
事実15: もしもあの動産・不動産が謝罪するとするとこの集計問題は男っぽい
事実16: あの講習は確からしい
事実17: もしこの集計問題は謝罪するとすれば「あの動産・不動産は返金だ」ということは成り立つ
事実18: 「この集計問題は返金でないし確からしくない」ということは成り立たない
事実19: 「この集計問題は返金でないが会話らしい」ということは誤りである
事実20: 何かは悲しがらないならば「それは男っぽくて会話らしい」ということは成り立たない
事実21: もし仮に「「悲しがる」ということは成り立つ」ものがあるならあの動産・不動産は謝罪するか確からしいか両方である
事実22: なにかは悲しがる
事実23: もしもなにかは謝罪すれば「それは悲しがるししかもそれは確からしくない」ということは事実と異なる
事実24: この集計問題は懸念しない

仮説: この集計問題は男っぽいしかつそれは会話らしい
1. 事実22と事実21から、推論1: "あの動産・不動産は謝罪するかあるいは確からしい"が導かれる
2. 推論1と事実15と事実9から、推論2: "この集計問題は男っぽい"が導かれる
3. 事実4から、推論3: "もし「この集計問題は返金でなくて会話らしくない」ということは嘘であるとしたらそれは会話らしい"が導かれる
4. 事実24と事実13から、推論4: "「この集計問題は返金であるということはないし会話らしくない」ということは正しくない"が導かれる
5. 推論3と推論4から、推論5: "この集計問題は会話らしい"が導かれる
6. 推論2と推論5から、仮説が導かれる

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