「「もし仮に単純過ぎるとするとクラス単位でない」ものはある」ということは間違っている
fact1: もし仮にとあるものが単純過ぎれば監視人だということはない fact2: もしもあるものが単純過ぎるとすればそれはクラス単位だということはない fact3: もしもなんらかの物が単純過ぎるならクラス単位である fact4: 仮になにがしかのものが話し難いならばそれは済ま無くない fact5: 仮に「このＲ市は単純過ぎる」ということは真実であるとするとクラス単位だ fact6: 仮になにかは損益通算するとすると回収しない fact7: 合併し易いものは国籍不明でない fact8: もしあるものが打ち下すとすればそれは信心深くない fact9: 仮にその住民がクラス単位だとすると垂れ流れる fact10: 「外底だとすると出征する」物はある fact11: 「仮に単純過ぎるとしたらクラス単位な」ものはある fact12: たどたどしいものは唱え出す fact13: 仮にこのＲ市がせこいならそれはクラス単位でない fact14: 「もし有神だとしたら「組織ＡＱでない」ということは本当な」物はある fact15: 「仮に賑々しいならばゲネプロでない」物はある
fact2 -> int1: もし仮にこのＲ市は単純過ぎれば「それはクラス単位でない」ということは本当だ; int1 -> hypothesis;
「仮に話し難いとすれば「済ま無くない」ということは真実な」物はある
fact16 -> int2: 仮にこの葉肉細胞は話し難いならば「済ま無くない」ということは真実である; int2 -> hypothesis;
$facts$ = fact1: もし仮にとあるものが単純過ぎれば監視人だということはない fact2: もしもあるものが単純過ぎるとすればそれはクラス単位だということはない fact3: もしもなんらかの物が単純過ぎるならクラス単位である fact4: 仮になにがしかのものが話し難いならばそれは済ま無くない fact5: 仮に「このＲ市は単純過ぎる」ということは真実であるとするとクラス単位だ fact6: 仮になにかは損益通算するとすると回収しない fact7: 合併し易いものは国籍不明でない fact8: もしあるものが打ち下すとすればそれは信心深くない fact9: 仮にその住民がクラス単位だとすると垂れ流れる fact10: 「外底だとすると出征する」物はある fact11: 「仮に単純過ぎるとしたらクラス単位な」ものはある fact12: たどたどしいものは唱え出す fact13: 仮にこのＲ市がせこいならそれはクラス単位でない fact14: 「もし有神だとしたら「組織ＡＱでない」ということは本当な」物はある fact15: 「仮に賑々しいならばゲネプロでない」物はある ; $hypothesis$ = 「「もし仮に単純過ぎるとするとクラス単位でない」ものはある」ということは間違っている ; $proof$ = 
fact2 -> int1: もし仮にこのＲ市は単純過ぎれば「それはクラス単位でない」ということは本当だ; int1 -> hypothesis; __DISPROVED__
事実1: もし仮にとあるものが単純過ぎれば監視人だということはない
事実2: もしもあるものが単純過ぎるとすればそれはクラス単位だということはない
事実3: もしもなんらかの物が単純過ぎるならクラス単位である
事実4: 仮になにがしかのものが話し難いならばそれは済ま無くない
事実5: 仮に「このＲ市は単純過ぎる」ということは真実であるとするとクラス単位だ
事実6: 仮になにかは損益通算するとすると回収しない
事実7: 合併し易いものは国籍不明でない
事実8: もしあるものが打ち下すとすればそれは信心深くない
事実9: 仮にその住民がクラス単位だとすると垂れ流れる
事実10: 「外底だとすると出征する」物はある
事実11: 「仮に単純過ぎるとしたらクラス単位な」ものはある
事実12: たどたどしいものは唱え出す
事実13: 仮にこのＲ市がせこいならそれはクラス単位でない
事実14: 「もし有神だとしたら「組織ＡＱでない」ということは本当な」物はある
事実15: 「仮に賑々しいならばゲネプロでない」物はある

仮説: 「「もし仮に単純過ぎるとするとクラス単位でない」ものはある」ということは間違っている
1. 事実2から、推論1: "もし仮にこのＲ市は単純過ぎれば「それはクラス単位でない」ということは本当だ"が導かれる
2. 推論1から、仮説が否定される

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