「あのＳＷＡＴは慕わしくなくて萌え出ずない」ということは嘘である
fact1: もしも「その設立後はドキソルビシンだしソーラーカーだ」ということは成り立たないとすると慕わしくない fact2: 「もし仮にその設立後が慕わしいということはないとするとあのＳＷＡＴは萌え出ずということはない」ということは成り立つ fact3: もしなにかは両団子釣りでないとすると「慕わしくないし萌え出ずない」ということは本当でない fact4: その設立後は萌え出ずない fact5: あのＳＷＡＴは萌え出ずない fact6: 図り難いものは被害だ fact7: あの法網はソーラーカーだということはない fact8: その社会一般はフィルム・シートでなくてそれは戻り始めない fact9: その設立後は好色だということはない fact10: 仮にその設立後が慕わしくないならあのＳＷＡＴは慕わしくないしそれに萌え出ずということはない fact11: 仮にその設立後がソーラーカーでないならあのＳＷＡＴはソーラーカーでない fact12: もし仮に「ソーラーカーでない」物はあるとすると「あのＳＷＡＴが慕わしいしその上ドキソルビシンである」ということは誤りだ fact13: 「「両団子釣りである」ということは本当である」物はある fact14: その設立後がドキソルビシンでないとしたらあのＳＷＡＴはドキソルビシンだということはないし萌え出ずない fact15: 「もしその設立後は両団子釣りであるということはないとすれば「あのＳＷＡＴは慕わしくなくてかつ萌え出ずない」ということは誤っている」ということは成り立つ fact16: もしその設立後は両団子釣りで萌え出ずなら「その掲揚は萌え出ず」ということは誤りである fact17: 「両団子釣りでない」物はある fact18: 被害はソーラーカーでないかあるいはドキソルビシンでないかまたはどちらもだ fact19: もしその設立後が冗談ぽいとすれば図り難い fact20: もし「何らかの物は貰い泣きするしドキソルビシンである」ということは事実と異なるなら貰い泣きしない fact21: 仮に「その設立後はソーラーカーでない」ということは事実であるとしたらそれは慕わしくない fact22: 「ドキソルビシンな」物はある fact23: 仮にとある物は両団子釣りだということはないとすれば「その設立後はドキソルビシンであるしソーラーカーである」ということは間違いだ
fact17 & fact23 -> int1: 「その設立後はドキソルビシンであるしソーラーカーだ」ということは成り立たない; int1 & fact1 -> int2: その設立後は慕わしくない; int2 & fact10 -> hypothesis;
「「あのＳＷＡＴは慕わしくなくて萌え出ずない」ということは成り立たない」ということは正しい
fact24 -> int3: もしもあのＳＷＡＴは両団子釣りであるということはないとすると「慕わしくないし更にそれは萌え出ずない」ということは嘘である;
$facts$ = fact1: もしも「その設立後はドキソルビシンだしソーラーカーだ」ということは成り立たないとすると慕わしくない fact2: 「もし仮にその設立後が慕わしいということはないとするとあのＳＷＡＴは萌え出ずということはない」ということは成り立つ fact3: もしなにかは両団子釣りでないとすると「慕わしくないし萌え出ずない」ということは本当でない fact4: その設立後は萌え出ずない fact5: あのＳＷＡＴは萌え出ずない fact6: 図り難いものは被害だ fact7: あの法網はソーラーカーだということはない fact8: その社会一般はフィルム・シートでなくてそれは戻り始めない fact9: その設立後は好色だということはない fact10: 仮にその設立後が慕わしくないならあのＳＷＡＴは慕わしくないしそれに萌え出ずということはない fact11: 仮にその設立後がソーラーカーでないならあのＳＷＡＴはソーラーカーでない fact12: もし仮に「ソーラーカーでない」物はあるとすると「あのＳＷＡＴが慕わしいしその上ドキソルビシンである」ということは誤りだ fact13: 「「両団子釣りである」ということは本当である」物はある fact14: その設立後がドキソルビシンでないとしたらあのＳＷＡＴはドキソルビシンだということはないし萌え出ずない fact15: 「もしその設立後は両団子釣りであるということはないとすれば「あのＳＷＡＴは慕わしくなくてかつ萌え出ずない」ということは誤っている」ということは成り立つ fact16: もしその設立後は両団子釣りで萌え出ずなら「その掲揚は萌え出ず」ということは誤りである fact17: 「両団子釣りでない」物はある fact18: 被害はソーラーカーでないかあるいはドキソルビシンでないかまたはどちらもだ fact19: もしその設立後が冗談ぽいとすれば図り難い fact20: もし「何らかの物は貰い泣きするしドキソルビシンである」ということは事実と異なるなら貰い泣きしない fact21: 仮に「その設立後はソーラーカーでない」ということは事実であるとしたらそれは慕わしくない fact22: 「ドキソルビシンな」物はある fact23: 仮にとある物は両団子釣りだということはないとすれば「その設立後はドキソルビシンであるしソーラーカーである」ということは間違いだ ; $hypothesis$ = 「あのＳＷＡＴは慕わしくなくて萌え出ずない」ということは嘘である ; $proof$ = 
fact17 & fact23 -> int1: 「その設立後はドキソルビシンであるしソーラーカーだ」ということは成り立たない; int1 & fact1 -> int2: その設立後は慕わしくない; int2 & fact10 -> hypothesis; __DISPROVED__
事実1: もしも「その設立後はドキソルビシンだしソーラーカーだ」ということは成り立たないとすると慕わしくない
事実2: 「もし仮にその設立後が慕わしいということはないとするとあのＳＷＡＴは萌え出ずということはない」ということは成り立つ
事実3: もしなにかは両団子釣りでないとすると「慕わしくないし萌え出ずない」ということは本当でない
事実4: その設立後は萌え出ずない
事実5: あのＳＷＡＴは萌え出ずない
事実6: 図り難いものは被害だ
事実7: あの法網はソーラーカーだということはない
事実8: その社会一般はフィルム・シートでなくてそれは戻り始めない
事実9: その設立後は好色だということはない
事実10: 仮にその設立後が慕わしくないならあのＳＷＡＴは慕わしくないしそれに萌え出ずということはない
事実11: 仮にその設立後がソーラーカーでないならあのＳＷＡＴはソーラーカーでない
事実12: もし仮に「ソーラーカーでない」物はあるとすると「あのＳＷＡＴが慕わしいしその上ドキソルビシンである」ということは誤りだ
事実13: 「「両団子釣りである」ということは本当である」物はある
事実14: その設立後がドキソルビシンでないとしたらあのＳＷＡＴはドキソルビシンだということはないし萌え出ずない
事実15: 「もしその設立後は両団子釣りであるということはないとすれば「あのＳＷＡＴは慕わしくなくてかつ萌え出ずない」ということは誤っている」ということは成り立つ
事実16: もしその設立後は両団子釣りで萌え出ずなら「その掲揚は萌え出ず」ということは誤りである
事実17: 「両団子釣りでない」物はある
事実18: 被害はソーラーカーでないかあるいはドキソルビシンでないかまたはどちらもだ
事実19: もしその設立後が冗談ぽいとすれば図り難い
事実20: もし「何らかの物は貰い泣きするしドキソルビシンである」ということは事実と異なるなら貰い泣きしない
事実21: 仮に「その設立後はソーラーカーでない」ということは事実であるとしたらそれは慕わしくない
事実22: 「ドキソルビシンな」物はある
事実23: 仮にとある物は両団子釣りだということはないとすれば「その設立後はドキソルビシンであるしソーラーカーである」ということは間違いだ

仮説: 「あのＳＷＡＴは慕わしくなくて萌え出ずない」ということは嘘である
1. 事実17と事実23から、推論1: "「その設立後はドキソルビシンであるしソーラーカーだ」ということは成り立たない"が導かれる
2. 推論1と事実1から、推論2: "その設立後は慕わしくない"が導かれる
3. 推論2と事実10から、仮説が否定される

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