この本ペディメント断片は乗客でない
fact1: 乗客は構成要素であるけど連帯しない fact2: 仮にこの本ペディメント断片が床しいとするとその円型は乗客である fact3: その警察官職務執行法は酸っぱい fact4: もしその警察官職務執行法が構成要素であるとすればその円型は御辛い fact5: もし構成要素が連帯するということはないならばその利休自身は酸っぱい fact6: その警察官職務執行法が暗礁だししかもそれは通い始める fact7: もしも「その警察官職務執行法は用い易くない」ということは事実であるとするとこの本ペディメント断片が死するしその上床しい fact8: その円型は乗客であるということはない fact9: その円型は起こし難いということはない fact10: なんらかの物は細か過ぎる fact11: この本ペディメント断片は問題視するということはない fact12: 「その円型は酸っぱくて更に構成要素である」ということは確かである fact13: もし仮にその円型が乗客であるしそれが連帯するならこの本ペディメント断片は構成要素でない fact14: その警察官職務執行法は御辛い fact15: この賤は吸い合うしそれは御辛い fact16: もしその警察官職務執行法は御辛いとすれば「その円型は連帯する」ということは成り立つ fact17: 仮にその円型が構成要素であるしそれは連帯すれば「この本ペディメント断片は乗客でない」ということは誤りでない
fact12 -> int1: 「その円型は構成要素である」ということは成り立つ; fact14 & fact16 -> int2: 「その円型は連帯する」ということは確かだ; int1 & int2 -> int3: その円型は構成要素だし連帯する; int3 & fact17 -> hypothesis;
fact12 -> int1: {B}{a}; fact14 & fact16 -> int2: {C}{a}; int1 & int2 -> int3: ({B}{a} & {C}{a}); int3 & fact17 -> hypothesis;
その利休自身は御辛い
fact19 -> int4: 仮にその円型が乗客であるなら構成要素でその上連帯しない;
$facts$ = fact1: 乗客は構成要素であるけど連帯しない fact2: 仮にこの本ペディメント断片が床しいとするとその円型は乗客である fact3: その警察官職務執行法は酸っぱい fact4: もしその警察官職務執行法が構成要素であるとすればその円型は御辛い fact5: もし構成要素が連帯するということはないならばその利休自身は酸っぱい fact6: その警察官職務執行法が暗礁だししかもそれは通い始める fact7: もしも「その警察官職務執行法は用い易くない」ということは事実であるとするとこの本ペディメント断片が死するしその上床しい fact8: その円型は乗客であるということはない fact9: その円型は起こし難いということはない fact10: なんらかの物は細か過ぎる fact11: この本ペディメント断片は問題視するということはない fact12: 「その円型は酸っぱくて更に構成要素である」ということは確かである fact13: もし仮にその円型が乗客であるしそれが連帯するならこの本ペディメント断片は構成要素でない fact14: その警察官職務執行法は御辛い fact15: この賤は吸い合うしそれは御辛い fact16: もしその警察官職務執行法は御辛いとすれば「その円型は連帯する」ということは成り立つ fact17: 仮にその円型が構成要素であるしそれは連帯すれば「この本ペディメント断片は乗客でない」ということは誤りでない ; $hypothesis$ = この本ペディメント断片は乗客でない ; $proof$ = 
fact12 -> int1: 「その円型は構成要素である」ということは成り立つ; fact14 & fact16 -> int2: 「その円型は連帯する」ということは確かだ; int1 & int2 -> int3: その円型は構成要素だし連帯する; int3 & fact17 -> hypothesis; __PROVED__
事実1: 乗客は構成要素であるけど連帯しない
事実2: 仮にこの本ペディメント断片が床しいとするとその円型は乗客である
事実3: その警察官職務執行法は酸っぱい
事実4: もしその警察官職務執行法が構成要素であるとすればその円型は御辛い
事実5: もし構成要素が連帯するということはないならばその利休自身は酸っぱい
事実6: その警察官職務執行法が暗礁だししかもそれは通い始める
事実7: もしも「その警察官職務執行法は用い易くない」ということは事実であるとするとこの本ペディメント断片が死するしその上床しい
事実8: その円型は乗客であるということはない
事実9: その円型は起こし難いということはない
事実10: なんらかの物は細か過ぎる
事実11: この本ペディメント断片は問題視するということはない
事実12: 「その円型は酸っぱくて更に構成要素である」ということは確かである
事実13: もし仮にその円型が乗客であるしそれが連帯するならこの本ペディメント断片は構成要素でない
事実14: その警察官職務執行法は御辛い
事実15: この賤は吸い合うしそれは御辛い
事実16: もしその警察官職務執行法は御辛いとすれば「その円型は連帯する」ということは成り立つ
事実17: 仮にその円型が構成要素であるしそれは連帯すれば「この本ペディメント断片は乗客でない」ということは誤りでない

仮説: この本ペディメント断片は乗客でない
1. 事実12から、推論1: "「その円型は構成要素である」ということは成り立つ"が導かれる
2. 事実14と事実16から、推論2: "「その円型は連帯する」ということは確かだ"が導かれる
3. 推論1と推論2から、推論3: "その円型は構成要素だし連帯する"が導かれる
4. 推論3と事実17から、仮説が導かれる

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