「その仏人は汚らわしい」ということは真実だ
fact1: もしその真言宗が突っ撥ねないとしたらその大将はタイトル部分でその上それは諸影響だ fact2: 「一般管理費だけれど察知しない」ものはある fact3: 「「クラリセージだしその上大根葉でない」ということは事実でない」ものがあるとしたらその仏人は小高い fact4: もしもその仏人は汚らわしいか悪賢いかまたは両方ともならそれは焦れない fact5: なにかは応ずるか汚らわしくないかあるいは両方ともであるとすれば転び易くない fact6: 仮になにがしかの物は小高いかもしくは転び易いかまたは両方ともであるなら汚らわしいということはない fact7: 「「クラリセージであるし加えて大根葉でない」ということは間違っている」ものはある fact8: 仮にその大将がタイトル部分ならその仏人は応ずるかまたはそれは汚らわしくない fact9: もし仮に「その仏人は発覚する」ということは偽でないなら小高くない fact10: 「「発覚するしおまけに手広い」ということは成り立たない」物はある fact11: もしタイトル部分が応ぜないとしたら転び易くない
fact7 & fact3 -> int1: その仏人は小高い; int1 -> int2: その仏人は小高いかもしくは転び易いかあるいはどちらもである; fact6 -> int3: もし仮にその仏人が小高いかもしくは転び易いかまたは両方ともであるならばそれは汚らわしくない; int2 & int3 -> hypothesis;
fact7 & fact3 -> int1: {A}{a}; int1 -> int2: ({A}{a} v {B}{a}); fact6 -> int3: ({A}{a} v {B}{a}) -> ¬{C}{a}; int2 & int3 -> hypothesis;
その匪賊は経済資源であるかまたは大根葉であるか両方ともだ
fact14 -> int4: もし「その仏人は応ずるかもしくはそれは汚らわしくないかあるいは両方ともである」ということは確かなら転び易くない;
$facts$ = fact1: もしその真言宗が突っ撥ねないとしたらその大将はタイトル部分でその上それは諸影響だ fact2: 「一般管理費だけれど察知しない」ものはある fact3: 「「クラリセージだしその上大根葉でない」ということは事実でない」ものがあるとしたらその仏人は小高い fact4: もしもその仏人は汚らわしいか悪賢いかまたは両方ともならそれは焦れない fact5: なにかは応ずるか汚らわしくないかあるいは両方ともであるとすれば転び易くない fact6: 仮になにがしかの物は小高いかもしくは転び易いかまたは両方ともであるなら汚らわしいということはない fact7: 「「クラリセージであるし加えて大根葉でない」ということは間違っている」ものはある fact8: 仮にその大将がタイトル部分ならその仏人は応ずるかまたはそれは汚らわしくない fact9: もし仮に「その仏人は発覚する」ということは偽でないなら小高くない fact10: 「「発覚するしおまけに手広い」ということは成り立たない」物はある fact11: もしタイトル部分が応ぜないとしたら転び易くない ; $hypothesis$ = 「その仏人は汚らわしい」ということは真実だ ; $proof$ = 
fact7 & fact3 -> int1: その仏人は小高い; int1 -> int2: その仏人は小高いかもしくは転び易いかあるいはどちらもである; fact6 -> int3: もし仮にその仏人が小高いかもしくは転び易いかまたは両方ともであるならばそれは汚らわしくない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もしその真言宗が突っ撥ねないとしたらその大将はタイトル部分でその上それは諸影響だ
事実2: 「一般管理費だけれど察知しない」ものはある
事実3: 「「クラリセージだしその上大根葉でない」ということは事実でない」ものがあるとしたらその仏人は小高い
事実4: もしもその仏人は汚らわしいか悪賢いかまたは両方ともならそれは焦れない
事実5: なにかは応ずるか汚らわしくないかあるいは両方ともであるとすれば転び易くない
事実6: 仮になにがしかの物は小高いかもしくは転び易いかまたは両方ともであるなら汚らわしいということはない
事実7: 「「クラリセージであるし加えて大根葉でない」ということは間違っている」ものはある
事実8: 仮にその大将がタイトル部分ならその仏人は応ずるかまたはそれは汚らわしくない
事実9: もし仮に「その仏人は発覚する」ということは偽でないなら小高くない
事実10: 「「発覚するしおまけに手広い」ということは成り立たない」物はある
事実11: もしタイトル部分が応ぜないとしたら転び易くない

仮説: 「その仏人は汚らわしい」ということは真実だ
1. 事実7と事実3から、推論1: "その仏人は小高い"が導かれる
2. 推論1から、推論2: "その仏人は小高いかもしくは転び易いかあるいはどちらもである"が導かれる
3. 事実6から、推論3: "もし仮にその仏人が小高いかもしくは転び易いかまたは両方ともであるならばそれは汚らわしくない"が導かれる
4. 推論2と推論3から、仮説が否定される

よって、仮説が否定されました。