「あの形相は少女漫画だがしかし入籍しない」ということは成り立たない
fact1: 「あの狼藉はウッドペッカー事件である」ということは事実ならば嫉妬深いということはない fact2: あの形相は納得し難いということはない fact3: 仮にとあるものは嫉妬深いなら「少女漫画だが入籍しない」ということは偽だ fact4: あの形相は食料事情だということはない fact5: 仮に「あの狼藉は退避する一方でウッドペッカー事件でない」ということは間違いなら「それは嫉妬深くない」ということは成り立つ fact6: 仮にあの狼藉が退避するがウッドペッカー事件でないとすればこの釣り用は御姉ちゃんだということはない fact7: もしもあの狼藉が退避する一方で納得し難くないならその取り柄は少女漫画でない fact8: もしあの形相はウッドペッカー事件であるならばそれは少女漫画でない fact9: この釣り用は少女漫画だがそれは確認し合わない fact10: この釣り用は御姉ちゃんだ fact11: その取り柄は草莽であるけれど辛気臭くない fact12: その市史は入籍しない fact13: 「この釣り用は相接触するがしかし少女漫画でない」ということは間違いだ fact14: もし仮に「この釣り用は致すけれどそれは納得し難くない」ということは誤りであるならばあの狼藉は納得し難くない fact15: あの形相は入籍しない fact16: 「その取り柄は入籍するけれど納得し難くない」ということは誤っている fact17: 「あの狼藉は退避するししかもそれはウッドペッカー事件である」ということは間違っている fact18: あの狼藉は御姉ちゃんである一方でウッドペッカー事件でない fact19: 仮にあの狼藉が嫉妬深くないならばその取り柄は納得し難い fact20: その取り柄が納得し難いならばあの形相は少女漫画だ fact21: なにかは行き給うとすれば「致すししかもそれは納得し難くない」ということは誤りである fact22: この部族政府は納得し難い fact23: もし仮にあの狼藉が納得し難くないとするとあの形相は御姉ちゃんであるしかつそれは嫉妬深い
void -> assump1: 以下のように仮定する。あの狼藉は退避する一方でウッドペッカー事件でない; fact6 & assump1 -> int1: この釣り用は御姉ちゃんでない; int1 & fact10 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの狼藉は退避する一方でウッドペッカー事件であるということはない」ということは成り立たない; int3 & fact5 -> int4: あの狼藉は嫉妬深くない; int4 & fact19 -> int5: その取り柄は納得し難い; int5 & fact20 -> int6: あの形相は少女漫画だ; int6 & fact15 -> hypothesis;
「あの形相は少女漫画である一方でそれは入籍しない」ということは成り立つということはない
fact26 -> int7: 仮にあの形相は嫉妬深いとすれば「それは少女漫画であるが入籍するということはない」ということは嘘だ; fact27 -> int8: この釣り用は行き給うとしたら「それは致すしそれは納得し難くない」ということは偽だ;
$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$ = 
void -> assump1: 以下のように仮定する。あの狼藉は退避する一方でウッドペッカー事件でない; fact6 & assump1 -> int1: この釣り用は御姉ちゃんでない; int1 & fact10 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの狼藉は退避する一方でウッドペッカー事件であるということはない」ということは成り立たない; int3 & fact5 -> int4: あの狼藉は嫉妬深くない; int4 & fact19 -> int5: その取り柄は納得し難い; int5 & fact20 -> int6: あの形相は少女漫画だ; int6 & fact15 -> 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. 仮定1: 以下のように仮定する。あの狼藉は退避する一方でウッドペッカー事件でない
2. 事実6と仮定1から、推論1: "この釣り用は御姉ちゃんでない"が導かれる
3. 推論1と事実10から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「あの狼藉は退避する一方でウッドペッカー事件であるということはない」ということは成り立たない"が導かれる
5. 推論3と事実5から、推論4: "あの狼藉は嫉妬深くない"が導かれる
6. 推論4と事実19から、推論5: "その取り柄は納得し難い"が導かれる
7. 推論5と事実20から、推論6: "あの形相は少女漫画だ"が導かれる
8. 推論6と事実15から、仮説が否定される

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