「その公共交通特定事業は泥棒呼ばわりしないけれど小中高だ」ということは間違いだ
fact1: その公共交通特定事業は区別す fact2: もし仮にその中小零細企業が泥棒呼ばわりしないならばその公共交通特定事業は泥棒呼ばわりするということはないけどそれはＡＴＡである fact3: その中小零細企業は区別すし更にそれはＡＴＡだ fact4: もしも何かは慌ただしいとすれば「泥棒呼ばわりしないし更に小中高だ」ということは事実と異なる fact5: 仮にこのパーティ会場が慌ただしいとすればそのポルノ雑誌は慌ただしい fact6: 仮にその透析が考え辛くなくて牛蒡でないとしたらあの運用資産は牛蒡である fact7: その中小零細企業が泥棒呼ばわりしないとするとその公共交通特定事業は泥棒呼ばわりしない一方でそれは小中高だ fact8: 仮に「「中国民衆であるけれど分かり難いということはない」ということは成り立つということはない」ものがあるならこのパーティ会場は慌ただしい fact9: もし仮にその中小零細企業が慌ただしいならばその公共交通特定事業は慌ただしい fact10: もし仮にそのポルノ雑誌が慌ただしいがしかしそれが苛々し易くないならばその中小零細企業は慌ただしい fact11: 侘しいものは無意識状態である fact12: 仮にその公共交通特定事業が区別すらないとしたらその中小零細企業は小中高である fact13: その中小零細企業が区別すしその上それはＡＴＡであるならばそれは泥棒呼ばわりするということはない fact14: もしも軟らかくないものがあるとするとその透析は考え辛くないし加えてそれは牛蒡でない fact15: なんらかのものは牛蒡であるならば「中国民衆であるけど分かり難いということはない」ということは成り立たない fact16: 「その公共交通特定事業はＡＴＡだ」ということは本当である fact17: 「そのア・デイ・イン・ザ・ライフは軟らかくない」ということは正しい fact18: もし仮にそのポルノ雑誌が傾斜屋根でないとするとそれは侘しくて捕獲等でない fact19: 無意識状態は苛々し易くないしそれに観賞しない fact20: もし仮にその中小零細企業がＡＴＡでないならその公共交通特定事業はＡＴＡでないけれど泥棒呼ばわりする
fact13 & fact3 -> int1: その中小零細企業は泥棒呼ばわりしない; int1 & fact7 -> hypothesis;
fact13 & fact3 -> int1: ¬{B}{a}; int1 & fact7 -> hypothesis;
「その公共交通特定事業は泥棒呼ばわりしない一方で小中高だ」ということは成り立たない
fact25 -> int2: もしその公共交通特定事業は慌ただしいとすれば「泥棒呼ばわりしない一方で小中高である」ということは成り立たない; fact22 -> int3: あの運用資産は牛蒡であるとすると「それが中国民衆だし分かり難くない」ということは間違いである; fact31 -> int4: 「軟らかいということはない」ものはある; int4 & fact27 -> int5: その透析は考え辛くないしまた牛蒡だということはない; fact23 & int5 -> int6: あの運用資産は牛蒡だ; int3 & int6 -> int7: 「あの運用資産は中国民衆だけど分かり難くない」ということは成り立たない; int7 -> int8: 「「中国民衆であるし分かり難いということはない」ということは偽である」物はある; int8 & fact29 -> int9: 「このパーティ会場は慌ただしい」ということは真実だ; fact26 & int9 -> int10: そのポルノ雑誌は慌ただしい; fact28 -> int11: もしそのポルノ雑誌が無意識状態であるとしたらそれは苛々し易くないしそれは観賞しない; fact30 -> int12: もしも「そのポルノ雑誌は侘しい」ということは成り立つとすると「それは無意識状態である」ということは本当だ;
$facts$ = fact1: その公共交通特定事業は区別す fact2: もし仮にその中小零細企業が泥棒呼ばわりしないならばその公共交通特定事業は泥棒呼ばわりするということはないけどそれはＡＴＡである fact3: その中小零細企業は区別すし更にそれはＡＴＡだ fact4: もしも何かは慌ただしいとすれば「泥棒呼ばわりしないし更に小中高だ」ということは事実と異なる fact5: 仮にこのパーティ会場が慌ただしいとすればそのポルノ雑誌は慌ただしい fact6: 仮にその透析が考え辛くなくて牛蒡でないとしたらあの運用資産は牛蒡である fact7: その中小零細企業が泥棒呼ばわりしないとするとその公共交通特定事業は泥棒呼ばわりしない一方でそれは小中高だ fact8: 仮に「「中国民衆であるけれど分かり難いということはない」ということは成り立つということはない」ものがあるならこのパーティ会場は慌ただしい fact9: もし仮にその中小零細企業が慌ただしいならばその公共交通特定事業は慌ただしい fact10: もし仮にそのポルノ雑誌が慌ただしいがしかしそれが苛々し易くないならばその中小零細企業は慌ただしい fact11: 侘しいものは無意識状態である fact12: 仮にその公共交通特定事業が区別すらないとしたらその中小零細企業は小中高である fact13: その中小零細企業が区別すしその上それはＡＴＡであるならばそれは泥棒呼ばわりするということはない fact14: もしも軟らかくないものがあるとするとその透析は考え辛くないし加えてそれは牛蒡でない fact15: なんらかのものは牛蒡であるならば「中国民衆であるけど分かり難いということはない」ということは成り立たない fact16: 「その公共交通特定事業はＡＴＡだ」ということは本当である fact17: 「そのア・デイ・イン・ザ・ライフは軟らかくない」ということは正しい fact18: もし仮にそのポルノ雑誌が傾斜屋根でないとするとそれは侘しくて捕獲等でない fact19: 無意識状態は苛々し易くないしそれに観賞しない fact20: もし仮にその中小零細企業がＡＴＡでないならその公共交通特定事業はＡＴＡでないけれど泥棒呼ばわりする ; $hypothesis$ = 「その公共交通特定事業は泥棒呼ばわりしないけれど小中高だ」ということは間違いだ ; $proof$ = 
fact13 & fact3 -> int1: その中小零細企業は泥棒呼ばわりしない; int1 & fact7 -> hypothesis; __DISPROVED__
事実1: その公共交通特定事業は区別す
事実2: もし仮にその中小零細企業が泥棒呼ばわりしないならばその公共交通特定事業は泥棒呼ばわりするということはないけどそれはＡＴＡである
事実3: その中小零細企業は区別すし更にそれはＡＴＡだ
事実4: もしも何かは慌ただしいとすれば「泥棒呼ばわりしないし更に小中高だ」ということは事実と異なる
事実5: 仮にこのパーティ会場が慌ただしいとすればそのポルノ雑誌は慌ただしい
事実6: 仮にその透析が考え辛くなくて牛蒡でないとしたらあの運用資産は牛蒡である
事実7: その中小零細企業が泥棒呼ばわりしないとするとその公共交通特定事業は泥棒呼ばわりしない一方でそれは小中高だ
事実8: 仮に「「中国民衆であるけれど分かり難いということはない」ということは成り立つということはない」ものがあるならこのパーティ会場は慌ただしい
事実9: もし仮にその中小零細企業が慌ただしいならばその公共交通特定事業は慌ただしい
事実10: もし仮にそのポルノ雑誌が慌ただしいがしかしそれが苛々し易くないならばその中小零細企業は慌ただしい
事実11: 侘しいものは無意識状態である
事実12: 仮にその公共交通特定事業が区別すらないとしたらその中小零細企業は小中高である
事実13: その中小零細企業が区別すしその上それはＡＴＡであるならばそれは泥棒呼ばわりするということはない
事実14: もしも軟らかくないものがあるとするとその透析は考え辛くないし加えてそれは牛蒡でない
事実15: なんらかのものは牛蒡であるならば「中国民衆であるけど分かり難いということはない」ということは成り立たない
事実16: 「その公共交通特定事業はＡＴＡだ」ということは本当である
事実17: 「そのア・デイ・イン・ザ・ライフは軟らかくない」ということは正しい
事実18: もし仮にそのポルノ雑誌が傾斜屋根でないとするとそれは侘しくて捕獲等でない
事実19: 無意識状態は苛々し易くないしそれに観賞しない
事実20: もし仮にその中小零細企業がＡＴＡでないならその公共交通特定事業はＡＴＡでないけれど泥棒呼ばわりする

仮説: 「その公共交通特定事業は泥棒呼ばわりしないけれど小中高だ」ということは間違いだ
1. 事実13と事実3から、推論1: "その中小零細企業は泥棒呼ばわりしない"が導かれる
2. 推論1と事実7から、仮説が否定される

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