「もしも背くとすると失業しないかまたは老年な」物はある
fact1: もしあの商業社会が吝いとすればそれは果てし無いかそれは背くか両方である fact2: 空出張は言い渡さないかもしくは注記するかもしくは両方ともだ fact3: 「背くとしたら失業するかあるいは老年であるかもしくは両方ともな」ものはある fact4: 青黒いものは紡ぎ出しないかもしくはさよならするか両方ともである fact5: もし仮にあの官途が背くとしたらそれは失業しないか老年であるか両方ともである fact6: 「仮に幕藩体制期だとすると心置き無くないかもしくは遣り難いかもしくは両方ともである」物はある fact7: もしあの官途が背くならそれは失業するか老年であるかもしくは両方だ
fact5 -> hypothesis;
「もし青黒いとすると紡ぎ出すということはないかもしくはさよならするかどちらもである」物はある
fact8 -> int1: そのテーマパークは青黒いとすると「それは紡ぎ出しないかさよならするかどちらもである」ということは本当だ; int1 -> hypothesis;
$facts$ = fact1: もしあの商業社会が吝いとすればそれは果てし無いかそれは背くか両方である fact2: 空出張は言い渡さないかもしくは注記するかもしくは両方ともだ fact3: 「背くとしたら失業するかあるいは老年であるかもしくは両方ともな」ものはある fact4: 青黒いものは紡ぎ出しないかもしくはさよならするか両方ともである fact5: もし仮にあの官途が背くとしたらそれは失業しないか老年であるか両方ともである fact6: 「仮に幕藩体制期だとすると心置き無くないかもしくは遣り難いかもしくは両方ともである」物はある fact7: もしあの官途が背くならそれは失業するか老年であるかもしくは両方だ ; $hypothesis$ = 「もしも背くとすると失業しないかまたは老年な」物はある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もしあの商業社会が吝いとすればそれは果てし無いかそれは背くか両方である
事実2: 空出張は言い渡さないかもしくは注記するかもしくは両方ともだ
事実3: 「背くとしたら失業するかあるいは老年であるかもしくは両方ともな」ものはある
事実4: 青黒いものは紡ぎ出しないかもしくはさよならするか両方ともである
事実5: もし仮にあの官途が背くとしたらそれは失業しないか老年であるか両方ともである
事実6: 「仮に幕藩体制期だとすると心置き無くないかもしくは遣り難いかもしくは両方ともである」物はある
事実7: もしあの官途が背くならそれは失業するか老年であるかもしくは両方だ

仮説: 「もしも背くとすると失業しないかまたは老年な」物はある
1. 事実5から、仮説が導かれる

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