あの心房細動は逆切れするしまた剥き出す
fact1: もしも「ある物は色気であるけど弁済だということはない」ということは間違いであるとすると逆切れする fact2: 狂おしくないものは区別し易くないかあるいは甚だしくないか両方ともだ fact3: このマーケットリサーチは数倍しない fact4: もし仮に「あの勤務校は薬室でないかあるいは不平等であるかあるいはどちらもだ」ということは間違っているとするとあの心房細動は不平等でない fact5: もしなにがしかのものが数倍するとすれば逆切れする fact6: もしもなにがしかのものは数倍すれば「それは薬室でないかまたは不平等であるかあるいは両方である」ということは偽である fact7: あのコミュニケーション方法は薬室であるということはない fact8: 何らかのものは不平等でないとしたら「逆切れするしさらに剥き出す」ということは成り立たない fact9: あの勤務校は数倍しない fact10: 色気だ一方で弁済でないというものはない fact11: 「もしも「あるものは張り替えるしその上地上解析図だ」ということは間違いであるとしたらわりなくない」ということは間違っていない fact12: 仮になにがしかの物はわりなくないとすれば「それは狂おしいしそれにそれは人間っぽい」ということは偽である fact13: もしもあの勤務校は数倍しないなら「あの心房細動は不平等でないけれど薬室である」ということは偽だ fact14: 仮に「とあるものは狂おしいしさらに人間っぽい」ということは真実でないとしたら狂おしいということはない fact15: もしあの義士がわりなくないとしたらあの誰かさんはわりなくない fact16: あの誰かさんが区別し易くないとすればあの勤務校は数倍する fact17: 「「あの義士は張り替えるししかもそれは地上解析図だ」ということは本当である」ということは嘘である fact18: もしも「何かは不平等でないけれど薬室だ」ということは成り立たないなら剥き出す
fact10 -> int1: 「あの心房細動は色気であるけれど弁済だということはない」ということは成り立たない; fact1 -> int2: 仮に「あの心房細動は色気だがしかし弁済でない」ということは事実と異なるとすれば逆切れする; int1 & int2 -> int3: あの心房細動は逆切れする; fact13 & fact9 -> int4: 「あの心房細動は不平等でないがしかし薬室だ」ということは誤りである; fact18 -> int5: もし仮に「あの心房細動は不平等でないけれど薬室だ」ということは真実でないとすればそれは剥き出す; int4 & int5 -> int6: あの心房細動は剥き出す; int3 & int6 -> hypothesis;
fact10 -> int1: ¬({AA}{aa} & ¬{AB}{aa}); fact1 -> int2: ¬({AA}{aa} & ¬{AB}{aa}) -> {A}{aa}; int1 & int2 -> int3: {A}{aa}; fact13 & fact9 -> int4: ¬(¬{C}{aa} & {D}{aa}); fact18 -> int5: ¬(¬{C}{aa} & {D}{aa}) -> {B}{aa}; int4 & int5 -> int6: {B}{aa}; int3 & int6 -> hypothesis;
「あの心房細動は逆切れするし加えて剥き出す」ということは嘘である
fact20 -> int7: 仮にあの心房細動は不平等であるということはないなら「逆切れするしそれは剥き出す」ということは間違いだ; fact24 -> int8: もしあの勤務校は数倍するとすると「薬室でないか不平等であるかあるいはどちらもだ」ということは成り立つということはない; fact25 -> int9: あの誰かさんが狂おしくないとしたらそれは区別し易くないかもしくはそれは甚だしくないかまたは両方ともだ; fact27 -> int10: もしも「あの誰かさんは狂おしいしおまけにそれは人間っぽい」ということは偽であるなら「それは狂おしい」ということは事実と異なる; fact22 -> int11: もしもあの誰かさんはわりなくないならば「それは狂おしいし人間っぽい」ということは偽だ; fact21 -> int12: もしも「あの義士は張り替えるし地上解析図だ」ということは確かでないとすればそれはわりなくない; int12 & fact26 -> int13: あの義士はわりなくない; fact28 & int13 -> int14: あの誰かさんはわりなくない; int11 & int14 -> int15: 「あの誰かさんは狂おしいしその上人間っぽい」ということは間違っている; int10 & int15 -> int16: あの誰かさんは狂おしくない; int9 & int16 -> int17: あの誰かさんは区別し易いということはないかもしくは甚だしくないか両方である;
$facts$ = fact1: もしも「ある物は色気であるけど弁済だということはない」ということは間違いであるとすると逆切れする fact2: 狂おしくないものは区別し易くないかあるいは甚だしくないか両方ともだ fact3: このマーケットリサーチは数倍しない fact4: もし仮に「あの勤務校は薬室でないかあるいは不平等であるかあるいはどちらもだ」ということは間違っているとするとあの心房細動は不平等でない fact5: もしなにがしかのものが数倍するとすれば逆切れする fact6: もしもなにがしかのものは数倍すれば「それは薬室でないかまたは不平等であるかあるいは両方である」ということは偽である fact7: あのコミュニケーション方法は薬室であるということはない fact8: 何らかのものは不平等でないとしたら「逆切れするしさらに剥き出す」ということは成り立たない fact9: あの勤務校は数倍しない fact10: 色気だ一方で弁済でないというものはない fact11: 「もしも「あるものは張り替えるしその上地上解析図だ」ということは間違いであるとしたらわりなくない」ということは間違っていない fact12: 仮になにがしかの物はわりなくないとすれば「それは狂おしいしそれにそれは人間っぽい」ということは偽である fact13: もしもあの勤務校は数倍しないなら「あの心房細動は不平等でないけれど薬室である」ということは偽だ fact14: 仮に「とあるものは狂おしいしさらに人間っぽい」ということは真実でないとしたら狂おしいということはない fact15: もしあの義士がわりなくないとしたらあの誰かさんはわりなくない fact16: あの誰かさんが区別し易くないとすればあの勤務校は数倍する fact17: 「「あの義士は張り替えるししかもそれは地上解析図だ」ということは本当である」ということは嘘である fact18: もしも「何かは不平等でないけれど薬室だ」ということは成り立たないなら剥き出す ; $hypothesis$ = あの心房細動は逆切れするしまた剥き出す ; $proof$ = 
fact10 -> int1: 「あの心房細動は色気であるけれど弁済だということはない」ということは成り立たない; fact1 -> int2: 仮に「あの心房細動は色気だがしかし弁済でない」ということは事実と異なるとすれば逆切れする; int1 & int2 -> int3: あの心房細動は逆切れする; fact13 & fact9 -> int4: 「あの心房細動は不平等でないがしかし薬室だ」ということは誤りである; fact18 -> int5: もし仮に「あの心房細動は不平等でないけれど薬室だ」ということは真実でないとすればそれは剥き出す; int4 & int5 -> int6: あの心房細動は剥き出す; int3 & int6 -> hypothesis; __PROVED__
事実1: もしも「ある物は色気であるけど弁済だということはない」ということは間違いであるとすると逆切れする
事実2: 狂おしくないものは区別し易くないかあるいは甚だしくないか両方ともだ
事実3: このマーケットリサーチは数倍しない
事実4: もし仮に「あの勤務校は薬室でないかあるいは不平等であるかあるいはどちらもだ」ということは間違っているとするとあの心房細動は不平等でない
事実5: もしなにがしかのものが数倍するとすれば逆切れする
事実6: もしもなにがしかのものは数倍すれば「それは薬室でないかまたは不平等であるかあるいは両方である」ということは偽である
事実7: あのコミュニケーション方法は薬室であるということはない
事実8: 何らかのものは不平等でないとしたら「逆切れするしさらに剥き出す」ということは成り立たない
事実9: あの勤務校は数倍しない
事実10: 色気だ一方で弁済でないというものはない
事実11: 「もしも「あるものは張り替えるしその上地上解析図だ」ということは間違いであるとしたらわりなくない」ということは間違っていない
事実12: 仮になにがしかの物はわりなくないとすれば「それは狂おしいしそれにそれは人間っぽい」ということは偽である
事実13: もしもあの勤務校は数倍しないなら「あの心房細動は不平等でないけれど薬室である」ということは偽だ
事実14: 仮に「とあるものは狂おしいしさらに人間っぽい」ということは真実でないとしたら狂おしいということはない
事実15: もしあの義士がわりなくないとしたらあの誰かさんはわりなくない
事実16: あの誰かさんが区別し易くないとすればあの勤務校は数倍する
事実17: 「「あの義士は張り替えるししかもそれは地上解析図だ」ということは本当である」ということは嘘である
事実18: もしも「何かは不平等でないけれど薬室だ」ということは成り立たないなら剥き出す

仮説: あの心房細動は逆切れするしまた剥き出す
1. 事実10から、推論1: "「あの心房細動は色気であるけれど弁済だということはない」ということは成り立たない"が導かれる
2. 事実1から、推論2: "仮に「あの心房細動は色気だがしかし弁済でない」ということは事実と異なるとすれば逆切れする"が導かれる
3. 推論1と推論2から、推論3: "あの心房細動は逆切れする"が導かれる
4. 事実13と事実9から、推論4: "「あの心房細動は不平等でないがしかし薬室だ」ということは誤りである"が導かれる
5. 事実18から、推論5: "もし仮に「あの心房細動は不平等でないけれど薬室だ」ということは真実でないとすればそれは剥き出す"が導かれる
6. 推論4と推論5から、推論6: "あの心房細動は剥き出す"が導かれる
7. 推論3と推論6から、仮説が導かれる

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