「あのジャパニーズは御決まるけどフェースでない」ということは事実と異なる
fact1: もし「何かは出始めるし再軍備する」ということは成り立つということはないとするとそれは再軍備しない fact2: 「あのジャパニーズは御決まるがしかしフェースでない」ということは成り立たない fact3: 「その東海・東山・北陸は退化であるけどフェースでない」ということは間違いだ fact4: 「「その住地はきついが御決まらない」ということは誤っている」ということは成り立つ fact5: もしもある物は安堵し難くないなら「ラッキーアイテムであるしさらに痛くない」ということは偽である fact6: 「あのジャパニーズは冬越しする一方で身動き出来ない」ということは嘘である fact7: 「あのジャパニーズは欲しいけれどジェンダー構造でない」ということは成り立たない fact8: 安堵し難いということはない物は御決まるがフェースであるということはない fact9: 「あのジャパニーズは嘆かわしい一方でそれは御決まらない」ということは成り立たない fact10: 「あのジャパニーズは御決まるしフェースだ」ということは成り立たない fact11: 何らかの物が再軍備しないとしたらそれは安堵し難くないしその上サポートでない fact12: 「あのジャパニーズは世知辛いけれど計算表でない」ということは成り立たない
fact2 -> hypothesis;
fact2 -> hypothesis;
あのジャパニーズは御決まるけれどフェースでない
fact14 -> int1: もし仮にあのジャパニーズは安堵し難くないとすればそれは御決まるがしかしフェースでない; fact13 -> int2: あのジャパニーズが再軍備しないならばそれは安堵し難くないしサポートでない; fact15 -> int3: もし「あのジャパニーズは出始めるしそれに再軍備する」ということは成り立たないとしたら再軍備するということはない;
$facts$ = fact1: もし「何かは出始めるし再軍備する」ということは成り立つということはないとするとそれは再軍備しない fact2: 「あのジャパニーズは御決まるがしかしフェースでない」ということは成り立たない fact3: 「その東海・東山・北陸は退化であるけどフェースでない」ということは間違いだ fact4: 「「その住地はきついが御決まらない」ということは誤っている」ということは成り立つ fact5: もしもある物は安堵し難くないなら「ラッキーアイテムであるしさらに痛くない」ということは偽である fact6: 「あのジャパニーズは冬越しする一方で身動き出来ない」ということは嘘である fact7: 「あのジャパニーズは欲しいけれどジェンダー構造でない」ということは成り立たない fact8: 安堵し難いということはない物は御決まるがフェースであるということはない fact9: 「あのジャパニーズは嘆かわしい一方でそれは御決まらない」ということは成り立たない fact10: 「あのジャパニーズは御決まるしフェースだ」ということは成り立たない fact11: 何らかの物が再軍備しないとしたらそれは安堵し難くないしその上サポートでない fact12: 「あのジャパニーズは世知辛いけれど計算表でない」ということは成り立たない ; $hypothesis$ = 「あのジャパニーズは御決まるけどフェースでない」ということは事実と異なる ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もし「何かは出始めるし再軍備する」ということは成り立つということはないとするとそれは再軍備しない
事実2: 「あのジャパニーズは御決まるがしかしフェースでない」ということは成り立たない
事実3: 「その東海・東山・北陸は退化であるけどフェースでない」ということは間違いだ
事実4: 「「その住地はきついが御決まらない」ということは誤っている」ということは成り立つ
事実5: もしもある物は安堵し難くないなら「ラッキーアイテムであるしさらに痛くない」ということは偽である
事実6: 「あのジャパニーズは冬越しする一方で身動き出来ない」ということは嘘である
事実7: 「あのジャパニーズは欲しいけれどジェンダー構造でない」ということは成り立たない
事実8: 安堵し難いということはない物は御決まるがフェースであるということはない
事実9: 「あのジャパニーズは嘆かわしい一方でそれは御決まらない」ということは成り立たない
事実10: 「あのジャパニーズは御決まるしフェースだ」ということは成り立たない
事実11: 何らかの物が再軍備しないとしたらそれは安堵し難くないしその上サポートでない
事実12: 「あのジャパニーズは世知辛いけれど計算表でない」ということは成り立たない

仮説: 「あのジャパニーズは御決まるけどフェースでない」ということは事実と異なる
1. 事実2から、仮説が導かれる

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