「そのＳタイプは軍人らしい」ということは真実だ
fact1: 「同一視する」ものはあるとすれば「そのＳタイプは輸入者であるということはないししかも都しない」ということは正しい fact2: 仮にある物は輸入者でないけれど都するならそれは軍人らしい fact3: なにかは欲張り過ぎないならば「「白っぽくてかつ同一視しない」ということは事実である」ということは偽だ fact4: もし仮に何らかの物は輸入者でないしさらに都するということはないならそれは軍人らしい fact5: 何らかのものは同一視する fact6: 仮になにかは五参照でないしそれは固くないならば「開胸だ」ということは成り立つ fact7: もし仮に「なにがしかの物は白っぽいけど同一視しない」ということは誤っているなら軍人らしくない
fact4 -> int1: そのＳタイプが輸入者でないしおまけに都しないとすればそれは軍人らしい; fact1 & fact5 -> int2: そのＳタイプは輸入者でないしかつ都しない; int1 & int2 -> hypothesis;
「そのＳタイプは軍人らしいということはない」ということは事実だ
fact9 -> int3: もし仮に「そのＳタイプは白っぽいけれど同一視しない」ということは成り立たないとすると軍人らしいということはない; fact8 -> int4: そのＳタイプは欲張り過ぎないとすると「白っぽい一方で同一視しない」ということは偽だ;
$facts$ = fact1: 「同一視する」ものはあるとすれば「そのＳタイプは輸入者であるということはないししかも都しない」ということは正しい fact2: 仮にある物は輸入者でないけれど都するならそれは軍人らしい fact3: なにかは欲張り過ぎないならば「「白っぽくてかつ同一視しない」ということは事実である」ということは偽だ fact4: もし仮に何らかの物は輸入者でないしさらに都するということはないならそれは軍人らしい fact5: 何らかのものは同一視する fact6: 仮になにかは五参照でないしそれは固くないならば「開胸だ」ということは成り立つ fact7: もし仮に「なにがしかの物は白っぽいけど同一視しない」ということは誤っているなら軍人らしくない ; $hypothesis$ = 「そのＳタイプは軍人らしい」ということは真実だ ; $proof$ = 
fact4 -> int1: そのＳタイプが輸入者でないしおまけに都しないとすればそれは軍人らしい; fact1 & fact5 -> int2: そのＳタイプは輸入者でないしかつ都しない; int1 & int2 -> hypothesis; __PROVED__
事実1: 「同一視する」ものはあるとすれば「そのＳタイプは輸入者であるということはないししかも都しない」ということは正しい
事実2: 仮にある物は輸入者でないけれど都するならそれは軍人らしい
事実3: なにかは欲張り過ぎないならば「「白っぽくてかつ同一視しない」ということは事実である」ということは偽だ
事実4: もし仮に何らかの物は輸入者でないしさらに都するということはないならそれは軍人らしい
事実5: 何らかのものは同一視する
事実6: 仮になにかは五参照でないしそれは固くないならば「開胸だ」ということは成り立つ
事実7: もし仮に「なにがしかの物は白っぽいけど同一視しない」ということは誤っているなら軍人らしくない

仮説: 「そのＳタイプは軍人らしい」ということは真実だ
1. 事実4から、推論1: "そのＳタイプが輸入者でないしおまけに都しないとすればそれは軍人らしい"が導かれる
2. 事実1と事実5から、推論2: "そのＳタイプは輸入者でないしかつ都しない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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