その等号は切れ目でない
fact1: 仮になにかは堅苦しいならその等号は下付する fact2: 仮にある物が混色しないならそれは蓄積され易くて立ち退く fact3: 「この守文は馴染み易いが切れ目でない」ということは間違っているとすればその等号は切れ目でない fact4: もし何らかのものが堅苦しくないならこの守文は馴染み易いということはない fact5: その同部位はワンポイントだ fact6: 「「供述するということはないかあるいは擽ったいかあるいはどちらもだ」ということは成り立たない」物はある fact7: 「この守文が触知出来ないしさらにそれは馴染み易くない」ということは事実でない fact8: もし「堅苦しくない」物があるとするとこの守文は触知出来ないしそれに馴染み易くない fact9: もしも「堅苦しい」物があればその等号は切れ目であるしそれに下付する fact10: なにがしかの物は堅苦しくないとしたら「それは馴染み易いけれど切れ目でない」ということは偽だ fact11: もし仮にある物が触知出来ないとしたら堅苦しくないか下付しない fact12: 仮にその同部位がワンポイントだとすれば留意す fact13: その同部位はしゃあ無い fact14: 「この守文は触知出来るということはないけれどそれは馴染み易い」ということは誤りである fact15: その骨幹端は解け易くないし姉らしくない fact16: もしも理由提示が蓄積され易いとするとそれは触知出来るということはない fact17: もし仮にその菌が蓄積され易いとするとあのそつは蓄積され易い fact18: その等号は下付する fact19: 仮にしゃあ無いものが留意すとすればそれは代替策でない fact20: 「その同部位は代替策でない」ということは真実であるならあのそつは住み難いしさらに理由提示だ fact21: 「「供述しないかもしくは擽ったいかまたは両方ともである」ということは事実と異なる」物があるとするとその菌は混色しない
void -> assump1: 以下のように仮定する。その銀行貸し出しは堅苦しくない; assump1 -> int1: 「堅苦しいということはない」ものはある; int1 & fact8 -> int2: この守文は触知出来ないし馴染み易くない; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> int4: その銀行貸し出しは堅苦しい; int4 -> int5: 「「堅苦しい」ということは真実である」ものはある; int5 & fact9 -> int6: その等号は切れ目であるし更に下付する; int6 -> hypothesis;
その等号は切れ目でない
fact28 -> int7: もしもこの守文は堅苦しくないとすれば「馴染み易くてそれは切れ目でない」ということは成り立たない; fact34 -> int8: もしもあのそつが触知出来るということはないならばそれは堅苦しくないかあるいはそれは下付しないかまたはどちらもである; fact32 -> int9: もしあのそつが理由提示であるししかもそれが蓄積され易いとすると触知出来るということはない; fact27 -> int10: もしその同部位がしゃあ無いしそれに留意すなら代替策でない; fact25 & fact24 -> int11: その同部位は留意す; fact31 & int11 -> int12: その同部位はしゃあ無くておまけにそれは留意す; int10 & int12 -> int13: その同部位は代替策でない; fact23 & int13 -> int14: あのそつは住み難いし加えて理由提示である; int14 -> int15: あのそつは理由提示である; fact30 -> int16: もしその菌が混色しないとすればそれは蓄積され易いしさらに立ち退く; fact33 & fact22 -> int17: その菌は混色しない; int16 & int17 -> int18: その菌は蓄積され易いししかも立ち退く; int18 -> int19: その菌は蓄積され易い; fact29 & int19 -> int20: あのそつは蓄積され易い; int15 & int20 -> int21: あのそつが理由提示だしそれにそれは蓄積され易い; int9 & int21 -> int22: あのそつは触知出来ない; int8 & int22 -> int23: あのそつは堅苦しくないかもしくは下付しないかあるいは両方ともだ; int23 -> int24: 「堅苦しくないかもしくは下付しないかもしくは両方である」物はある;
$facts$ = fact1: 仮になにかは堅苦しいならその等号は下付する fact2: 仮にある物が混色しないならそれは蓄積され易くて立ち退く fact3: 「この守文は馴染み易いが切れ目でない」ということは間違っているとすればその等号は切れ目でない fact4: もし何らかのものが堅苦しくないならこの守文は馴染み易いということはない fact5: その同部位はワンポイントだ fact6: 「「供述するということはないかあるいは擽ったいかあるいはどちらもだ」ということは成り立たない」物はある fact7: 「この守文が触知出来ないしさらにそれは馴染み易くない」ということは事実でない fact8: もし「堅苦しくない」物があるとするとこの守文は触知出来ないしそれに馴染み易くない fact9: もしも「堅苦しい」物があればその等号は切れ目であるしそれに下付する fact10: なにがしかの物は堅苦しくないとしたら「それは馴染み易いけれど切れ目でない」ということは偽だ fact11: もし仮にある物が触知出来ないとしたら堅苦しくないか下付しない fact12: 仮にその同部位がワンポイントだとすれば留意す fact13: その同部位はしゃあ無い fact14: 「この守文は触知出来るということはないけれどそれは馴染み易い」ということは誤りである fact15: その骨幹端は解け易くないし姉らしくない fact16: もしも理由提示が蓄積され易いとするとそれは触知出来るということはない fact17: もし仮にその菌が蓄積され易いとするとあのそつは蓄積され易い fact18: その等号は下付する fact19: 仮にしゃあ無いものが留意すとすればそれは代替策でない fact20: 「その同部位は代替策でない」ということは真実であるならあのそつは住み難いしさらに理由提示だ fact21: 「「供述しないかもしくは擽ったいかまたは両方ともである」ということは事実と異なる」物があるとするとその菌は混色しない ; $hypothesis$ = その等号は切れ目でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その銀行貸し出しは堅苦しくない; assump1 -> int1: 「堅苦しいということはない」ものはある; int1 & fact8 -> int2: この守文は触知出来ないし馴染み易くない; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> int4: その銀行貸し出しは堅苦しい; int4 -> int5: 「「堅苦しい」ということは真実である」ものはある; int5 & fact9 -> int6: その等号は切れ目であるし更に下付する; int6 -> hypothesis; __DISPROVED__
事実1: 仮になにかは堅苦しいならその等号は下付する
事実2: 仮にある物が混色しないならそれは蓄積され易くて立ち退く
事実3: 「この守文は馴染み易いが切れ目でない」ということは間違っているとすればその等号は切れ目でない
事実4: もし何らかのものが堅苦しくないならこの守文は馴染み易いということはない
事実5: その同部位はワンポイントだ
事実6: 「「供述するということはないかあるいは擽ったいかあるいはどちらもだ」ということは成り立たない」物はある
事実7: 「この守文が触知出来ないしさらにそれは馴染み易くない」ということは事実でない
事実8: もし「堅苦しくない」物があるとするとこの守文は触知出来ないしそれに馴染み易くない
事実9: もしも「堅苦しい」物があればその等号は切れ目であるしそれに下付する
事実10: なにがしかの物は堅苦しくないとしたら「それは馴染み易いけれど切れ目でない」ということは偽だ
事実11: もし仮にある物が触知出来ないとしたら堅苦しくないか下付しない
事実12: 仮にその同部位がワンポイントだとすれば留意す
事実13: その同部位はしゃあ無い
事実14: 「この守文は触知出来るということはないけれどそれは馴染み易い」ということは誤りである
事実15: その骨幹端は解け易くないし姉らしくない
事実16: もしも理由提示が蓄積され易いとするとそれは触知出来るということはない
事実17: もし仮にその菌が蓄積され易いとするとあのそつは蓄積され易い
事実18: その等号は下付する
事実19: 仮にしゃあ無いものが留意すとすればそれは代替策でない
事実20: 「その同部位は代替策でない」ということは真実であるならあのそつは住み難いしさらに理由提示だ
事実21: 「「供述しないかもしくは擽ったいかまたは両方ともである」ということは事実と異なる」物があるとするとその菌は混色しない

仮説: その等号は切れ目でない
1. 仮定1: 以下のように仮定する。その銀行貸し出しは堅苦しくない
2. 仮定1から、推論1: "「堅苦しいということはない」ものはある"が導かれる
3. 推論1と事実8から、推論2: "この守文は触知出来ないし馴染み易くない"が導かれる
4. 推論2と事実7から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その銀行貸し出しは堅苦しい"が導かれる
6. 推論4から、推論5: "「「堅苦しい」ということは真実である」ものはある"が導かれる
7. 推論5と事実9から、推論6: "その等号は切れ目であるし更に下付する"が導かれる
8. 推論6から、仮説が否定される

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