「仮にあの各界が愛らしいならこのカスタムテキストは意業であるということはなくて宜しない」ということは成り立たない
fact1: 「意業である」物はある fact2: もしあの各界が愛らしいとするとこのカスタムテキストは宜しない fact3: 「どぎつい」ものはある fact4: なにかは張り付ける fact5: もし仮に何かは代打であるかまたは愛らしいなら「この好中球は宜しない」ということは確かだ fact6: この好中球は意業だ fact7: 「万歳する」ものはある fact8: もしもこの好中球が宜しないとしたらこのカスタムテキストは宜しない fact9: もし仮に「宜しかあるいは代打であるかまたは両方である」ものがあるとするとこのカスタムテキストは愛らしくない fact10: 「宜し」物はある fact11: この好中球は男の子らしくないししかも代打でない fact12: なにがしかのものは代打だ fact13: もし仮にこの好中球が宜しということはないとするとこのカスタムテキストは意業でないし宜しない fact14: あの各界は代打だ fact15: もし仮にあの各界が宜しとしたらこの好中球は愛らしくないししかもそれは代打でない fact16: もしもあの各界が愛らしいとするとこのカスタムテキストは宜しないしかつ代打でない fact17: 「代打であるかもしくは宜し」ものはある fact18: あの各界は斬首する fact19: あの各界が意業であるとするとこのカスタムテキストは代打でないしそれに愛らしくない
void -> assump1: 以下のように仮定する。あの各界は愛らしい; assump1 -> int1: あの各界は代打であるか愛らしい; int1 -> int2: 何かは代打であるかそれは愛らしい; int2 & fact5 -> int3: 「この好中球は宜しない」ということは成り立つ; int3 & fact13 -> int4: このカスタムテキストは意業でなくてその上宜しない; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 「意業である」物はある fact2: もしあの各界が愛らしいとするとこのカスタムテキストは宜しない fact3: 「どぎつい」ものはある fact4: なにかは張り付ける fact5: もし仮に何かは代打であるかまたは愛らしいなら「この好中球は宜しない」ということは確かだ fact6: この好中球は意業だ fact7: 「万歳する」ものはある fact8: もしもこの好中球が宜しないとしたらこのカスタムテキストは宜しない fact9: もし仮に「宜しかあるいは代打であるかまたは両方である」ものがあるとするとこのカスタムテキストは愛らしくない fact10: 「宜し」物はある fact11: この好中球は男の子らしくないししかも代打でない fact12: なにがしかのものは代打だ fact13: もし仮にこの好中球が宜しということはないとするとこのカスタムテキストは意業でないし宜しない fact14: あの各界は代打だ fact15: もし仮にあの各界が宜しとしたらこの好中球は愛らしくないししかもそれは代打でない fact16: もしもあの各界が愛らしいとするとこのカスタムテキストは宜しないしかつ代打でない fact17: 「代打であるかもしくは宜し」ものはある fact18: あの各界は斬首する fact19: あの各界が意業であるとするとこのカスタムテキストは代打でないしそれに愛らしくない ; $hypothesis$ = 「仮にあの各界が愛らしいならこのカスタムテキストは意業であるということはなくて宜しない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの各界は愛らしい; assump1 -> int1: あの各界は代打であるか愛らしい; int1 -> int2: 何かは代打であるかそれは愛らしい; int2 & fact5 -> int3: 「この好中球は宜しない」ということは成り立つ; int3 & fact13 -> int4: このカスタムテキストは意業でなくてその上宜しない; [assump1] & 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. 仮定1から、推論1: "あの各界は代打であるか愛らしい"が導かれる
3. 推論1から、推論2: "何かは代打であるかそれは愛らしい"が導かれる
4. 推論2と事実5から、推論3: "「この好中球は宜しない」ということは成り立つ"が導かれる
5. 推論3と事実13から、推論4: "このカスタムテキストは意業でなくてその上宜しない"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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