「このタイル張りが遺産分割協議だししかもそれは微塵である」ということは誤りだ
fact1: もしもなにがしかの物が甲高くないかまたは微塵であるか両方ともであるとしたら微塵だ fact2: 「このタイル張りは小汚いし加えて遺産分割協議である」ということは偽である fact3: もし仮にこのタイル張りが腹黒いということはないがそれが働き続ければそれは変化要因でない fact4: その一一モードが心強いとするとこのタイル張りは小汚くないかまたはそれは遺産分割協議である fact5: あの雪崩は心強い fact6: 仮になにがしかの物が心強いとすると微塵である fact7: 仮にある物は婚約するということはないとすると「四五人であるし度し難い」ということは誤っている fact8: あの雪崩は忘れ難い fact9: その一一モードはＧＨＱでない fact10: 仮にその一一モードが心強いとしたらあの雪崩はＧＨＱである fact11: 「「その一一モードは御一緒出来ない一方で小汚い」ということは本当である」ということは成り立たないならこのタイル張りは遺産分割協議である fact12: もしもこの権利保障は取られ兼ねれば「それは微塵だ」ということは確かだ fact13: もし仮に「その一一モードはＧＨＱだということはない」ということは確かだとすれば「御一緒出来ない一方で小汚い」ということは誤りだ fact14: 「なにかは四五人であるし加えて度し難い」ということは正しくないとすると激突しない fact15: もし仮にあの雪崩が忘れ難いとしたらこのタイル張りは腹黒くない一方でそれは働き続ける fact16: もしもなにかはＧＨＱでないとしたら「遺産分割協議だし微塵である」ということは成り立たない fact17: 仮にあの雪崩が心強いならこのタイル張りは甲高いということはないかまたは微塵であるかまたはどちらもだ fact18: もし仮にその一一モードは激突するということはないならば「この権利保障は取られ兼ねるかあるいはそれは心強い」ということは成り立つ fact19: このタイル張りが変化要因でないならその一一モードは婚約しない fact20: あのＲＭは御一緒出来る fact21: 何かは遺産分割協議でないならそれは甲高いしかつＧＨＱである
fact13 & fact9 -> int1: 「その一一モードは御一緒出来ないがそれは小汚い」ということは事実と異なる; int1 & fact11 -> int2: このタイル張りは遺産分割協議だ; fact1 -> int3: もしこのタイル張りは甲高くないかあるいは微塵であるかあるいはどちらもだとしたらそれは微塵だ; fact17 & fact5 -> int4: このタイル張りは甲高いということはないか微塵であるかまたはどちらもである; int3 & int4 -> int5: このタイル張りは微塵である; int2 & int5 -> hypothesis;
「このタイル張りは遺産分割協議であるし微塵である」ということは成り立つということはない
fact22 -> int6: もしもこのタイル張りはＧＨＱでないとすれば「それは遺産分割協議でおまけにそれは微塵だ」ということは間違っている;
$facts$ = fact1: もしもなにがしかの物が甲高くないかまたは微塵であるか両方ともであるとしたら微塵だ fact2: 「このタイル張りは小汚いし加えて遺産分割協議である」ということは偽である fact3: もし仮にこのタイル張りが腹黒いということはないがそれが働き続ければそれは変化要因でない fact4: その一一モードが心強いとするとこのタイル張りは小汚くないかまたはそれは遺産分割協議である fact5: あの雪崩は心強い fact6: 仮になにがしかの物が心強いとすると微塵である fact7: 仮にある物は婚約するということはないとすると「四五人であるし度し難い」ということは誤っている fact8: あの雪崩は忘れ難い fact9: その一一モードはＧＨＱでない fact10: 仮にその一一モードが心強いとしたらあの雪崩はＧＨＱである fact11: 「「その一一モードは御一緒出来ない一方で小汚い」ということは本当である」ということは成り立たないならこのタイル張りは遺産分割協議である fact12: もしもこの権利保障は取られ兼ねれば「それは微塵だ」ということは確かだ fact13: もし仮に「その一一モードはＧＨＱだということはない」ということは確かだとすれば「御一緒出来ない一方で小汚い」ということは誤りだ fact14: 「なにかは四五人であるし加えて度し難い」ということは正しくないとすると激突しない fact15: もし仮にあの雪崩が忘れ難いとしたらこのタイル張りは腹黒くない一方でそれは働き続ける fact16: もしもなにかはＧＨＱでないとしたら「遺産分割協議だし微塵である」ということは成り立たない fact17: 仮にあの雪崩が心強いならこのタイル張りは甲高いということはないかまたは微塵であるかまたはどちらもだ fact18: もし仮にその一一モードは激突するということはないならば「この権利保障は取られ兼ねるかあるいはそれは心強い」ということは成り立つ fact19: このタイル張りが変化要因でないならその一一モードは婚約しない fact20: あのＲＭは御一緒出来る fact21: 何かは遺産分割協議でないならそれは甲高いしかつＧＨＱである ; $hypothesis$ = 「このタイル張りが遺産分割協議だししかもそれは微塵である」ということは誤りだ ; $proof$ = 
fact13 & fact9 -> int1: 「その一一モードは御一緒出来ないがそれは小汚い」ということは事実と異なる; int1 & fact11 -> int2: このタイル張りは遺産分割協議だ; fact1 -> int3: もしこのタイル張りは甲高くないかあるいは微塵であるかあるいはどちらもだとしたらそれは微塵だ; fact17 & fact5 -> int4: このタイル張りは甲高いということはないか微塵であるかまたはどちらもである; int3 & int4 -> int5: このタイル張りは微塵である; int2 & int5 -> hypothesis; __DISPROVED__
事実1: もしもなにがしかの物が甲高くないかまたは微塵であるか両方ともであるとしたら微塵だ
事実2: 「このタイル張りは小汚いし加えて遺産分割協議である」ということは偽である
事実3: もし仮にこのタイル張りが腹黒いということはないがそれが働き続ければそれは変化要因でない
事実4: その一一モードが心強いとするとこのタイル張りは小汚くないかまたはそれは遺産分割協議である
事実5: あの雪崩は心強い
事実6: 仮になにがしかの物が心強いとすると微塵である
事実7: 仮にある物は婚約するということはないとすると「四五人であるし度し難い」ということは誤っている
事実8: あの雪崩は忘れ難い
事実9: その一一モードはＧＨＱでない
事実10: 仮にその一一モードが心強いとしたらあの雪崩はＧＨＱである
事実11: 「「その一一モードは御一緒出来ない一方で小汚い」ということは本当である」ということは成り立たないならこのタイル張りは遺産分割協議である
事実12: もしもこの権利保障は取られ兼ねれば「それは微塵だ」ということは確かだ
事実13: もし仮に「その一一モードはＧＨＱだということはない」ということは確かだとすれば「御一緒出来ない一方で小汚い」ということは誤りだ
事実14: 「なにかは四五人であるし加えて度し難い」ということは正しくないとすると激突しない
事実15: もし仮にあの雪崩が忘れ難いとしたらこのタイル張りは腹黒くない一方でそれは働き続ける
事実16: もしもなにかはＧＨＱでないとしたら「遺産分割協議だし微塵である」ということは成り立たない
事実17: 仮にあの雪崩が心強いならこのタイル張りは甲高いということはないかまたは微塵であるかまたはどちらもだ
事実18: もし仮にその一一モードは激突するということはないならば「この権利保障は取られ兼ねるかあるいはそれは心強い」ということは成り立つ
事実19: このタイル張りが変化要因でないならその一一モードは婚約しない
事実20: あのＲＭは御一緒出来る
事実21: 何かは遺産分割協議でないならそれは甲高いしかつＧＨＱである

仮説: 「このタイル張りが遺産分割協議だししかもそれは微塵である」ということは誤りだ
1. 事実13と事実9から、推論1: "「その一一モードは御一緒出来ないがそれは小汚い」ということは事実と異なる"が導かれる
2. 推論1と事実11から、推論2: "このタイル張りは遺産分割協議だ"が導かれる
3. 事実1から、推論3: "もしこのタイル張りは甲高くないかあるいは微塵であるかあるいはどちらもだとしたらそれは微塵だ"が導かれる
4. 事実17と事実5から、推論4: "このタイル張りは甲高いということはないか微塵であるかまたはどちらもである"が導かれる
5. 推論3と推論4から、推論5: "このタイル張りは微塵である"が導かれる
6. 推論2と推論5から、仮説が否定される

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