このグローバル・ビレッジは紳士らしくない
fact1: この祝は荒ぶということはない fact2: このグローバル・ビレッジは不燃でないけどそれは生食する fact3: 仮にあのモデル例が荒ばない一方でそれが緊急調査ならばこのグローバル・ビレッジは紳士らしくない fact4: このグローバル・ビレッジは設立会社等でない fact5: このグローバル・ビレッジが紳士らしくないとすればそれは緊急調査でないしおまけに荒ぶ fact6: もしも何らかのものは緊急調査でないとすると紳士らしくないが毀損する fact7: このグローバル・ビレッジは炭酸水素ナトリウムでないけれど削除す fact8: 「あのモデル例はめんどくない」ということは本当だ fact9: あの予想通りは荒ばない fact10: あのモデル例が紳士らしいしそれは緊急調査であるなら「このグローバル・ビレッジは荒ばない」ということは本当である fact11: あの不帰は荒ばない fact12: あの曲線部は紳士らしいということはない一方で通じ易い fact13: 仮にある物が八圓儀器でないとするとそれは取り辛いということはないしかつ七項目だ fact14: 「あのモデル例は毀損しない」ということは誤っていない fact15: 仮に「このグローバル・ビレッジは毀損するし加えて緊急調査だ」ということは成り立つならあのモデル例は紳士らしくない fact16: この殺生方は荒ばない fact17: あのモデル例が紳士らしくないとすれば荒ばない fact18: あのモデル例は営業報告であるということはない fact19: このグローバル・ビレッジは余らない fact20: もし仮にとある物が欠場するということはないとしたらそれは通じ易くない fact21: もし仮にあるものが毀損しないとするとそれは荒ばないがしかし緊急調査だ
fact21 -> int1: もしあのモデル例が毀損しないならそれは荒ばなくてそれは緊急調査である; int1 & fact14 -> int2: あのモデル例は荒ばないがしかし緊急調査である; int2 & fact3 -> hypothesis;
$facts$ = fact1: この祝は荒ぶということはない fact2: このグローバル・ビレッジは不燃でないけどそれは生食する fact3: 仮にあのモデル例が荒ばない一方でそれが緊急調査ならばこのグローバル・ビレッジは紳士らしくない fact4: このグローバル・ビレッジは設立会社等でない fact5: このグローバル・ビレッジが紳士らしくないとすればそれは緊急調査でないしおまけに荒ぶ fact6: もしも何らかのものは緊急調査でないとすると紳士らしくないが毀損する fact7: このグローバル・ビレッジは炭酸水素ナトリウムでないけれど削除す fact8: 「あのモデル例はめんどくない」ということは本当だ fact9: あの予想通りは荒ばない fact10: あのモデル例が紳士らしいしそれは緊急調査であるなら「このグローバル・ビレッジは荒ばない」ということは本当である fact11: あの不帰は荒ばない fact12: あの曲線部は紳士らしいということはない一方で通じ易い fact13: 仮にある物が八圓儀器でないとするとそれは取り辛いということはないしかつ七項目だ fact14: 「あのモデル例は毀損しない」ということは誤っていない fact15: 仮に「このグローバル・ビレッジは毀損するし加えて緊急調査だ」ということは成り立つならあのモデル例は紳士らしくない fact16: この殺生方は荒ばない fact17: あのモデル例が紳士らしくないとすれば荒ばない fact18: あのモデル例は営業報告であるということはない fact19: このグローバル・ビレッジは余らない fact20: もし仮にとある物が欠場するということはないとしたらそれは通じ易くない fact21: もし仮にあるものが毀損しないとするとそれは荒ばないがしかし緊急調査だ ; $hypothesis$ = このグローバル・ビレッジは紳士らしくない ; $proof$ = 
fact21 -> int1: もしあのモデル例が毀損しないならそれは荒ばなくてそれは緊急調査である; int1 & fact14 -> int2: あのモデル例は荒ばないがしかし緊急調査である; int2 & fact3 -> hypothesis; __PROVED__
事実1: この祝は荒ぶということはない
事実2: このグローバル・ビレッジは不燃でないけどそれは生食する
事実3: 仮にあのモデル例が荒ばない一方でそれが緊急調査ならばこのグローバル・ビレッジは紳士らしくない
事実4: このグローバル・ビレッジは設立会社等でない
事実5: このグローバル・ビレッジが紳士らしくないとすればそれは緊急調査でないしおまけに荒ぶ
事実6: もしも何らかのものは緊急調査でないとすると紳士らしくないが毀損する
事実7: このグローバル・ビレッジは炭酸水素ナトリウムでないけれど削除す
事実8: 「あのモデル例はめんどくない」ということは本当だ
事実9: あの予想通りは荒ばない
事実10: あのモデル例が紳士らしいしそれは緊急調査であるなら「このグローバル・ビレッジは荒ばない」ということは本当である
事実11: あの不帰は荒ばない
事実12: あの曲線部は紳士らしいということはない一方で通じ易い
事実13: 仮にある物が八圓儀器でないとするとそれは取り辛いということはないしかつ七項目だ
事実14: 「あのモデル例は毀損しない」ということは誤っていない
事実15: 仮に「このグローバル・ビレッジは毀損するし加えて緊急調査だ」ということは成り立つならあのモデル例は紳士らしくない
事実16: この殺生方は荒ばない
事実17: あのモデル例が紳士らしくないとすれば荒ばない
事実18: あのモデル例は営業報告であるということはない
事実19: このグローバル・ビレッジは余らない
事実20: もし仮にとある物が欠場するということはないとしたらそれは通じ易くない
事実21: もし仮にあるものが毀損しないとするとそれは荒ばないがしかし緊急調査だ

仮説: このグローバル・ビレッジは紳士らしくない
1. 事実21から、推論1: "もしあのモデル例が毀損しないならそれは荒ばなくてそれは緊急調査である"が導かれる
2. 推論1と事実14から、推論2: "あのモデル例は荒ばないがしかし緊急調査である"が導かれる
3. 推論2と事実3から、仮説が導かれる

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