「もしも鬩ぎ合わないなら「一本立ちだしかつ下手する」ということは確かでない」物はある
fact1: 「もし鬩ぎ合わないならば一本立ちでしかも下手する」ものはある fact2: もし仮に何かは鬩ぎ合わないならば「それは一本立ちであるし下手する」ということは誤っている fact3: 「もし設立当初でないならば「買い掛け債務であるしまた海戦だ」ということは誤っている」ものはある fact4: 「その情報ルートは時間でない」ということは成り立つなら「一本立ちだしおまけに天使達だ」ということは成り立つということはない fact5: もしもその情報ルートは鬩ぎ合うとすれば「一本立ちであるしおまけに下手する」ということは嘘である fact6: 「もしも鬩ぎ合うとすると「一本立ちだしおまけに下手する」ということは成り立たない」ものはある fact7: 「もし仮に核廃絶でないとすると「長細くて更に変化し易い」ということは成り立たない」ものはある fact8: 「仮に強調しないとすれば「癌性であるし許可申請書だ」ということは成り立たない」ものはある fact9: もしもその情報ルートは鬩ぎ合わないとすれば「それは農民運動でありそれに分厚い」ということは偽である fact10: もし仮になにがしかの物が鬩ぎ合わないならそれは一本立ちでおまけに下手する fact11: もしも何らかの物は分厚いということはないとすれば「それは法制化するしまた租税公課である」ということは成り立たない fact12: もしもその情報ルートが鬩ぎ合わないならそれは一本立ちで下手する fact13: 仮に何らかのものは鬩ぎ合うとすると「一本立ちであるしさらにそれは下手する」ということは偽だ
fact2 -> int1: もしもその情報ルートは鬩ぎ合うということはないとすると「一本立ちであるし下手する」ということは真実でない; int1 -> hypothesis;
$facts$ = fact1: 「もし鬩ぎ合わないならば一本立ちでしかも下手する」ものはある fact2: もし仮に何かは鬩ぎ合わないならば「それは一本立ちであるし下手する」ということは誤っている fact3: 「もし設立当初でないならば「買い掛け債務であるしまた海戦だ」ということは誤っている」ものはある fact4: 「その情報ルートは時間でない」ということは成り立つなら「一本立ちだしおまけに天使達だ」ということは成り立つということはない fact5: もしもその情報ルートは鬩ぎ合うとすれば「一本立ちであるしおまけに下手する」ということは嘘である fact6: 「もしも鬩ぎ合うとすると「一本立ちだしおまけに下手する」ということは成り立たない」ものはある fact7: 「もし仮に核廃絶でないとすると「長細くて更に変化し易い」ということは成り立たない」ものはある fact8: 「仮に強調しないとすれば「癌性であるし許可申請書だ」ということは成り立たない」ものはある fact9: もしもその情報ルートは鬩ぎ合わないとすれば「それは農民運動でありそれに分厚い」ということは偽である fact10: もし仮になにがしかの物が鬩ぎ合わないならそれは一本立ちでおまけに下手する fact11: もしも何らかの物は分厚いということはないとすれば「それは法制化するしまた租税公課である」ということは成り立たない fact12: もしもその情報ルートが鬩ぎ合わないならそれは一本立ちで下手する fact13: 仮に何らかのものは鬩ぎ合うとすると「一本立ちであるしさらにそれは下手する」ということは偽だ ; $hypothesis$ = 「もしも鬩ぎ合わないなら「一本立ちだしかつ下手する」ということは確かでない」物はある ; $proof$ = 
fact2 -> int1: もしもその情報ルートは鬩ぎ合うということはないとすると「一本立ちであるし下手する」ということは真実でない; int1 -> hypothesis; __PROVED__
事実1: 「もし鬩ぎ合わないならば一本立ちでしかも下手する」ものはある
事実2: もし仮に何かは鬩ぎ合わないならば「それは一本立ちであるし下手する」ということは誤っている
事実3: 「もし設立当初でないならば「買い掛け債務であるしまた海戦だ」ということは誤っている」ものはある
事実4: 「その情報ルートは時間でない」ということは成り立つなら「一本立ちだしおまけに天使達だ」ということは成り立つということはない
事実5: もしもその情報ルートは鬩ぎ合うとすれば「一本立ちであるしおまけに下手する」ということは嘘である
事実6: 「もしも鬩ぎ合うとすると「一本立ちだしおまけに下手する」ということは成り立たない」ものはある
事実7: 「もし仮に核廃絶でないとすると「長細くて更に変化し易い」ということは成り立たない」ものはある
事実8: 「仮に強調しないとすれば「癌性であるし許可申請書だ」ということは成り立たない」ものはある
事実9: もしもその情報ルートは鬩ぎ合わないとすれば「それは農民運動でありそれに分厚い」ということは偽である
事実10: もし仮になにがしかの物が鬩ぎ合わないならそれは一本立ちでおまけに下手する
事実11: もしも何らかの物は分厚いということはないとすれば「それは法制化するしまた租税公課である」ということは成り立たない
事実12: もしもその情報ルートが鬩ぎ合わないならそれは一本立ちで下手する
事実13: 仮に何らかのものは鬩ぎ合うとすると「一本立ちであるしさらにそれは下手する」ということは偽だ

仮説: 「もしも鬩ぎ合わないなら「一本立ちだしかつ下手する」ということは確かでない」物はある
1. 事実2から、推論1: "もしもその情報ルートは鬩ぎ合うということはないとすると「一本立ちであるし下手する」ということは真実でない"が導かれる
2. 推論1から、仮説が導かれる

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