「もし鬻ぐけど辿り始めないとすれば戦時捕虜である」物はある
fact1: 仮にあの干しは鬻ぐ一方で辿り始めないなら「それは戦時捕虜である」ということは真実だ fact2: 「もしも受章するしかつ捕らえ易くないなら「血行促進である」ということは成り立つ」物はある fact3: もしもその一．零以上は戦時捕虜であるがハイジャックであるということはないとすると起き難い fact4: 「もしも具象化するけれど同玉でないとするとしゃがむ」物はある fact5: 仮に「何かは覗き見するが戦時捕虜でない」ということは事実であるならばそれは前進出来る
fact1 -> hypothesis;
仮にあの干しは覗き見するけれど戦時捕虜でないとすれば前進出来る
fact6 -> hypothesis;
$facts$ = fact1: 仮にあの干しは鬻ぐ一方で辿り始めないなら「それは戦時捕虜である」ということは真実だ fact2: 「もしも受章するしかつ捕らえ易くないなら「血行促進である」ということは成り立つ」物はある fact3: もしもその一．零以上は戦時捕虜であるがハイジャックであるということはないとすると起き難い fact4: 「もしも具象化するけれど同玉でないとするとしゃがむ」物はある fact5: 仮に「何かは覗き見するが戦時捕虜でない」ということは事実であるならばそれは前進出来る ; $hypothesis$ = 「もし鬻ぐけど辿り始めないとすれば戦時捕虜である」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 仮にあの干しは鬻ぐ一方で辿り始めないなら「それは戦時捕虜である」ということは真実だ
事実2: 「もしも受章するしかつ捕らえ易くないなら「血行促進である」ということは成り立つ」物はある
事実3: もしもその一．零以上は戦時捕虜であるがハイジャックであるということはないとすると起き難い
事実4: 「もしも具象化するけれど同玉でないとするとしゃがむ」物はある
事実5: 仮に「何かは覗き見するが戦時捕虜でない」ということは事実であるならばそれは前進出来る

仮説: 「もし鬻ぐけど辿り始めないとすれば戦時捕虜である」物はある
1. 事実1から、仮説が導かれる

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