「この政府専用機は払い込み資本でその上二ＬＤＫだ」ということは成り立たない
fact1: もし何かは逸らさないならばそれは導き出すということはないしそれは物産だ fact2: 仮にこの政府専用機が逸らさないとしたら物産だ fact3: 「この政府専用機は殴り込みでないけれど絶対する」ということは事実と異なる fact4: 「もしなにがしかのものが物産だとすれば退所する」ということは確かである fact5: もしも「そのＴＡＫＡは導き出す一方でそれは衝突有効カウンタでない」ということは事実と異なるとしたらこの政府専用機は導き出さない fact6: 仮に「なにかは導き出さないけれど物産だ」ということは成り立つとすればそれは衝突有効カウンタである fact7: もしも色好いものは茶色っぽくないとしたら「この政府専用機は二ＬＤＫである」ということは誤りでない fact8: もしこの政府専用機は殴り込みであるならば逸らさない fact9: 何かは物産でないとしたら「それは払い込み資本であるし二ＬＤＫだ」ということは成り立たない fact10: もしも「この政府専用機は殴り込みでないけれどそれは絶対する」ということは誤っているとすると逸らさない fact11: もし仮にこの政府専用機が衝突有効カウンタだとするとそれは払い込み資本だ fact12: そのＴＡＫＡは色好いけれど茶色っぽくない fact13: 「この政府専用機が殴り込みだしかつ絶対する」ということは誤っている fact14: この政府専用機が退所するとしたらこの男権社会は退所する
fact10 & fact3 -> int1: この政府専用機は逸らさない; fact1 -> int2: もしこの政府専用機が逸らさないとするとそれは導き出さないしかつそれは物産だ; int1 & int2 -> int3: この政府専用機は導き出さないけれど物産である; fact6 -> int4: 仮にこの政府専用機は導き出さないけれど物産であるならばそれは衝突有効カウンタだ; int3 & int4 -> int5: この政府専用機は衝突有効カウンタである; int5 & fact11 -> int6: この政府専用機は払い込み資本だ; fact12 -> int7: 色好いし茶色っぽくない物はある; fact7 & int7 -> int8: この政府専用機は二ＬＤＫである; int6 & int8 -> hypothesis;
この男権社会は退所するし意見概要である
fact16 -> int9: この政府専用機が物産ならそれは退所する;
$facts$ = fact1: もし何かは逸らさないならばそれは導き出すということはないしそれは物産だ fact2: 仮にこの政府専用機が逸らさないとしたら物産だ fact3: 「この政府専用機は殴り込みでないけれど絶対する」ということは事実と異なる fact4: 「もしなにがしかのものが物産だとすれば退所する」ということは確かである fact5: もしも「そのＴＡＫＡは導き出す一方でそれは衝突有効カウンタでない」ということは事実と異なるとしたらこの政府専用機は導き出さない fact6: 仮に「なにかは導き出さないけれど物産だ」ということは成り立つとすればそれは衝突有効カウンタである fact7: もしも色好いものは茶色っぽくないとしたら「この政府専用機は二ＬＤＫである」ということは誤りでない fact8: もしこの政府専用機は殴り込みであるならば逸らさない fact9: 何かは物産でないとしたら「それは払い込み資本であるし二ＬＤＫだ」ということは成り立たない fact10: もしも「この政府専用機は殴り込みでないけれどそれは絶対する」ということは誤っているとすると逸らさない fact11: もし仮にこの政府専用機が衝突有効カウンタだとするとそれは払い込み資本だ fact12: そのＴＡＫＡは色好いけれど茶色っぽくない fact13: 「この政府専用機が殴り込みだしかつ絶対する」ということは誤っている fact14: この政府専用機が退所するとしたらこの男権社会は退所する ; $hypothesis$ = 「この政府専用機は払い込み資本でその上二ＬＤＫだ」ということは成り立たない ; $proof$ = 
fact10 & fact3 -> int1: この政府専用機は逸らさない; fact1 -> int2: もしこの政府専用機が逸らさないとするとそれは導き出さないしかつそれは物産だ; int1 & int2 -> int3: この政府専用機は導き出さないけれど物産である; fact6 -> int4: 仮にこの政府専用機は導き出さないけれど物産であるならばそれは衝突有効カウンタだ; int3 & int4 -> int5: この政府専用機は衝突有効カウンタである; int5 & fact11 -> int6: この政府専用機は払い込み資本だ; fact12 -> int7: 色好いし茶色っぽくない物はある; fact7 & int7 -> int8: この政府専用機は二ＬＤＫである; int6 & int8 -> hypothesis; __DISPROVED__
事実1: もし何かは逸らさないならばそれは導き出すということはないしそれは物産だ
事実2: 仮にこの政府専用機が逸らさないとしたら物産だ
事実3: 「この政府専用機は殴り込みでないけれど絶対する」ということは事実と異なる
事実4: 「もしなにがしかのものが物産だとすれば退所する」ということは確かである
事実5: もしも「そのＴＡＫＡは導き出す一方でそれは衝突有効カウンタでない」ということは事実と異なるとしたらこの政府専用機は導き出さない
事実6: 仮に「なにかは導き出さないけれど物産だ」ということは成り立つとすればそれは衝突有効カウンタである
事実7: もしも色好いものは茶色っぽくないとしたら「この政府専用機は二ＬＤＫである」ということは誤りでない
事実8: もしこの政府専用機は殴り込みであるならば逸らさない
事実9: 何かは物産でないとしたら「それは払い込み資本であるし二ＬＤＫだ」ということは成り立たない
事実10: もしも「この政府専用機は殴り込みでないけれどそれは絶対する」ということは誤っているとすると逸らさない
事実11: もし仮にこの政府専用機が衝突有効カウンタだとするとそれは払い込み資本だ
事実12: そのＴＡＫＡは色好いけれど茶色っぽくない
事実13: 「この政府専用機が殴り込みだしかつ絶対する」ということは誤っている
事実14: この政府専用機が退所するとしたらこの男権社会は退所する

仮説: 「この政府専用機は払い込み資本でその上二ＬＤＫだ」ということは成り立たない
1. 事実10と事実3から、推論1: "この政府専用機は逸らさない"が導かれる
2. 事実1から、推論2: "もしこの政府専用機が逸らさないとするとそれは導き出さないしかつそれは物産だ"が導かれる
3. 推論1と推論2から、推論3: "この政府専用機は導き出さないけれど物産である"が導かれる
4. 事実6から、推論4: "仮にこの政府専用機は導き出さないけれど物産であるならばそれは衝突有効カウンタだ"が導かれる
5. 推論3と推論4から、推論5: "この政府専用機は衝突有効カウンタである"が導かれる
6. 推論5と事実11から、推論6: "この政府専用機は払い込み資本だ"が導かれる
7. 事実12から、推論7: "色好いし茶色っぽくない物はある"が導かれる
8. 事実7と推論7から、推論8: "この政府専用機は二ＬＤＫである"が導かれる
9. 推論6と推論8から、仮説が否定される

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