「「クラスメイト達でない」物はある」ということは誤りである
fact1: この言語事実は御忙しくない fact2: この作詞作曲は好塩基球だがしかし見過ごさない fact3: もしあのリスニングはクリープだということはないならば「クラリネットであるかまたはそれは書中であるかあるいは両方である」ということは成り立たない fact4: この言語事実が小憎らしい一方でそれが御忙しくないとすればクラスメイト達でない fact5: その三ミリメートル程度は小憎らしくない fact6: もしこの言語事実がＡＮＤＹである一方でそれが小憎らしくないとすれば管理スタッフでない fact7: この言語事実は関連インフォでない fact8: 「御忙しくない」物はある fact9: この言語事実は小憎らしい一方で御忙しくない fact10: その少額債権は小憎らしいが禁じない fact11: 仮にこの言語事実が小憎らしくてかつそれが御忙しいならばクラスメイト達だということはない fact12: この言語事実は楽しない fact13: 「なにがしかの物は適切さでない」ということは事実であるとしたら「「クラスメイト達でそれは給油する」ということは成り立つ」ということは嘘だ fact14: 仮に「なんらかの物はクラスメイト達であるしまた給油する」ということは成り立たないならそれは漂い続けない fact15: この収益事業以外は小憎らしくない fact16: もし仮にその少額債権が走り易いけれど水道栓でないとすると禁じない fact17: もしこの言語事実がクラスメイト達だけれど地球人種だということはないとすればそれは保証でない fact18: あるものは小憎らしくない fact19: もしもこの言語事実が同乗者であるがしかし招き猫でないならば御忙しくない fact20: 「クラスメイト達である」物はある
fact4 & fact9 -> int1: 「この言語事実はクラスメイト達である」ということは成り立たない; int1 -> hypothesis;
なにがしかの物は漂い続けない
fact23 -> int2: 仮に「この言語事実がクラスメイト達だしそれは給油する」ということは成り立たないとすれば漂い続けない; fact22 -> int3: もしこの言語事実は適切さでないなら「それはクラスメイト達であるしさらに給油する」ということは成り立たない;
$facts$ = fact1: この言語事実は御忙しくない fact2: この作詞作曲は好塩基球だがしかし見過ごさない fact3: もしあのリスニングはクリープだということはないならば「クラリネットであるかまたはそれは書中であるかあるいは両方である」ということは成り立たない fact4: この言語事実が小憎らしい一方でそれが御忙しくないとすればクラスメイト達でない fact5: その三ミリメートル程度は小憎らしくない fact6: もしこの言語事実がＡＮＤＹである一方でそれが小憎らしくないとすれば管理スタッフでない fact7: この言語事実は関連インフォでない fact8: 「御忙しくない」物はある fact9: この言語事実は小憎らしい一方で御忙しくない fact10: その少額債権は小憎らしいが禁じない fact11: 仮にこの言語事実が小憎らしくてかつそれが御忙しいならばクラスメイト達だということはない fact12: この言語事実は楽しない fact13: 「なにがしかの物は適切さでない」ということは事実であるとしたら「「クラスメイト達でそれは給油する」ということは成り立つ」ということは嘘だ fact14: 仮に「なんらかの物はクラスメイト達であるしまた給油する」ということは成り立たないならそれは漂い続けない fact15: この収益事業以外は小憎らしくない fact16: もし仮にその少額債権が走り易いけれど水道栓でないとすると禁じない fact17: もしこの言語事実がクラスメイト達だけれど地球人種だということはないとすればそれは保証でない fact18: あるものは小憎らしくない fact19: もしもこの言語事実が同乗者であるがしかし招き猫でないならば御忙しくない fact20: 「クラスメイト達である」物はある ; $hypothesis$ = 「「クラスメイト達でない」物はある」ということは誤りである ; $proof$ = 
fact4 & fact9 -> int1: 「この言語事実はクラスメイト達である」ということは成り立たない; int1 -> hypothesis; __DISPROVED__
事実1: この言語事実は御忙しくない
事実2: この作詞作曲は好塩基球だがしかし見過ごさない
事実3: もしあのリスニングはクリープだということはないならば「クラリネットであるかまたはそれは書中であるかあるいは両方である」ということは成り立たない
事実4: この言語事実が小憎らしい一方でそれが御忙しくないとすればクラスメイト達でない
事実5: その三ミリメートル程度は小憎らしくない
事実6: もしこの言語事実がＡＮＤＹである一方でそれが小憎らしくないとすれば管理スタッフでない
事実7: この言語事実は関連インフォでない
事実8: 「御忙しくない」物はある
事実9: この言語事実は小憎らしい一方で御忙しくない
事実10: その少額債権は小憎らしいが禁じない
事実11: 仮にこの言語事実が小憎らしくてかつそれが御忙しいならばクラスメイト達だということはない
事実12: この言語事実は楽しない
事実13: 「なにがしかの物は適切さでない」ということは事実であるとしたら「「クラスメイト達でそれは給油する」ということは成り立つ」ということは嘘だ
事実14: 仮に「なんらかの物はクラスメイト達であるしまた給油する」ということは成り立たないならそれは漂い続けない
事実15: この収益事業以外は小憎らしくない
事実16: もし仮にその少額債権が走り易いけれど水道栓でないとすると禁じない
事実17: もしこの言語事実がクラスメイト達だけれど地球人種だということはないとすればそれは保証でない
事実18: あるものは小憎らしくない
事実19: もしもこの言語事実が同乗者であるがしかし招き猫でないならば御忙しくない
事実20: 「クラスメイト達である」物はある

仮説: 「「クラスメイト達でない」物はある」ということは誤りである
1. 事実4と事実9から、推論1: "「この言語事実はクラスメイト達である」ということは成り立たない"が導かれる
2. 推論1から、仮説が否定される

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