そのデザイアーは分かち難くない
fact1: 「その必見は止めどである」ということは誤っていないとすると「あの異常値は止めどだ」ということは本当である fact2: もし仮にあの梅春物が九十年代初めでないとするとあのドイツ軍は分かち難くて道裁判所だ fact3: もし仮になにかはトッポッキであるかまたはそれがソリューションビジネスであるか両方ともならその必見はソリューションビジネスである fact4: もしなにかは止めどならば「それは古めかしくないかまたは張り付くということはないかもしくはどちらもである」ということは成り立たない fact5: もしあの五人連れが九十年代初めならばそのデザイアーは分かち難い fact6: あの五人連れは止めどだ fact7: 仮に何かは道裁判所でないなら古めかしくないかもしくは張り付くということはないかまたはどちらもである fact8: もし仮にこのＫ先生は悼むとすると「あの異常値は美々しかないけれど耳栓する」ということは誤りである fact9: 仮にその必見は読み辛い一方で国民的合意だということはないなら「それは止めどである」ということは成り立つ fact10: もし仮にあの五人連れが道裁判所ならばそれは九十年代初めだ fact11: 「なにがしかのものは美々しかないがそれは耳栓する」ということは誤りであるとすれば「それは美々しい」ということは正しい fact12: なにかはトッポッキであるかまたはソリューションビジネスであるか両方である fact13: 仮にあのドイツ軍は分かち難いとすると「そのデザイアーは分かち難くない」ということは正しい fact14: もしその必見がソリューションビジネスならそれは読み辛い一方で国民的合意でない
fact7 -> int1: もしあの五人連れが道裁判所だということはないならば古めかしくないかあるいはそれは張り付かない; void -> assump1: 以下のように仮定する。あの五人連れは道裁判所だということはない; int1 & assump1 -> int2: あの五人連れは古めかしくないかあるいは張り付かないかもしくは両方ともである; fact4 -> int3: 仮にあの五人連れは止めどならば「それは古めかしくないかまたは張り付かないかもしくはどちらもである」ということは嘘である; int3 & fact6 -> int4: 「あの五人連れは古めかしくないかまたは張り付かないかあるいは両方だ」ということは偽である; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの五人連れは道裁判所だ; int6 & fact10 -> int7: あの五人連れは九十年代初めだ; int7 & fact5 -> hypothesis;
「そのデザイアーは分かち難いということはない」ということは間違っていない
fact22 & fact15 -> int8: その必見はソリューションビジネスである; fact17 & int8 -> int9: その必見は読み辛いけど国民的合意でない; fact16 & int9 -> int10: その必見は止めどである; fact18 & int10 -> int11: あの異常値は止めどだ; fact21 -> int12: 仮に「「あの異常値は美々しかないがしかし耳栓する」ということは成り立たない」ということは成り立つとすれば美々しい;
$facts$ = fact1: 「その必見は止めどである」ということは誤っていないとすると「あの異常値は止めどだ」ということは本当である fact2: もし仮にあの梅春物が九十年代初めでないとするとあのドイツ軍は分かち難くて道裁判所だ fact3: もし仮になにかはトッポッキであるかまたはそれがソリューションビジネスであるか両方ともならその必見はソリューションビジネスである fact4: もしなにかは止めどならば「それは古めかしくないかまたは張り付くということはないかもしくはどちらもである」ということは成り立たない fact5: もしあの五人連れが九十年代初めならばそのデザイアーは分かち難い fact6: あの五人連れは止めどだ fact7: 仮に何かは道裁判所でないなら古めかしくないかもしくは張り付くということはないかまたはどちらもである fact8: もし仮にこのＫ先生は悼むとすると「あの異常値は美々しかないけれど耳栓する」ということは誤りである fact9: 仮にその必見は読み辛い一方で国民的合意だということはないなら「それは止めどである」ということは成り立つ fact10: もし仮にあの五人連れが道裁判所ならばそれは九十年代初めだ fact11: 「なにがしかのものは美々しかないがそれは耳栓する」ということは誤りであるとすれば「それは美々しい」ということは正しい fact12: なにかはトッポッキであるかまたはソリューションビジネスであるか両方である fact13: 仮にあのドイツ軍は分かち難いとすると「そのデザイアーは分かち難くない」ということは正しい fact14: もしその必見がソリューションビジネスならそれは読み辛い一方で国民的合意でない ; $hypothesis$ = そのデザイアーは分かち難くない ; $proof$ = 
fact7 -> int1: もしあの五人連れが道裁判所だということはないならば古めかしくないかあるいはそれは張り付かない; void -> assump1: 以下のように仮定する。あの五人連れは道裁判所だということはない; int1 & assump1 -> int2: あの五人連れは古めかしくないかあるいは張り付かないかもしくは両方ともである; fact4 -> int3: 仮にあの五人連れは止めどならば「それは古めかしくないかまたは張り付かないかもしくはどちらもである」ということは嘘である; int3 & fact6 -> int4: 「あの五人連れは古めかしくないかまたは張り付かないかあるいは両方だ」ということは偽である; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの五人連れは道裁判所だ; int6 & fact10 -> int7: あの五人連れは九十年代初めだ; int7 & fact5 -> hypothesis; __DISPROVED__
事実1: 「その必見は止めどである」ということは誤っていないとすると「あの異常値は止めどだ」ということは本当である
事実2: もし仮にあの梅春物が九十年代初めでないとするとあのドイツ軍は分かち難くて道裁判所だ
事実3: もし仮になにかはトッポッキであるかまたはそれがソリューションビジネスであるか両方ともならその必見はソリューションビジネスである
事実4: もしなにかは止めどならば「それは古めかしくないかまたは張り付くということはないかもしくはどちらもである」ということは成り立たない
事実5: もしあの五人連れが九十年代初めならばそのデザイアーは分かち難い
事実6: あの五人連れは止めどだ
事実7: 仮に何かは道裁判所でないなら古めかしくないかもしくは張り付くということはないかまたはどちらもである
事実8: もし仮にこのＫ先生は悼むとすると「あの異常値は美々しかないけれど耳栓する」ということは誤りである
事実9: 仮にその必見は読み辛い一方で国民的合意だということはないなら「それは止めどである」ということは成り立つ
事実10: もし仮にあの五人連れが道裁判所ならばそれは九十年代初めだ
事実11: 「なにがしかのものは美々しかないがそれは耳栓する」ということは誤りであるとすれば「それは美々しい」ということは正しい
事実12: なにかはトッポッキであるかまたはソリューションビジネスであるか両方である
事実13: 仮にあのドイツ軍は分かち難いとすると「そのデザイアーは分かち難くない」ということは正しい
事実14: もしその必見がソリューションビジネスならそれは読み辛い一方で国民的合意でない

仮説: そのデザイアーは分かち難くない
1. 事実7から、推論1: "もしあの五人連れが道裁判所だということはないならば古めかしくないかあるいはそれは張り付かない"が導かれる
2. 仮定1: 以下のように仮定する。あの五人連れは道裁判所だということはない
3. 推論1と仮定1から、推論2: "あの五人連れは古めかしくないかあるいは張り付かないかもしくは両方ともである"が導かれる
4. 事実4から、推論3: "仮にあの五人連れは止めどならば「それは古めかしくないかまたは張り付かないかもしくはどちらもである」ということは嘘である"が導かれる
5. 推論3と事実6から、推論4: "「あの五人連れは古めかしくないかまたは張り付かないかあるいは両方だ」ということは偽である"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの五人連れは道裁判所だ"が導かれる
8. 推論6と事実10から、推論7: "あの五人連れは九十年代初めだ"が導かれる
9. 推論7と事実5から、仮説が否定される

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