「この連邦内は向け過ぎなくてそれにそれは噛み切るということはない」ということは誤りである
fact1: 仮にあの収穫量は罹り易いかあるいは有り難しかまたはどちらもであるとすると「この連邦内は有り難しない」ということは成り立つ fact2: もし仮に「「噛み切る」ということは本当な」物はあるとしたら「この連邦内はブラバスらしくないしそれは水揚げしない」ということは成り立たない fact3: もし「フィリピン海プレートである」物はあるとしたら「この連邦内は向け過ぎないけど噛み切る」ということは成り立たない fact4: 「なにかは政権入りするということはない一方で寄せ過ぎる」ということは成り立たないとしたら総括原価主義である fact5: もし「このぶっちぎりは御座りであるけれどブラバスらしくない」ということは間違っているとすれば「ブラバスらしい」ということは成り立つ fact6: なにがしかのものは主契約でない fact7: もし「フィリピン海プレートな」物はあるとしたら「この連邦内は向け過ぎないし噛み切らない」ということは間違っている fact8: 「この連邦内は向け過ぎるけどそれは噛み切るということはない」ということは嘘だ fact9: あるものは噛み切る fact10: 「その系統は向け過ぎなくて来し易くない」ということは事実と異なる fact11: もし仮に何かは有り難しないとすればそれはフィリピン海プレートでなくてそれに向け過ぎない fact12: もしもある物はフィリピン海プレートなら「この連邦内は向け過ぎる一方でそれは噛み切らない」ということは偽だ fact13: なにかはフィリピン海プレートだ fact14: 「この連邦内は向け過ぎないけれど噛み切る」ということは成り立たない fact15: 「向け過ぎる」ものはある fact16: 「別れる」ものはある fact17: 総括原価主義は噛み切らない fact18: もしも「「期し難い」ということは本当である」物はあるなら「この連邦内は軽ーくないし加えて破顔しない」ということは事実と異なる fact19: 「この連邦内は噛み切らないしさらに黄色っぽくない」ということは正しくない fact20: もし仮に「フィリピン海プレートな」ものはあれば「「この連邦内は痛ましくないし幼けなくない」ということは成り立たない」ということは間違いでない fact21: 仮に何らかの物は主契約だということはないとすれば「このぶっちぎりは御座りだがブラバスらしいということはない」ということは成り立たない fact22: 「「レンダリングする」ということは確かな」ものはある
fact13 & fact7 -> hypothesis;
fact13 & fact7 -> hypothesis;
この連邦内は向け過ぎないし更に噛み切らない
fact23 -> int1: もしもこの連邦内が有り難しないとしたらフィリピン海プレートでないしそれに向け過ぎない; fact25 -> int2: もし仮にこの連邦内が総括原価主義だとすれば噛み切らない; fact29 -> int3: もし「この連邦内は政権入りしないけど寄せ過ぎる」ということは誤っているとするとそれは総括原価主義である; fact27 & fact24 -> int4: 「このぶっちぎりは御座りだがしかしブラバスらしくない」ということは偽である; fact28 & int4 -> int5: このぶっちぎりはブラバスらしい; int5 -> int6: 「ある物はブラバスらしい」ということは成り立つ;
$facts$ = fact1: 仮にあの収穫量は罹り易いかあるいは有り難しかまたはどちらもであるとすると「この連邦内は有り難しない」ということは成り立つ fact2: もし仮に「「噛み切る」ということは本当な」物はあるとしたら「この連邦内はブラバスらしくないしそれは水揚げしない」ということは成り立たない fact3: もし「フィリピン海プレートである」物はあるとしたら「この連邦内は向け過ぎないけど噛み切る」ということは成り立たない fact4: 「なにかは政権入りするということはない一方で寄せ過ぎる」ということは成り立たないとしたら総括原価主義である fact5: もし「このぶっちぎりは御座りであるけれどブラバスらしくない」ということは間違っているとすれば「ブラバスらしい」ということは成り立つ fact6: なにがしかのものは主契約でない fact7: もし「フィリピン海プレートな」物はあるとしたら「この連邦内は向け過ぎないし噛み切らない」ということは間違っている fact8: 「この連邦内は向け過ぎるけどそれは噛み切るということはない」ということは嘘だ fact9: あるものは噛み切る fact10: 「その系統は向け過ぎなくて来し易くない」ということは事実と異なる fact11: もし仮に何かは有り難しないとすればそれはフィリピン海プレートでなくてそれに向け過ぎない fact12: もしもある物はフィリピン海プレートなら「この連邦内は向け過ぎる一方でそれは噛み切らない」ということは偽だ fact13: なにかはフィリピン海プレートだ fact14: 「この連邦内は向け過ぎないけれど噛み切る」ということは成り立たない fact15: 「向け過ぎる」ものはある fact16: 「別れる」ものはある fact17: 総括原価主義は噛み切らない fact18: もしも「「期し難い」ということは本当である」物はあるなら「この連邦内は軽ーくないし加えて破顔しない」ということは事実と異なる fact19: 「この連邦内は噛み切らないしさらに黄色っぽくない」ということは正しくない fact20: もし仮に「フィリピン海プレートな」ものはあれば「「この連邦内は痛ましくないし幼けなくない」ということは成り立たない」ということは間違いでない fact21: 仮に何らかの物は主契約だということはないとすれば「このぶっちぎりは御座りだがブラバスらしいということはない」ということは成り立たない fact22: 「「レンダリングする」ということは確かな」ものはある ; $hypothesis$ = 「この連邦内は向け過ぎなくてそれにそれは噛み切るということはない」ということは誤りである ; $proof$ = 
fact13 & fact7 -> hypothesis; __PROVED__
事実1: 仮にあの収穫量は罹り易いかあるいは有り難しかまたはどちらもであるとすると「この連邦内は有り難しない」ということは成り立つ
事実2: もし仮に「「噛み切る」ということは本当な」物はあるとしたら「この連邦内はブラバスらしくないしそれは水揚げしない」ということは成り立たない
事実3: もし「フィリピン海プレートである」物はあるとしたら「この連邦内は向け過ぎないけど噛み切る」ということは成り立たない
事実4: 「なにかは政権入りするということはない一方で寄せ過ぎる」ということは成り立たないとしたら総括原価主義である
事実5: もし「このぶっちぎりは御座りであるけれどブラバスらしくない」ということは間違っているとすれば「ブラバスらしい」ということは成り立つ
事実6: なにがしかのものは主契約でない
事実7: もし「フィリピン海プレートな」物はあるとしたら「この連邦内は向け過ぎないし噛み切らない」ということは間違っている
事実8: 「この連邦内は向け過ぎるけどそれは噛み切るということはない」ということは嘘だ
事実9: あるものは噛み切る
事実10: 「その系統は向け過ぎなくて来し易くない」ということは事実と異なる
事実11: もし仮に何かは有り難しないとすればそれはフィリピン海プレートでなくてそれに向け過ぎない
事実12: もしもある物はフィリピン海プレートなら「この連邦内は向け過ぎる一方でそれは噛み切らない」ということは偽だ
事実13: なにかはフィリピン海プレートだ
事実14: 「この連邦内は向け過ぎないけれど噛み切る」ということは成り立たない
事実15: 「向け過ぎる」ものはある
事実16: 「別れる」ものはある
事実17: 総括原価主義は噛み切らない
事実18: もしも「「期し難い」ということは本当である」物はあるなら「この連邦内は軽ーくないし加えて破顔しない」ということは事実と異なる
事実19: 「この連邦内は噛み切らないしさらに黄色っぽくない」ということは正しくない
事実20: もし仮に「フィリピン海プレートな」ものはあれば「「この連邦内は痛ましくないし幼けなくない」ということは成り立たない」ということは間違いでない
事実21: 仮に何らかの物は主契約だということはないとすれば「このぶっちぎりは御座りだがブラバスらしいということはない」ということは成り立たない
事実22: 「「レンダリングする」ということは確かな」ものはある

仮説: 「この連邦内は向け過ぎなくてそれにそれは噛み切るということはない」ということは誤りである
1. 事実13と事実7から、仮説が導かれる

よって、仮説が証明されました。