この聖母訪問は断定し難くてそれは固い
fact1: もし仮にそのＪリーグが通知預金だとしたらこの聖母訪問は断定し難い fact2: その集積度はちくちくしない fact3: もしもなにかは損金経理すればテレビ受像器だ fact4: もしもそのＪリーグがあどけないとしたらこの聖母訪問は断定し難い fact5: なにがしかの物が書き添えるとすれば揉み消さないかもしくは敬愛であるかあるいは両方ともだ fact6: もしもこのラメ入りが歩き回れるとするとあの数値はテレビ制作者だが固いということはない fact7: このラメ入りは敬愛だ fact8: 「この聖母訪問は固くて更にそれは歩き回れる」ということは間違っている fact9: もしもあの数値が歩き回れればこのラメ入りは通知預金だ fact10: もし仮にこのラメ入りが通知預金であるしそれにそれがあどけないとすればそのＪリーグは見辛いということはない fact11: もしもそのＪリーグは見辛くないとしたら「この聖母訪問は断定し難いし固い」ということは事実と異なる fact12: あるものはあどけなくない fact13: もし仮になにがしかの物が降り始めないとすればそれは見辛いしその上あどけない fact14: その廃村は降り始めない fact15: 仮にあの数値がテレビ制作者である一方でそれが固くないとすればこの聖母訪問は固い fact16: もしあの数値は断定し難いとすると「この聖母訪問は断定し難い」ということは本当だ fact17: あの数値はテレビ制作者だ fact18: 「あの数値は固い」ということは事実だ fact19: 「あの数値はあどけなくて歩き回れる」ということは成り立たない fact20: もし仮に「このラメ入りは敬愛である」ということは確かであるなら「揉み消すかあるいはそれは書き添えないかもしくは両方ともである」ということは事実と異なる fact21: 「このラメ入りは揉み消すか書き添えないかまたは両方だ」ということは成り立たないならば「それはあどけない」ということは嘘でない fact22: もしもあの数値がテレビ制作者なら歩き回れる fact23: 仮に何かはあどけないとしたら「そのＪリーグは通知預金であるかあるいはあどけないか両方ともである」ということは成り立つ fact24: もしその集積度がちくちくするということはないならば書き添えるしさらに日持ちする fact25: もし仮になんらかの物が揉み消さないかあるいはそれは敬愛であるかあるいは両方ともであるなら揉み消さない
fact22 & fact17 -> int1: あの数値は歩き回れる; int1 & fact9 -> int2: このラメ入りは通知預金である; fact7 & fact20 -> int3: 「このラメ入りは揉み消すかまたは書き添えないかあるいはどちらもである」ということは嘘だ; int3 & fact21 -> int4: このラメ入りはあどけない; int2 & int4 -> int5: このラメ入りは通知預金であるしその上あどけない; int5 & fact10 -> int6: そのＪリーグは見辛くない; int6 & fact11 -> hypothesis;
この聖母訪問は断定し難いししかもそれは固い
fact35 -> int7: もし仮にその廃村が降り始めないとすればそれは見辛くてあどけない; int7 & fact28 -> int8: その廃村は見辛いしさらにあどけない; int8 -> int9: その廃村はあどけない; int9 -> int10: なんらかの物はあどけない; int10 & fact27 -> int11: そのＪリーグは通知預金であるかまたはあどけないかどちらもだ; int11 & fact30 & fact32 -> int12: 「この聖母訪問は断定し難い」ということは事実だ; fact29 -> int13: もしもその集積度が揉み消さないかもしくはそれは敬愛であるとすれば揉み消さない; fact33 -> int14: その集積度が書き添えるとするとそれは揉み消さないかまたは敬愛である; fact31 & fact36 -> int15: その集積度は書き添えるしまた日持ちする; int15 -> int16: その集積度は書き添える; int14 & int16 -> int17: その集積度は揉み消さないか敬愛であるかあるいはどちらもである; int13 & int17 -> int18: その集積度は揉み消さない; int18 -> int19: 何かは揉み消すということはない;
$facts$ = fact1: もし仮にそのＪリーグが通知預金だとしたらこの聖母訪問は断定し難い fact2: その集積度はちくちくしない fact3: もしもなにかは損金経理すればテレビ受像器だ fact4: もしもそのＪリーグがあどけないとしたらこの聖母訪問は断定し難い fact5: なにがしかの物が書き添えるとすれば揉み消さないかもしくは敬愛であるかあるいは両方ともだ fact6: もしもこのラメ入りが歩き回れるとするとあの数値はテレビ制作者だが固いということはない fact7: このラメ入りは敬愛だ fact8: 「この聖母訪問は固くて更にそれは歩き回れる」ということは間違っている fact9: もしもあの数値が歩き回れればこのラメ入りは通知預金だ fact10: もし仮にこのラメ入りが通知預金であるしそれにそれがあどけないとすればそのＪリーグは見辛いということはない fact11: もしもそのＪリーグは見辛くないとしたら「この聖母訪問は断定し難いし固い」ということは事実と異なる fact12: あるものはあどけなくない fact13: もし仮になにがしかの物が降り始めないとすればそれは見辛いしその上あどけない fact14: その廃村は降り始めない fact15: 仮にあの数値がテレビ制作者である一方でそれが固くないとすればこの聖母訪問は固い fact16: もしあの数値は断定し難いとすると「この聖母訪問は断定し難い」ということは本当だ fact17: あの数値はテレビ制作者だ fact18: 「あの数値は固い」ということは事実だ fact19: 「あの数値はあどけなくて歩き回れる」ということは成り立たない fact20: もし仮に「このラメ入りは敬愛である」ということは確かであるなら「揉み消すかあるいはそれは書き添えないかもしくは両方ともである」ということは事実と異なる fact21: 「このラメ入りは揉み消すか書き添えないかまたは両方だ」ということは成り立たないならば「それはあどけない」ということは嘘でない fact22: もしもあの数値がテレビ制作者なら歩き回れる fact23: 仮に何かはあどけないとしたら「そのＪリーグは通知預金であるかあるいはあどけないか両方ともである」ということは成り立つ fact24: もしその集積度がちくちくするということはないならば書き添えるしさらに日持ちする fact25: もし仮になんらかの物が揉み消さないかあるいはそれは敬愛であるかあるいは両方ともであるなら揉み消さない ; $hypothesis$ = この聖母訪問は断定し難くてそれは固い ; $proof$ = 
fact22 & fact17 -> int1: あの数値は歩き回れる; int1 & fact9 -> int2: このラメ入りは通知預金である; fact7 & fact20 -> int3: 「このラメ入りは揉み消すかまたは書き添えないかあるいはどちらもである」ということは嘘だ; int3 & fact21 -> int4: このラメ入りはあどけない; int2 & int4 -> int5: このラメ入りは通知預金であるしその上あどけない; int5 & fact10 -> int6: そのＪリーグは見辛くない; int6 & fact11 -> hypothesis; __DISPROVED__
事実1: もし仮にそのＪリーグが通知預金だとしたらこの聖母訪問は断定し難い
事実2: その集積度はちくちくしない
事実3: もしもなにかは損金経理すればテレビ受像器だ
事実4: もしもそのＪリーグがあどけないとしたらこの聖母訪問は断定し難い
事実5: なにがしかの物が書き添えるとすれば揉み消さないかもしくは敬愛であるかあるいは両方ともだ
事実6: もしもこのラメ入りが歩き回れるとするとあの数値はテレビ制作者だが固いということはない
事実7: このラメ入りは敬愛だ
事実8: 「この聖母訪問は固くて更にそれは歩き回れる」ということは間違っている
事実9: もしもあの数値が歩き回れればこのラメ入りは通知預金だ
事実10: もし仮にこのラメ入りが通知預金であるしそれにそれがあどけないとすればそのＪリーグは見辛いということはない
事実11: もしもそのＪリーグは見辛くないとしたら「この聖母訪問は断定し難いし固い」ということは事実と異なる
事実12: あるものはあどけなくない
事実13: もし仮になにがしかの物が降り始めないとすればそれは見辛いしその上あどけない
事実14: その廃村は降り始めない
事実15: 仮にあの数値がテレビ制作者である一方でそれが固くないとすればこの聖母訪問は固い
事実16: もしあの数値は断定し難いとすると「この聖母訪問は断定し難い」ということは本当だ
事実17: あの数値はテレビ制作者だ
事実18: 「あの数値は固い」ということは事実だ
事実19: 「あの数値はあどけなくて歩き回れる」ということは成り立たない
事実20: もし仮に「このラメ入りは敬愛である」ということは確かであるなら「揉み消すかあるいはそれは書き添えないかもしくは両方ともである」ということは事実と異なる
事実21: 「このラメ入りは揉み消すか書き添えないかまたは両方だ」ということは成り立たないならば「それはあどけない」ということは嘘でない
事実22: もしもあの数値がテレビ制作者なら歩き回れる
事実23: 仮に何かはあどけないとしたら「そのＪリーグは通知預金であるかあるいはあどけないか両方ともである」ということは成り立つ
事実24: もしその集積度がちくちくするということはないならば書き添えるしさらに日持ちする
事実25: もし仮になんらかの物が揉み消さないかあるいはそれは敬愛であるかあるいは両方ともであるなら揉み消さない

仮説: この聖母訪問は断定し難くてそれは固い
1. 事実22と事実17から、推論1: "あの数値は歩き回れる"が導かれる
2. 推論1と事実9から、推論2: "このラメ入りは通知預金である"が導かれる
3. 事実7と事実20から、推論3: "「このラメ入りは揉み消すかまたは書き添えないかあるいはどちらもである」ということは嘘だ"が導かれる
4. 推論3と事実21から、推論4: "このラメ入りはあどけない"が導かれる
5. 推論2と推論4から、推論5: "このラメ入りは通知預金であるしその上あどけない"が導かれる
6. 推論5と事実10から、推論6: "そのＪリーグは見辛くない"が導かれる
7. 推論6と事実11から、仮説が否定される

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