あの司令官は未来問題構造ツリーでない一方で国際調査報告だ
fact1: なにがしかのものが訝らないならばそれは御察し致すし未来問題構造ツリーである fact2: もしもその箔が国際調査報告だとしたらあの司令官は未来問題構造ツリーでないけど国際調査報告だ fact3: その箔は賢い fact4: 何らかの物は未来問題構造ツリーでないならば「それは賢いということはなくてそれは国際調査報告でない」ということは誤っている fact5: 「もしも「その箔は賢い」ということは確かであるならその箔は国際調査報告である」ということは事実だ fact6: もしもあの司令官が御察し致すし加えてそれは未来問題構造ツリーだとすると「その箔は未来問題構造ツリーでない」ということは事実である
fact5 & fact3 -> int1: その箔は国際調査報告である; int1 & fact2 -> hypothesis;
fact5 & fact3 -> int1: {B}{a}; int1 & fact2 -> hypothesis;
あの全知は国際調査報告である
fact7 -> int2: 仮にその箔は未来問題構造ツリーでないならば「それは賢くないしそれは国際調査報告であるということはない」ということは成り立たない; fact9 -> int3: もしあの司令官が訝るということはないとするとそれは御察し致すし加えてそれは未来問題構造ツリーである;
$facts$ = fact1: なにがしかのものが訝らないならばそれは御察し致すし未来問題構造ツリーである fact2: もしもその箔が国際調査報告だとしたらあの司令官は未来問題構造ツリーでないけど国際調査報告だ fact3: その箔は賢い fact4: 何らかの物は未来問題構造ツリーでないならば「それは賢いということはなくてそれは国際調査報告でない」ということは誤っている fact5: 「もしも「その箔は賢い」ということは確かであるならその箔は国際調査報告である」ということは事実だ fact6: もしもあの司令官が御察し致すし加えてそれは未来問題構造ツリーだとすると「その箔は未来問題構造ツリーでない」ということは事実である ; $hypothesis$ = あの司令官は未来問題構造ツリーでない一方で国際調査報告だ ; $proof$ = 
fact5 & fact3 -> int1: その箔は国際調査報告である; int1 & fact2 -> hypothesis; __PROVED__
事実1: なにがしかのものが訝らないならばそれは御察し致すし未来問題構造ツリーである
事実2: もしもその箔が国際調査報告だとしたらあの司令官は未来問題構造ツリーでないけど国際調査報告だ
事実3: その箔は賢い
事実4: 何らかの物は未来問題構造ツリーでないならば「それは賢いということはなくてそれは国際調査報告でない」ということは誤っている
事実5: 「もしも「その箔は賢い」ということは確かであるならその箔は国際調査報告である」ということは事実だ
事実6: もしもあの司令官が御察し致すし加えてそれは未来問題構造ツリーだとすると「その箔は未来問題構造ツリーでない」ということは事実である

仮説: あの司令官は未来問題構造ツリーでない一方で国際調査報告だ
1. 事実5と事実3から、推論1: "その箔は国際調査報告である"が導かれる
2. 推論1と事実2から、仮説が導かれる

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