あのナンセンス文学は陥り易いかまたは取っちめない
fact1: もしも「その単純累進税率は塗り易い」ということは成り立つならあのナンセンス文学は取っちめるかもしくは塗り易いかもしくは両方ともである fact2: その単純累進税率が移ろい易くないとすればそれは塗り固めないかもしくは塗り易いかあるいは両方だ fact3: その膠原線維は取っちめない fact4: あのナンセンス文学は塗り易くない fact5: この挙式は取っちめるかそれは陥り易い fact6: 「もしその単純累進税率が塗り固めないかまたは塗り易いならこの挙式は取っちめる」ということは本当だ fact7: この挙式が取っちめるならばあのナンセンス文学は陥り易いかあるいは取っちめない fact8: その単純累進税率は移ろい易くない fact9: あのナンセンス文学は震わすかまたは陥り易いか両方である fact10: その単純累進税率は取っちめないかまたはそれは塗り固める
fact2 & fact8 -> int1: その単純累進税率は塗り固めないかもしくは塗り易いかどちらもである; int1 & fact6 -> int2: この挙式は取っちめる; int2 & fact7 -> hypothesis;
$facts$ = fact1: もしも「その単純累進税率は塗り易い」ということは成り立つならあのナンセンス文学は取っちめるかもしくは塗り易いかもしくは両方ともである fact2: その単純累進税率が移ろい易くないとすればそれは塗り固めないかもしくは塗り易いかあるいは両方だ fact3: その膠原線維は取っちめない fact4: あのナンセンス文学は塗り易くない fact5: この挙式は取っちめるかそれは陥り易い fact6: 「もしその単純累進税率が塗り固めないかまたは塗り易いならこの挙式は取っちめる」ということは本当だ fact7: この挙式が取っちめるならばあのナンセンス文学は陥り易いかあるいは取っちめない fact8: その単純累進税率は移ろい易くない fact9: あのナンセンス文学は震わすかまたは陥り易いか両方である fact10: その単純累進税率は取っちめないかまたはそれは塗り固める ; $hypothesis$ = あのナンセンス文学は陥り易いかまたは取っちめない ; $proof$ = 
fact2 & fact8 -> int1: その単純累進税率は塗り固めないかもしくは塗り易いかどちらもである; int1 & fact6 -> int2: この挙式は取っちめる; int2 & fact7 -> hypothesis; __PROVED__
事実1: もしも「その単純累進税率は塗り易い」ということは成り立つならあのナンセンス文学は取っちめるかもしくは塗り易いかもしくは両方ともである
事実2: その単純累進税率が移ろい易くないとすればそれは塗り固めないかもしくは塗り易いかあるいは両方だ
事実3: その膠原線維は取っちめない
事実4: あのナンセンス文学は塗り易くない
事実5: この挙式は取っちめるかそれは陥り易い
事実6: 「もしその単純累進税率が塗り固めないかまたは塗り易いならこの挙式は取っちめる」ということは本当だ
事実7: この挙式が取っちめるならばあのナンセンス文学は陥り易いかあるいは取っちめない
事実8: その単純累進税率は移ろい易くない
事実9: あのナンセンス文学は震わすかまたは陥り易いか両方である
事実10: その単純累進税率は取っちめないかまたはそれは塗り固める

仮説: あのナンセンス文学は陥り易いかまたは取っちめない
1. 事実2と事実8から、推論1: "その単純累進税率は塗り固めないかもしくは塗り易いかどちらもである"が導かれる
2. 推論1と事実6から、推論2: "この挙式は取っちめる"が導かれる
3. 推論2と事実7から、仮説が導かれる

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