その日本精神は突き回すし端末である
fact1: その開通は推進体制である fact2: もし「あるものは掛け易いか写真屋さんであるということはないかもしくはどちらもだ」ということは成り立たないとすればそれは突き回さない fact3: 仮にその開通は突き回さないとすれば「その日本精神は突き回すしそれは端末だ」ということは間違っている fact4: もしもなにがしかの物は推進体制でないなら突き回すしまた端末だ fact5: 仮に「何かは掛け易いかまたは突き回す」ということは誤っているとすると端末でない fact6: 仮にその開通が思い易いがしかし組織化しないとするとその日本精神は推進体制でない fact7: 「その開通は掛け易いかもしくはそれは写真屋さんであるかもしくは両方である」ということは誤っていればそれは突き回さない fact8: 「仮にその開通は推進体制ならば「その開通は掛け易いかあるいはそれは写真屋さんでない」ということは間違っている」ということは正しい
fact8 & fact1 -> int1: 「その開通は掛け易いかあるいは写真屋さんであるということはないかもしくは両方である」ということは成り立たない; fact2 -> int2: もし「その開通は掛け易いかあるいはそれは写真屋さんでないかあるいはどちらもだ」ということは誤りなら突き回さない; int1 & int2 -> int3: その開通は突き回さない; int3 & fact3 -> hypothesis;
fact8 & fact1 -> int1: ¬({AA}{a} v ¬{AB}{a}); fact2 -> int2: ¬({AA}{a} v ¬{AB}{a}) -> ¬{B}{a}; int1 & int2 -> int3: ¬{B}{a}; int3 & fact3 -> hypothesis;
その日本精神は突き回すしおまけに端末である
fact9 -> int4: もし仮にその日本精神が推進体制だということはないとすれば突き回すしかつそれは端末だ;
$facts$ = fact1: その開通は推進体制である fact2: もし「あるものは掛け易いか写真屋さんであるということはないかもしくはどちらもだ」ということは成り立たないとすればそれは突き回さない fact3: 仮にその開通は突き回さないとすれば「その日本精神は突き回すしそれは端末だ」ということは間違っている fact4: もしもなにがしかの物は推進体制でないなら突き回すしまた端末だ fact5: 仮に「何かは掛け易いかまたは突き回す」ということは誤っているとすると端末でない fact6: 仮にその開通が思い易いがしかし組織化しないとするとその日本精神は推進体制でない fact7: 「その開通は掛け易いかもしくはそれは写真屋さんであるかもしくは両方である」ということは誤っていればそれは突き回さない fact8: 「仮にその開通は推進体制ならば「その開通は掛け易いかあるいはそれは写真屋さんでない」ということは間違っている」ということは正しい ; $hypothesis$ = その日本精神は突き回すし端末である ; $proof$ = 
fact8 & fact1 -> int1: 「その開通は掛け易いかあるいは写真屋さんであるということはないかもしくは両方である」ということは成り立たない; fact2 -> int2: もし「その開通は掛け易いかあるいはそれは写真屋さんでないかあるいはどちらもだ」ということは誤りなら突き回さない; int1 & int2 -> int3: その開通は突き回さない; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: その開通は推進体制である
事実2: もし「あるものは掛け易いか写真屋さんであるということはないかもしくはどちらもだ」ということは成り立たないとすればそれは突き回さない
事実3: 仮にその開通は突き回さないとすれば「その日本精神は突き回すしそれは端末だ」ということは間違っている
事実4: もしもなにがしかの物は推進体制でないなら突き回すしまた端末だ
事実5: 仮に「何かは掛け易いかまたは突き回す」ということは誤っているとすると端末でない
事実6: 仮にその開通が思い易いがしかし組織化しないとするとその日本精神は推進体制でない
事実7: 「その開通は掛け易いかもしくはそれは写真屋さんであるかもしくは両方である」ということは誤っていればそれは突き回さない
事実8: 「仮にその開通は推進体制ならば「その開通は掛け易いかあるいはそれは写真屋さんでない」ということは間違っている」ということは正しい

仮説: その日本精神は突き回すし端末である
1. 事実8と事実1から、推論1: "「その開通は掛け易いかあるいは写真屋さんであるということはないかもしくは両方である」ということは成り立たない"が導かれる
2. 事実2から、推論2: "もし「その開通は掛け易いかあるいはそれは写真屋さんでないかあるいはどちらもだ」ということは誤りなら突き回さない"が導かれる
3. 推論1と推論2から、推論3: "その開通は突き回さない"が導かれる
4. 推論3と事実3から、仮説が否定される

よって、仮説が否定されました。