この貿易船は見込めるということはない
fact1: もし仮にこの貿易船が所在でないとしたらそれは無声化しないかあるいはそれは苦くない fact2: もし仮に何かは遂げるとすると「それは所在でない一方で通り難い」ということは間違いだ fact3: あのレイアウトタイプが見込めるならこの貿易船は見込める fact4: 「「緩いかあるいは一休みだ」ということは事実と異なる」ものはある fact5: この貿易船は所在だということはない fact6: もしもとあるものは苦くないなら「見込めない」ということは誤っていない fact7: もしも何らかの物が苦くないならそれは見込めるしさらに無声化する fact8: もし仮に何かは苦いということはないならばそれは見込める fact9: 仮に何かは無声化するということはないとするとそれは見込めない
fact6 -> int1: 仮にこの貿易船が苦くないとすればそれは見込めない; fact5 & fact1 -> int2: この貿易船は無声化するということはないか苦いということはないかどちらもである; fact9 -> int3: 仮に「この貿易船は無声化しない」ということは成り立つとすれば見込めない; int1 & int2 & int3 -> hypothesis;
「この貿易船は見込める」ということは成り立つ
fact11 -> int4: もしあのレイアウトタイプが苦くないとしたらそれは見込めるしさらに無声化する; fact13 -> int5: もしもあのレイアウトタイプは遂げるとしたら「それは所在でないがしかし通り難い」ということは成り立たない;
$facts$ = fact1: もし仮にこの貿易船が所在でないとしたらそれは無声化しないかあるいはそれは苦くない fact2: もし仮に何かは遂げるとすると「それは所在でない一方で通り難い」ということは間違いだ fact3: あのレイアウトタイプが見込めるならこの貿易船は見込める fact4: 「「緩いかあるいは一休みだ」ということは事実と異なる」ものはある fact5: この貿易船は所在だということはない fact6: もしもとあるものは苦くないなら「見込めない」ということは誤っていない fact7: もしも何らかの物が苦くないならそれは見込めるしさらに無声化する fact8: もし仮に何かは苦いということはないならばそれは見込める fact9: 仮に何かは無声化するということはないとするとそれは見込めない ; $hypothesis$ = この貿易船は見込めるということはない ; $proof$ = 
fact6 -> int1: 仮にこの貿易船が苦くないとすればそれは見込めない; fact5 & fact1 -> int2: この貿易船は無声化するということはないか苦いということはないかどちらもである; fact9 -> int3: 仮に「この貿易船は無声化しない」ということは成り立つとすれば見込めない; int1 & int2 & int3 -> hypothesis; __PROVED__
事実1: もし仮にこの貿易船が所在でないとしたらそれは無声化しないかあるいはそれは苦くない
事実2: もし仮に何かは遂げるとすると「それは所在でない一方で通り難い」ということは間違いだ
事実3: あのレイアウトタイプが見込めるならこの貿易船は見込める
事実4: 「「緩いかあるいは一休みだ」ということは事実と異なる」ものはある
事実5: この貿易船は所在だということはない
事実6: もしもとあるものは苦くないなら「見込めない」ということは誤っていない
事実7: もしも何らかの物が苦くないならそれは見込めるしさらに無声化する
事実8: もし仮に何かは苦いということはないならばそれは見込める
事実9: 仮に何かは無声化するということはないとするとそれは見込めない

仮説: この貿易船は見込めるということはない
1. 事実6から、推論1: "仮にこの貿易船が苦くないとすればそれは見込めない"が導かれる
2. 事実5と事実1から、推論2: "この貿易船は無声化するということはないか苦いということはないかどちらもである"が導かれる
3. 事実9から、推論3: "仮に「この貿易船は無声化しない」ということは成り立つとすれば見込めない"が導かれる
4. 推論1と推論2と推論3から、仮説が導かれる

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