「もしこの囀りは代行機関でないなら「この輪投げは口唇期去勢だけれど銘酒でない」ということは誤っていない」ということは正しくない
fact1: もしその第二打席が檐塔であるとすればこの囀りは楽長だ fact2: その第二打席が銘酒でないとするとこの輪投げはけばけばしくない fact3: 仮にこの囀りは代行機関だということはないならば「その第二打席は御町内でなくて加えて労労じない」ということは成り立たない fact4: もし仮に「あるものは口唇期去勢でないが銘酒だ」ということは成り立たないならそれはけばけばしいということはない fact5: 仮にその第二打席が口唇期去勢でないならばあの輪投げは銘酒でない fact6: この囀りは代行機関でないとすると「その第二打席は御町内だがしかし労労じない」ということは真実であるということはない fact7: その第二打席は口唇期去勢でない fact8: もし仮に「何らかの物は御町内であるし代行機関である」ということは間違っているとするとそれは御町内でない fact9: 仮にその第二打席がけばけばしくないならばこの輪投げは口唇期去勢だ一方で銘酒でない fact10: もし何らかのものは楽長ならば「口唇期去勢でなくてそれは銘酒だ」ということは間違っている fact11: 「この囀りは代行機関である」ということは確かなら「その第二打席は御町内でないしそれは労労じない」ということは偽だ fact12: もしも「その第二打席はけばけばしくない」ということは本当であるとすると「この輪投げは銘酒だ」ということは真実であるということはない fact13: もし仮にこの囀りが代行機関だとしたらこの輪投げは口唇期去勢である一方でそれは銘酒でない fact14: もし「その第二打席は御町内でないしまた労労じということはない」ということは誤っているとすればそれはけばけばしくない fact15: 「その第二打席は銘酒でなくて加えてそれはけばけばしくない」ということは成り立たない fact16: 「「その第二打席は御町内でないけれど労労じ」ということは真実である」ということは成り立たない fact17: その第二打席は檐塔であるしかつ東条大将だ fact18: 「その第二打席は御町内であるがそれは労労じない」ということは誤りである
void -> assump1: 以下のように仮定する。この囀りは代行機関でない; fact3 & assump1 -> int1: 「その第二打席は御町内でないし労労じということはない」ということは成り立たない; int1 & fact14 -> int2: その第二打席はけばけばしくない; int2 & fact9 -> int3: この輪投げは口唇期去勢であるけれど銘酒でない; [assump1] & int3 -> hypothesis;
この輪投げは御町内でない
fact22 -> int4: もし「この輪投げは御町内で代行機関だ」ということは真実であるということはないとしたら御町内でない; fact23 -> int5: もし仮に「この囀りは口唇期去勢であるということはない一方で銘酒である」ということは偽ならばそれはけばけばしくない; fact21 -> int6: もし仮にこの囀りは楽長であるとすれば「口唇期去勢でないが銘酒だ」ということは成り立たない; fact19 -> int7: その第二打席は檐塔である; fact20 & int7 -> int8: この囀りは楽長だ; int6 & int8 -> int9: 「この囀りは口唇期去勢でないけどそれは銘酒である」ということは間違いである; int5 & int9 -> int10: この囀りはけばけばしくない; int10 -> int11: けばけばしくないものはある;
$facts$ = fact1: もしその第二打席が檐塔であるとすればこの囀りは楽長だ fact2: その第二打席が銘酒でないとするとこの輪投げはけばけばしくない fact3: 仮にこの囀りは代行機関だということはないならば「その第二打席は御町内でなくて加えて労労じない」ということは成り立たない fact4: もし仮に「あるものは口唇期去勢でないが銘酒だ」ということは成り立たないならそれはけばけばしいということはない fact5: 仮にその第二打席が口唇期去勢でないならばあの輪投げは銘酒でない fact6: この囀りは代行機関でないとすると「その第二打席は御町内だがしかし労労じない」ということは真実であるということはない fact7: その第二打席は口唇期去勢でない fact8: もし仮に「何らかの物は御町内であるし代行機関である」ということは間違っているとするとそれは御町内でない fact9: 仮にその第二打席がけばけばしくないならばこの輪投げは口唇期去勢だ一方で銘酒でない fact10: もし何らかのものは楽長ならば「口唇期去勢でなくてそれは銘酒だ」ということは間違っている fact11: 「この囀りは代行機関である」ということは確かなら「その第二打席は御町内でないしそれは労労じない」ということは偽だ fact12: もしも「その第二打席はけばけばしくない」ということは本当であるとすると「この輪投げは銘酒だ」ということは真実であるということはない fact13: もし仮にこの囀りが代行機関だとしたらこの輪投げは口唇期去勢である一方でそれは銘酒でない fact14: もし「その第二打席は御町内でないしまた労労じということはない」ということは誤っているとすればそれはけばけばしくない fact15: 「その第二打席は銘酒でなくて加えてそれはけばけばしくない」ということは成り立たない fact16: 「「その第二打席は御町内でないけれど労労じ」ということは真実である」ということは成り立たない fact17: その第二打席は檐塔であるしかつ東条大将だ fact18: 「その第二打席は御町内であるがそれは労労じない」ということは誤りである ; $hypothesis$ = 「もしこの囀りは代行機関でないなら「この輪投げは口唇期去勢だけれど銘酒でない」ということは誤っていない」ということは正しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。この囀りは代行機関でない; fact3 & assump1 -> int1: 「その第二打席は御町内でないし労労じということはない」ということは成り立たない; int1 & fact14 -> int2: その第二打席はけばけばしくない; int2 & fact9 -> int3: この輪投げは口唇期去勢であるけれど銘酒でない; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もしその第二打席が檐塔であるとすればこの囀りは楽長だ
事実2: その第二打席が銘酒でないとするとこの輪投げはけばけばしくない
事実3: 仮にこの囀りは代行機関だということはないならば「その第二打席は御町内でなくて加えて労労じない」ということは成り立たない
事実4: もし仮に「あるものは口唇期去勢でないが銘酒だ」ということは成り立たないならそれはけばけばしいということはない
事実5: 仮にその第二打席が口唇期去勢でないならばあの輪投げは銘酒でない
事実6: この囀りは代行機関でないとすると「その第二打席は御町内だがしかし労労じない」ということは真実であるということはない
事実7: その第二打席は口唇期去勢でない
事実8: もし仮に「何らかの物は御町内であるし代行機関である」ということは間違っているとするとそれは御町内でない
事実9: 仮にその第二打席がけばけばしくないならばこの輪投げは口唇期去勢だ一方で銘酒でない
事実10: もし何らかのものは楽長ならば「口唇期去勢でなくてそれは銘酒だ」ということは間違っている
事実11: 「この囀りは代行機関である」ということは確かなら「その第二打席は御町内でないしそれは労労じない」ということは偽だ
事実12: もしも「その第二打席はけばけばしくない」ということは本当であるとすると「この輪投げは銘酒だ」ということは真実であるということはない
事実13: もし仮にこの囀りが代行機関だとしたらこの輪投げは口唇期去勢である一方でそれは銘酒でない
事実14: もし「その第二打席は御町内でないしまた労労じということはない」ということは誤っているとすればそれはけばけばしくない
事実15: 「その第二打席は銘酒でなくて加えてそれはけばけばしくない」ということは成り立たない
事実16: 「「その第二打席は御町内でないけれど労労じ」ということは真実である」ということは成り立たない
事実17: その第二打席は檐塔であるしかつ東条大将だ
事実18: 「その第二打席は御町内であるがそれは労労じない」ということは誤りである

仮説: 「もしこの囀りは代行機関でないなら「この輪投げは口唇期去勢だけれど銘酒でない」ということは誤っていない」ということは正しくない
1. 仮定1: 以下のように仮定する。この囀りは代行機関でない
2. 事実3と仮定1から、推論1: "「その第二打席は御町内でないし労労じということはない」ということは成り立たない"が導かれる
3. 推論1と事実14から、推論2: "その第二打席はけばけばしくない"が導かれる
4. 推論2と事実9から、推論3: "この輪投げは口唇期去勢であるけれど銘酒でない"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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