その御時勢は付設するということはない
fact1: この無関心性は思い上がる fact2: もし仮にそのロシア軍は入校しないとしたら「その御時勢は押し付けがましいし付設する」ということは誤っている fact3: もしも「なにかは入校するしひしゃげる」ということは本当でないとするとそれは入校しない fact4: 仮に「あの論理学者は押し付けがましいということはないししかも入校しない」ということは成り立たないとしたらその御時勢は付設する fact5: もし「台頭するということはない」ものはあるとすれば「「そのロシア軍は入校するしそれにひしゃげる」ということは確かだ」ということは間違いである fact6: もしも「澄む」物はあるとしたら「「あの論理学者が押し付けがましくらないしさらにそれは入校しない」ということは成り立つ」ということは誤っている fact7: 「「澄む」ということは成り立つ」ものはある fact8: 押し付けがましくらないものは澄むということはない fact9: この無関心性はＡＢ型だ fact10: 「その御時勢は押し付けがましいし加えて付設する」ということは間違いであるとすればあの論理学者は押し付けがましいということはない fact11: 「その御時勢は押し付けがましいけれど付設しない」ということは嘘だ fact12: ＡＢ型が思い上がるとすればそれは台頭しない fact13: もしとある物は澄まないならば「防衛体制である」ということは正しい
fact7 & fact6 -> int1: 「あの論理学者が押し付けはましくらなくて更に入校しない」ということは成り立たない; int1 & fact4 -> hypothesis;
「防衛体制な」物はある
fact16 -> int2: もしもあの論理学者は澄むということはないとしたら「それは防衛体制だ」ということは間違っていない; fact18 -> int3: 仮にあの論理学者が押し付けがましくらないとするとそれは澄まない; fact22 -> int4: 仮に「そのロシア軍は入校するしひしゃげる」ということは成り立たないとすれば「それは入校しない」ということは間違いであるということはない; fact21 -> int5: もしもこの無関心性はＡＢ型で思い上がるとすると台頭しない; fact15 & fact19 -> int6: この無関心性はＡＢ型であるしまた思い上がる; int5 & int6 -> int7: この無関心性は台頭しない; int7 -> int8: とあるものは台頭しない; int8 & fact17 -> int9: 「そのロシア軍は入校するしかつひしゃげる」ということは間違っている; int4 & int9 -> int10: そのロシア軍は入校しない; fact20 & int10 -> int11: 「「その御時勢が押し付けはましくて付設する」ということは成り立つ」ということは誤っている; fact14 & int11 -> int12: 「あの論理学者が押し付けはましくらない」ということは本当だ; int3 & int12 -> int13: あの論理学者は澄まない; int2 & int13 -> int14: あの論理学者は防衛体制だ; int14 -> hypothesis;
$facts$ = fact1: この無関心性は思い上がる fact2: もし仮にそのロシア軍は入校しないとしたら「その御時勢は押し付けがましいし付設する」ということは誤っている fact3: もしも「なにかは入校するしひしゃげる」ということは本当でないとするとそれは入校しない fact4: 仮に「あの論理学者は押し付けがましいということはないししかも入校しない」ということは成り立たないとしたらその御時勢は付設する fact5: もし「台頭するということはない」ものはあるとすれば「「そのロシア軍は入校するしそれにひしゃげる」ということは確かだ」ということは間違いである fact6: もしも「澄む」物はあるとしたら「「あの論理学者が押し付けがましくらないしさらにそれは入校しない」ということは成り立つ」ということは誤っている fact7: 「「澄む」ということは成り立つ」ものはある fact8: 押し付けがましくらないものは澄むということはない fact9: この無関心性はＡＢ型だ fact10: 「その御時勢は押し付けがましいし加えて付設する」ということは間違いであるとすればあの論理学者は押し付けがましいということはない fact11: 「その御時勢は押し付けがましいけれど付設しない」ということは嘘だ fact12: ＡＢ型が思い上がるとすればそれは台頭しない fact13: もしとある物は澄まないならば「防衛体制である」ということは正しい ; $hypothesis$ = その御時勢は付設するということはない ; $proof$ = 
fact7 & fact6 -> int1: 「あの論理学者が押し付けはましくらなくて更に入校しない」ということは成り立たない; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: この無関心性は思い上がる
事実2: もし仮にそのロシア軍は入校しないとしたら「その御時勢は押し付けがましいし付設する」ということは誤っている
事実3: もしも「なにかは入校するしひしゃげる」ということは本当でないとするとそれは入校しない
事実4: 仮に「あの論理学者は押し付けがましいということはないししかも入校しない」ということは成り立たないとしたらその御時勢は付設する
事実5: もし「台頭するということはない」ものはあるとすれば「「そのロシア軍は入校するしそれにひしゃげる」ということは確かだ」ということは間違いである
事実6: もしも「澄む」物はあるとしたら「「あの論理学者が押し付けがましくらないしさらにそれは入校しない」ということは成り立つ」ということは誤っている
事実7: 「「澄む」ということは成り立つ」ものはある
事実8: 押し付けがましくらないものは澄むということはない
事実9: この無関心性はＡＢ型だ
事実10: 「その御時勢は押し付けがましいし加えて付設する」ということは間違いであるとすればあの論理学者は押し付けがましいということはない
事実11: 「その御時勢は押し付けがましいけれど付設しない」ということは嘘だ
事実12: ＡＢ型が思い上がるとすればそれは台頭しない
事実13: もしとある物は澄まないならば「防衛体制である」ということは正しい

仮説: その御時勢は付設するということはない
1. 事実7と事実6から、推論1: "「あの論理学者が押し付けはましくらなくて更に入校しない」ということは成り立たない"が導かれる
2. 推論1と事実4から、仮説が否定される

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