「仮に「「あの進攻は力無くないけれど立て難い」ということは成り立たない」ということは事実ならばあの進攻は格好良くない」ということは間違いだ
fact1: 「なにがしかの物は力無くないけどそれは立て難い」ということは誤りであるとするとそれは格好良くない fact2: 仮に「なにがしかの物は力無くないがしかし立て難い」ということは成り立つということはないとすればそれは格好良い fact3: 「あの進攻は力無くない一方でそれは立て難い」ということは偽だとすると「格好良い」ということは事実である fact4: もし仮にその占領地域が立て難くないとすれば馴れ馴れしいということはない fact5: もしもあの進攻が掴み上げるということはないとするとそれは空費しない fact6: 「とある物は知り合いらしいし加えて近寄り難い」ということは偽であるとすると「大和入りしない」ということは本当である fact7: あの進攻は力無くない物でありおまけに立て難いとすると「それは格好良いということはない」ということは成り立つ fact8: 立て難くないものは格好良くない
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: 「なにがしかの物は力無くないけどそれは立て難い」ということは誤りであるとするとそれは格好良くない fact2: 仮に「なにがしかの物は力無くないがしかし立て難い」ということは成り立つということはないとすればそれは格好良い fact3: 「あの進攻は力無くない一方でそれは立て難い」ということは偽だとすると「格好良い」ということは事実である fact4: もし仮にその占領地域が立て難くないとすれば馴れ馴れしいということはない fact5: もしもあの進攻が掴み上げるということはないとするとそれは空費しない fact6: 「とある物は知り合いらしいし加えて近寄り難い」ということは偽であるとすると「大和入りしない」ということは本当である fact7: あの進攻は力無くない物でありおまけに立て難いとすると「それは格好良いということはない」ということは成り立つ fact8: 立て難くないものは格好良くない ; $hypothesis$ = 「仮に「「あの進攻は力無くないけれど立て難い」ということは成り立たない」ということは事実ならばあの進攻は格好良くない」ということは間違いだ ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: 「なにがしかの物は力無くないけどそれは立て難い」ということは誤りであるとするとそれは格好良くない
事実2: 仮に「なにがしかの物は力無くないがしかし立て難い」ということは成り立つということはないとすればそれは格好良い
事実3: 「あの進攻は力無くない一方でそれは立て難い」ということは偽だとすると「格好良い」ということは事実である
事実4: もし仮にその占領地域が立て難くないとすれば馴れ馴れしいということはない
事実5: もしもあの進攻が掴み上げるということはないとするとそれは空費しない
事実6: 「とある物は知り合いらしいし加えて近寄り難い」ということは偽であるとすると「大和入りしない」ということは本当である
事実7: あの進攻は力無くない物でありおまけに立て難いとすると「それは格好良いということはない」ということは成り立つ
事実8: 立て難くないものは格好良くない

仮説: 「仮に「「あの進攻は力無くないけれど立て難い」ということは成り立たない」ということは事実ならばあの進攻は格好良くない」ということは間違いだ
1. 事実1から、仮説が否定される

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