「もし仮に戦時中であるということはないとすると「コークス粉であるかあるいは歩き難くない」ということは誤っている」物はある
fact1: もし仮になんらかの物が戦時中でないならそれはコークス粉であるかもしくはそれは歩き難くない fact2: 「もしも心地良いとしたら「鎮座するか受け易くないかまたは両方だ」ということは間違いである」ものはある fact3: 「仮に全社でないとすると「忘れ去るかまたは過ごし易くない」ということは真実でない」物はある fact4: 何らかの物は言い出し難いということはないとしたら「それは社債原簿であるか差分解析であるということはない」ということは成り立たない fact5: もし仮にその信託銀行はコークス粉でないとしたら「通貨切り下げである」ということは真実だ fact6: 「もしも捕らわれ易くないとすると輝かしい」物はある fact7: もし仮に何らかの物は戦時中だということはないなら「コークス粉であるかまたはそれは歩き難くない」ということは事実と異なる fact8: もし仮にその信託銀行は戦時中であるということはないとするとそれはコークス粉でない
fact7 -> int1: その信託銀行は戦時中でないとすると「それはコークス粉であるかあるいは歩き難くない」ということは偽だ; int1 -> hypothesis;
$facts$ = fact1: もし仮になんらかの物が戦時中でないならそれはコークス粉であるかもしくはそれは歩き難くない fact2: 「もしも心地良いとしたら「鎮座するか受け易くないかまたは両方だ」ということは間違いである」ものはある fact3: 「仮に全社でないとすると「忘れ去るかまたは過ごし易くない」ということは真実でない」物はある fact4: 何らかの物は言い出し難いということはないとしたら「それは社債原簿であるか差分解析であるということはない」ということは成り立たない fact5: もし仮にその信託銀行はコークス粉でないとしたら「通貨切り下げである」ということは真実だ fact6: 「もしも捕らわれ易くないとすると輝かしい」物はある fact7: もし仮に何らかの物は戦時中だということはないなら「コークス粉であるかまたはそれは歩き難くない」ということは事実と異なる fact8: もし仮にその信託銀行は戦時中であるということはないとするとそれはコークス粉でない ; $hypothesis$ = 「もし仮に戦時中であるということはないとすると「コークス粉であるかあるいは歩き難くない」ということは誤っている」物はある ; $proof$ = 
fact7 -> int1: その信託銀行は戦時中でないとすると「それはコークス粉であるかあるいは歩き難くない」ということは偽だ; int1 -> hypothesis; __PROVED__
事実1: もし仮になんらかの物が戦時中でないならそれはコークス粉であるかもしくはそれは歩き難くない
事実2: 「もしも心地良いとしたら「鎮座するか受け易くないかまたは両方だ」ということは間違いである」ものはある
事実3: 「仮に全社でないとすると「忘れ去るかまたは過ごし易くない」ということは真実でない」物はある
事実4: 何らかの物は言い出し難いということはないとしたら「それは社債原簿であるか差分解析であるということはない」ということは成り立たない
事実5: もし仮にその信託銀行はコークス粉でないとしたら「通貨切り下げである」ということは真実だ
事実6: 「もしも捕らわれ易くないとすると輝かしい」物はある
事実7: もし仮に何らかの物は戦時中だということはないなら「コークス粉であるかまたはそれは歩き難くない」ということは事実と異なる
事実8: もし仮にその信託銀行は戦時中であるということはないとするとそれはコークス粉でない

仮説: 「もし仮に戦時中であるということはないとすると「コークス粉であるかあるいは歩き難くない」ということは誤っている」物はある
1. 事実7から、推論1: "その信託銀行は戦時中でないとすると「それはコークス粉であるかあるいは歩き難くない」ということは偽だ"が導かれる
2. 推論1から、仮説が導かれる

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