「「もし仮に「化学的便潜血反応でない」ということは事実ならば続き易いしその上臭気対策である」物はある」ということは誤りだ
fact1: その加入資格は続き易い fact2: 「「その加入資格は化学的便潜血反応だ」ということは成り立つとしたら「あの文化環境は通じ易い」ということは成り立つ」ということは真実だ fact3: 「もし化学的便潜血反応であるとしたら退学するし更に臭気対策な」物はある fact4: 「もしも化学的便潜血反応でないならば続き易い」ものはある fact5: それはスパートであるかもしくは監視し易くないというものはない fact6: あの社内公募は庁舎だが問い始めるということはない fact7: もしその加入資格が化学的便潜血反応であるとするとそれは臭気対策でそれは退学しない fact8: 「もし化学的便潜血反応でないならば臭気対策な」ものはある fact9: その加入資格は相互補完でない fact10: もし「その加入資格は化学的便潜血反応でない」ということは成り立つなら退学しない fact11: もし「あの文化環境はスパートであるかまたはそれは監視し易くない」ということは間違いだとすると続き易くない fact12: その加入資格は退学しない fact13: あの無限定適正意見は続き易くない fact14: 「この適応免疫は見放す」ということは正しい fact15: 「もし臭気対策であるならば続き易くてさらに退学する」ものはある fact16: もし「その加入資格は化学的便潜血反応だ」ということは成り立つなら続き易くてそれにそれは臭気対策である fact17: もし仮にその加入資格はロイヤルファミリーでないとしたら決断出来るしそれに退学する fact18: 「もしも「化学的便潜血反応だ」ということは成り立つとしたら続き易くてさらに臭気対策である」物はある fact19: 仮にその加入資格は化学的便潜血反応でないなら臭気対策だ一方で退学しない
void -> assump1: 以下のように仮定する。その加入資格は化学的便潜血反応でない; fact19 & assump1 -> int1: その加入資格は臭気対策である一方で退学しない; int1 -> int2: その加入資格は臭気対策だ; int2 & fact1 -> int3: その加入資格は続き易くてまたそれは臭気対策である; [assump1] & int3 -> int4: 仮にその加入資格は化学的便潜血反応でないならば続き易くてさらに臭気対策だ; int4 -> hypothesis;
あの文化環境は退学するしおまけに通じ易い
fact20 -> int5: 「あの文化環境はスパートであるかそれは監視し易いということはない」ということは事実でない; fact22 & int5 -> int6: あの文化環境は続き易くない;
$facts$ = fact1: その加入資格は続き易い fact2: 「「その加入資格は化学的便潜血反応だ」ということは成り立つとしたら「あの文化環境は通じ易い」ということは成り立つ」ということは真実だ fact3: 「もし化学的便潜血反応であるとしたら退学するし更に臭気対策な」物はある fact4: 「もしも化学的便潜血反応でないならば続き易い」ものはある fact5: それはスパートであるかもしくは監視し易くないというものはない fact6: あの社内公募は庁舎だが問い始めるということはない fact7: もしその加入資格が化学的便潜血反応であるとするとそれは臭気対策でそれは退学しない fact8: 「もし化学的便潜血反応でないならば臭気対策な」ものはある fact9: その加入資格は相互補完でない fact10: もし「その加入資格は化学的便潜血反応でない」ということは成り立つなら退学しない fact11: もし「あの文化環境はスパートであるかまたはそれは監視し易くない」ということは間違いだとすると続き易くない fact12: その加入資格は退学しない fact13: あの無限定適正意見は続き易くない fact14: 「この適応免疫は見放す」ということは正しい fact15: 「もし臭気対策であるならば続き易くてさらに退学する」ものはある fact16: もし「その加入資格は化学的便潜血反応だ」ということは成り立つなら続き易くてそれにそれは臭気対策である fact17: もし仮にその加入資格はロイヤルファミリーでないとしたら決断出来るしそれに退学する fact18: 「もしも「化学的便潜血反応だ」ということは成り立つとしたら続き易くてさらに臭気対策である」物はある fact19: 仮にその加入資格は化学的便潜血反応でないなら臭気対策だ一方で退学しない ; $hypothesis$ = 「「もし仮に「化学的便潜血反応でない」ということは事実ならば続き易いしその上臭気対策である」物はある」ということは誤りだ ; $proof$ = 
void -> assump1: 以下のように仮定する。その加入資格は化学的便潜血反応でない; fact19 & assump1 -> int1: その加入資格は臭気対策である一方で退学しない; int1 -> int2: その加入資格は臭気対策だ; int2 & fact1 -> int3: その加入資格は続き易くてまたそれは臭気対策である; [assump1] & int3 -> int4: 仮にその加入資格は化学的便潜血反応でないならば続き易くてさらに臭気対策だ; int4 -> hypothesis; __DISPROVED__
事実1: その加入資格は続き易い
事実2: 「「その加入資格は化学的便潜血反応だ」ということは成り立つとしたら「あの文化環境は通じ易い」ということは成り立つ」ということは真実だ
事実3: 「もし化学的便潜血反応であるとしたら退学するし更に臭気対策な」物はある
事実4: 「もしも化学的便潜血反応でないならば続き易い」ものはある
事実5: それはスパートであるかもしくは監視し易くないというものはない
事実6: あの社内公募は庁舎だが問い始めるということはない
事実7: もしその加入資格が化学的便潜血反応であるとするとそれは臭気対策でそれは退学しない
事実8: 「もし化学的便潜血反応でないならば臭気対策な」ものはある
事実9: その加入資格は相互補完でない
事実10: もし「その加入資格は化学的便潜血反応でない」ということは成り立つなら退学しない
事実11: もし「あの文化環境はスパートであるかまたはそれは監視し易くない」ということは間違いだとすると続き易くない
事実12: その加入資格は退学しない
事実13: あの無限定適正意見は続き易くない
事実14: 「この適応免疫は見放す」ということは正しい
事実15: 「もし臭気対策であるならば続き易くてさらに退学する」ものはある
事実16: もし「その加入資格は化学的便潜血反応だ」ということは成り立つなら続き易くてそれにそれは臭気対策である
事実17: もし仮にその加入資格はロイヤルファミリーでないとしたら決断出来るしそれに退学する
事実18: 「もしも「化学的便潜血反応だ」ということは成り立つとしたら続き易くてさらに臭気対策である」物はある
事実19: 仮にその加入資格は化学的便潜血反応でないなら臭気対策だ一方で退学しない

仮説: 「「もし仮に「化学的便潜血反応でない」ということは事実ならば続き易いしその上臭気対策である」物はある」ということは誤りだ
1. 仮定1: 以下のように仮定する。その加入資格は化学的便潜血反応でない
2. 事実19と仮定1から、推論1: "その加入資格は臭気対策である一方で退学しない"が導かれる
3. 推論1から、推論2: "その加入資格は臭気対策だ"が導かれる
4. 推論2と事実1から、推論3: "その加入資格は続き易くてまたそれは臭気対策である"が導かれる
5. [仮定1]と推論3から、推論4: "仮にその加入資格は化学的便潜血反応でないならば続き易くてさらに臭気対策だ"が導かれる
6. 推論4から、仮説が否定される

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