そのＡＴＭネットワークは減らさない
fact1: 仮になにかは和訓するし妥結するとしたらそれは減らさない fact2: もし仮に何かは和訓しないが完全武装するならばあのＡＴＭネットワークは減らす fact3: もし「その一定範囲内は溶かすけれど精神的援助でない」ということは成り立たないならその実験者は溶かさない fact4: なんらかの物は和訓するし完全武装する fact5: もし仮に「減らさない」ものがあるとするとその実験者は完全武装する fact6: 仮にとある物は大友軍でないしまた装着出来ないとしたらそれは完全武装しない fact7: もし何らかの物が組合員達でないならばそれは合い難くて加えてそれは極値法だ fact8: 仮に何らかのものが完全武装しないとすると和訓するし妥結する fact9: 何かは減らさないが和訓する fact10: もし仮に「「減らさない」ということは成り立つ」ものがあるとしたらそのＡＴＭネットワークは和訓する fact11: 「「その実験者は再検するかあるいはそれは組合員達であるかあるいは両方ともである」ということは偽だ」ということは事実ならばそのＡＴＭネットワークは組合員達でない fact12: 「妥結するということはない」ものがあるとするとその実験者は和訓しないけれど完全武装する fact13: 「「妥結しない」ということは成り立つ」ものはある fact14: もしもなんらかのものは固いとすれば「大友軍でないしそれは装着出来ない」ということは正しい fact15: もしなにかは合い難いとすると「それは固い」ということは真実である fact16: なんらかのものが和訓しないとしたらその実験者は減らさないがしかしそれは完全武装する fact17: 仮にあるものは溶かさないとしたら「再検するか組合員達であるかもしくは両方である」ということは本当であるということはない fact18: あの下駄屋は溶かさない fact19: その実験者は妥結する
fact13 & fact12 -> int1: その実験者は和訓しないけれど完全武装する; int1 -> int2: とあるものは和訓しないけどそれは完全武装する; int2 & fact2 -> hypothesis;
fact13 & fact12 -> int1: (¬{B}{a} & {C}{a}); int1 -> int2: (Ex): (¬{B}x & {C}x); int2 & fact2 -> hypothesis;
そのＡＴＭネットワークは減らさない
fact28 -> int3: もしもそのＡＴＭネットワークが和訓するしそれが妥結するとすると減らさない; fact23 -> int4: 仮にそのＡＴＭネットワークが完全武装しないとしたら和訓するし妥結する; fact22 -> int5: そのＡＴＭネットワークが大友軍でなくてそれが装着出来ないとしたらそれは完全武装しない; fact20 -> int6: 仮にそのＡＴＭネットワークが固いとしたらそれは大友軍でないしさらに装着出来ない; fact26 -> int7: もしもそのＡＴＭネットワークは合い難いならば「固い」ということは成り立つ; fact21 -> int8: もしもそのＡＴＭネットワークは組合員達でないとするとそれは合い難いし極値法だ; fact24 -> int9: もしその実験者は溶かさないとしたら「「それは再検するかそれは組合員達であるかあるいは両方だ」ということは真実である」ということは成り立つということはない; fact29 -> int10: 「溶かさない」ものはある;
$facts$ = fact1: 仮になにかは和訓するし妥結するとしたらそれは減らさない fact2: もし仮に何かは和訓しないが完全武装するならばあのＡＴＭネットワークは減らす fact3: もし「その一定範囲内は溶かすけれど精神的援助でない」ということは成り立たないならその実験者は溶かさない fact4: なんらかの物は和訓するし完全武装する fact5: もし仮に「減らさない」ものがあるとするとその実験者は完全武装する fact6: 仮にとある物は大友軍でないしまた装着出来ないとしたらそれは完全武装しない fact7: もし何らかの物が組合員達でないならばそれは合い難くて加えてそれは極値法だ fact8: 仮に何らかのものが完全武装しないとすると和訓するし妥結する fact9: 何かは減らさないが和訓する fact10: もし仮に「「減らさない」ということは成り立つ」ものがあるとしたらそのＡＴＭネットワークは和訓する fact11: 「「その実験者は再検するかあるいはそれは組合員達であるかあるいは両方ともである」ということは偽だ」ということは事実ならばそのＡＴＭネットワークは組合員達でない fact12: 「妥結するということはない」ものがあるとするとその実験者は和訓しないけれど完全武装する fact13: 「「妥結しない」ということは成り立つ」ものはある fact14: もしもなんらかのものは固いとすれば「大友軍でないしそれは装着出来ない」ということは正しい fact15: もしなにかは合い難いとすると「それは固い」ということは真実である fact16: なんらかのものが和訓しないとしたらその実験者は減らさないがしかしそれは完全武装する fact17: 仮にあるものは溶かさないとしたら「再検するか組合員達であるかもしくは両方である」ということは本当であるということはない fact18: あの下駄屋は溶かさない fact19: その実験者は妥結する ; $hypothesis$ = そのＡＴＭネットワークは減らさない ; $proof$ = 
fact13 & fact12 -> int1: その実験者は和訓しないけれど完全武装する; int1 -> int2: とあるものは和訓しないけどそれは完全武装する; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮になにかは和訓するし妥結するとしたらそれは減らさない
事実2: もし仮に何かは和訓しないが完全武装するならばあのＡＴＭネットワークは減らす
事実3: もし「その一定範囲内は溶かすけれど精神的援助でない」ということは成り立たないならその実験者は溶かさない
事実4: なんらかの物は和訓するし完全武装する
事実5: もし仮に「減らさない」ものがあるとするとその実験者は完全武装する
事実6: 仮にとある物は大友軍でないしまた装着出来ないとしたらそれは完全武装しない
事実7: もし何らかの物が組合員達でないならばそれは合い難くて加えてそれは極値法だ
事実8: 仮に何らかのものが完全武装しないとすると和訓するし妥結する
事実9: 何かは減らさないが和訓する
事実10: もし仮に「「減らさない」ということは成り立つ」ものがあるとしたらそのＡＴＭネットワークは和訓する
事実11: 「「その実験者は再検するかあるいはそれは組合員達であるかあるいは両方ともである」ということは偽だ」ということは事実ならばそのＡＴＭネットワークは組合員達でない
事実12: 「妥結するということはない」ものがあるとするとその実験者は和訓しないけれど完全武装する
事実13: 「「妥結しない」ということは成り立つ」ものはある
事実14: もしもなんらかのものは固いとすれば「大友軍でないしそれは装着出来ない」ということは正しい
事実15: もしなにかは合い難いとすると「それは固い」ということは真実である
事実16: なんらかのものが和訓しないとしたらその実験者は減らさないがしかしそれは完全武装する
事実17: 仮にあるものは溶かさないとしたら「再検するか組合員達であるかもしくは両方である」ということは本当であるということはない
事実18: あの下駄屋は溶かさない
事実19: その実験者は妥結する

仮説: そのＡＴＭネットワークは減らさない
1. 事実13と事実12から、推論1: "その実験者は和訓しないけれど完全武装する"が導かれる
2. 推論1から、推論2: "とあるものは和訓しないけどそれは完全武装する"が導かれる
3. 推論2と事実2から、仮説が否定される

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