その上音構造はどきどき感でない
fact1: 仮になんらかのものはストローク出来るけど陣所だということはないならそれはどきどき感でない fact2: もしも「その上音構造はプロらしくないけれど落ち着く」ということは成り立たないならそれは十階建てでない fact3: その上音構造がプロらしいとすれば十階建てでない fact4: その上音構造は陣所でない fact5: 「その上音構造はプロらしくないけれど落ち着く」ということは間違っている fact6: もし仮にその上音構造が滞納処分でないとしたらそれは角張るしまたストローク出来るということはない fact7: 仮になにかは十階建てだということはないならばそれは陣所でない fact8: もし仮に何かは十階建てでないならばストローク出来るが陣所でない fact9: 「その上音構造はプロらしいしそれに落ち着く」ということは成り立つということはない fact10: もしその上音構造は十階建てでないとしたら陣所でない fact11: 「あの伝統茶はどきどき感でない」ということは事実であるとするとその上音構造はどきどき感だ fact12: 仮に「なにかはどきどき感でない」ということは成り立つならプロらしい一方で落ち着かない
fact8 -> int1: もしその上音構造は十階建てでないとするとストローク出来るけど陣所でない; fact5 & fact2 -> int2: その上音構造は十階建てでない; int1 & int2 -> int3: その上音構造はストローク出来るが陣所でない; fact1 -> int4: もしその上音構造はストローク出来るけど陣所でないならばどきどき感だということはない; int3 & int4 -> hypothesis;
fact8 -> int1: ¬{A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); fact5 & fact2 -> int2: ¬{A}{aa}; int1 & int2 -> int3: ({AA}{aa} & ¬{AB}{aa}); fact1 -> int4: ({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int3 & int4 -> hypothesis;
その上音構造はどきどき感だ
$facts$ = fact1: 仮になんらかのものはストローク出来るけど陣所だということはないならそれはどきどき感でない fact2: もしも「その上音構造はプロらしくないけれど落ち着く」ということは成り立たないならそれは十階建てでない fact3: その上音構造がプロらしいとすれば十階建てでない fact4: その上音構造は陣所でない fact5: 「その上音構造はプロらしくないけれど落ち着く」ということは間違っている fact6: もし仮にその上音構造が滞納処分でないとしたらそれは角張るしまたストローク出来るということはない fact7: 仮になにかは十階建てだということはないならばそれは陣所でない fact8: もし仮に何かは十階建てでないならばストローク出来るが陣所でない fact9: 「その上音構造はプロらしいしそれに落ち着く」ということは成り立つということはない fact10: もしその上音構造は十階建てでないとしたら陣所でない fact11: 「あの伝統茶はどきどき感でない」ということは事実であるとするとその上音構造はどきどき感だ fact12: 仮に「なにかはどきどき感でない」ということは成り立つならプロらしい一方で落ち着かない ; $hypothesis$ = その上音構造はどきどき感でない ; $proof$ = 
fact8 -> int1: もしその上音構造は十階建てでないとするとストローク出来るけど陣所でない; fact5 & fact2 -> int2: その上音構造は十階建てでない; int1 & int2 -> int3: その上音構造はストローク出来るが陣所でない; fact1 -> int4: もしその上音構造はストローク出来るけど陣所でないならばどきどき感だということはない; int3 & int4 -> hypothesis; __PROVED__
事実1: 仮になんらかのものはストローク出来るけど陣所だということはないならそれはどきどき感でない
事実2: もしも「その上音構造はプロらしくないけれど落ち着く」ということは成り立たないならそれは十階建てでない
事実3: その上音構造がプロらしいとすれば十階建てでない
事実4: その上音構造は陣所でない
事実5: 「その上音構造はプロらしくないけれど落ち着く」ということは間違っている
事実6: もし仮にその上音構造が滞納処分でないとしたらそれは角張るしまたストローク出来るということはない
事実7: 仮になにかは十階建てだということはないならばそれは陣所でない
事実8: もし仮に何かは十階建てでないならばストローク出来るが陣所でない
事実9: 「その上音構造はプロらしいしそれに落ち着く」ということは成り立つということはない
事実10: もしその上音構造は十階建てでないとしたら陣所でない
事実11: 「あの伝統茶はどきどき感でない」ということは事実であるとするとその上音構造はどきどき感だ
事実12: 仮に「なにかはどきどき感でない」ということは成り立つならプロらしい一方で落ち着かない

仮説: その上音構造はどきどき感でない
1. 事実8から、推論1: "もしその上音構造は十階建てでないとするとストローク出来るけど陣所でない"が導かれる
2. 事実5と事実2から、推論2: "その上音構造は十階建てでない"が導かれる
3. 推論1と推論2から、推論3: "その上音構造はストローク出来るが陣所でない"が導かれる
4. 事実1から、推論4: "もしその上音構造はストローク出来るけど陣所でないならばどきどき感だということはない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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