「この意味グラントは様良しかもしくは諦めるかまたは両方である」ということは成り立たない
fact1: 仮にある物がマウントしないとすれば嫉妬深くない fact2: 「押し包まなくておまけに予報円でない」物があればこの企業誘致は零れ出さない fact3: この女性陣がカリスマ的リーダーでないとすれば傷害するということはない fact4: もしあの電気刺激が如才無くて更に大量発生するとすれば「あの製糖業は予報円だということはない」ということは成り立つ fact5: この女性陣はマウントしなくてそれに零れ出すということはない fact6: もし仮にこの企業誘致は零れ出さないなら「この女性陣は嫉妬深いけどマウントするということはない」ということは成り立たない fact7: もし何らかのものはカリスマ的リーダーでないなら「それは様良しかもしくは諦めるかまたは両方ともである」ということは嘘である fact8: もし仮に「何かは挫折するけれどそれは凄いということはない」ということは間違いならばそれは挫折しない fact9: もし仮にこの消臭剤が押し包むけれど経済史でないならあの製糖業は押し包まない fact10: 「この梲は下ろし生姜だ」ということは成り立つとしたら「この消臭剤は挫折するがしかしそれは凄くない」ということは成り立たない fact11: この女性陣は嫉妬深いということはない fact12: もしもこの消臭剤が挫折しないならばそれは押し包むけど経済史でない fact13: そのアーツは諦めない fact14: この女性陣は零れ出さない fact15: 仮にこの女性陣がカリスマ的リーダーであるとすればこの意味グラントは諦める fact16: もしも何かはマウントしないなら「嫉妬深いかまたはそれは傷害しない」ということは間違いである fact17: 「なにかは嫉妬深いけどマウントしない」ということは成り立たないならば嫉妬深くない fact18: この意味グラントは零れ出すかもしくはそれは様良しかどちらもだ fact19: その響きは諦める fact20: あの電気刺激は如才無いしかつ大量発生する fact21: もしもこの女性陣はマウントするということはないとすれば「嫉妬深くない」ということは正しい fact22: この梲は下ろし生姜だ
void -> assump1: 以下のように仮定する。この女性陣はカリスマ的リーダーでない; fact3 & assump1 -> int1: この女性陣は傷害しない; int1 -> int2: この女性陣は嫉妬深いかあるいは傷害しないか両方だ; fact5 -> int3: この女性陣はマウントしない; fact16 -> int4: もし仮にこの女性陣はマウントしないとすれば「嫉妬深いかもしくは傷害しないかあるいはどちらもである」ということは事実と異なる; int3 & int4 -> int5: 「この女性陣は嫉妬深いかまたはそれは傷害するということはないかどちらもだ」ということは成り立たない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この女性陣はカリスマ的リーダーだ; int7 & fact15 -> int8: この意味グラントは諦める; int8 -> hypothesis;
「この意味グラントは様良しかそれは諦めるかあるいは両方ともだ」ということは事実と異なる
fact27 -> int9: この意味グラントはカリスマ的リーダーであるということはないとしたら「様良しか諦める」ということは偽だ; fact24 -> int10: 仮に「この女性陣は嫉妬深いけれどそれはマウントしない」ということは嘘であるとしたら嫉妬深くない; fact29 -> int11: 仮に「この消臭剤は挫折するけれど凄くない」ということは事実と異なれば挫折しない; fact25 & fact28 -> int12: 「この消臭剤は挫折する一方で凄くない」ということは成り立つということはない; int11 & int12 -> int13: 「この消臭剤は挫折する」ということは成り立つということはない; fact26 & int13 -> int14: この消臭剤は押し包むがしかし経済史でない; fact23 & int14 -> int15: あの製糖業は押し包まない; fact32 & fact33 -> int16: あの製糖業は予報円でない; int15 & int16 -> int17: あの製糖業は押し包まなくてそれにそれは予報円でない; int17 -> int18: 「押し包まなくて予報円でない」物はある; int18 & fact30 -> int19: この企業誘致は零れ出すということはない; fact31 & int19 -> int20: 「この女性陣は嫉妬深いがマウントしない」ということは誤っている; int10 & int20 -> int21: この女性陣は嫉妬深いということはない; int21 -> int22: 「嫉妬深くない」物はある;
$facts$ = fact1: 仮にある物がマウントしないとすれば嫉妬深くない fact2: 「押し包まなくておまけに予報円でない」物があればこの企業誘致は零れ出さない fact3: この女性陣がカリスマ的リーダーでないとすれば傷害するということはない fact4: もしあの電気刺激が如才無くて更に大量発生するとすれば「あの製糖業は予報円だということはない」ということは成り立つ fact5: この女性陣はマウントしなくてそれに零れ出すということはない fact6: もし仮にこの企業誘致は零れ出さないなら「この女性陣は嫉妬深いけどマウントするということはない」ということは成り立たない fact7: もし何らかのものはカリスマ的リーダーでないなら「それは様良しかもしくは諦めるかまたは両方ともである」ということは嘘である fact8: もし仮に「何かは挫折するけれどそれは凄いということはない」ということは間違いならばそれは挫折しない fact9: もし仮にこの消臭剤が押し包むけれど経済史でないならあの製糖業は押し包まない fact10: 「この梲は下ろし生姜だ」ということは成り立つとしたら「この消臭剤は挫折するがしかしそれは凄くない」ということは成り立たない fact11: この女性陣は嫉妬深いということはない fact12: もしもこの消臭剤が挫折しないならばそれは押し包むけど経済史でない fact13: そのアーツは諦めない fact14: この女性陣は零れ出さない fact15: 仮にこの女性陣がカリスマ的リーダーであるとすればこの意味グラントは諦める fact16: もしも何かはマウントしないなら「嫉妬深いかまたはそれは傷害しない」ということは間違いである fact17: 「なにかは嫉妬深いけどマウントしない」ということは成り立たないならば嫉妬深くない fact18: この意味グラントは零れ出すかもしくはそれは様良しかどちらもだ fact19: その響きは諦める fact20: あの電気刺激は如才無いしかつ大量発生する fact21: もしもこの女性陣はマウントするということはないとすれば「嫉妬深くない」ということは正しい fact22: この梲は下ろし生姜だ ; $hypothesis$ = 「この意味グラントは様良しかもしくは諦めるかまたは両方である」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この女性陣はカリスマ的リーダーでない; fact3 & assump1 -> int1: この女性陣は傷害しない; int1 -> int2: この女性陣は嫉妬深いかあるいは傷害しないか両方だ; fact5 -> int3: この女性陣はマウントしない; fact16 -> int4: もし仮にこの女性陣はマウントしないとすれば「嫉妬深いかもしくは傷害しないかあるいはどちらもである」ということは事実と異なる; int3 & int4 -> int5: 「この女性陣は嫉妬深いかまたはそれは傷害するということはないかどちらもだ」ということは成り立たない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この女性陣はカリスマ的リーダーだ; int7 & fact15 -> int8: この意味グラントは諦める; int8 -> hypothesis; __DISPROVED__
事実1: 仮にある物がマウントしないとすれば嫉妬深くない
事実2: 「押し包まなくておまけに予報円でない」物があればこの企業誘致は零れ出さない
事実3: この女性陣がカリスマ的リーダーでないとすれば傷害するということはない
事実4: もしあの電気刺激が如才無くて更に大量発生するとすれば「あの製糖業は予報円だということはない」ということは成り立つ
事実5: この女性陣はマウントしなくてそれに零れ出すということはない
事実6: もし仮にこの企業誘致は零れ出さないなら「この女性陣は嫉妬深いけどマウントするということはない」ということは成り立たない
事実7: もし何らかのものはカリスマ的リーダーでないなら「それは様良しかもしくは諦めるかまたは両方ともである」ということは嘘である
事実8: もし仮に「何かは挫折するけれどそれは凄いということはない」ということは間違いならばそれは挫折しない
事実9: もし仮にこの消臭剤が押し包むけれど経済史でないならあの製糖業は押し包まない
事実10: 「この梲は下ろし生姜だ」ということは成り立つとしたら「この消臭剤は挫折するがしかしそれは凄くない」ということは成り立たない
事実11: この女性陣は嫉妬深いということはない
事実12: もしもこの消臭剤が挫折しないならばそれは押し包むけど経済史でない
事実13: そのアーツは諦めない
事実14: この女性陣は零れ出さない
事実15: 仮にこの女性陣がカリスマ的リーダーであるとすればこの意味グラントは諦める
事実16: もしも何かはマウントしないなら「嫉妬深いかまたはそれは傷害しない」ということは間違いである
事実17: 「なにかは嫉妬深いけどマウントしない」ということは成り立たないならば嫉妬深くない
事実18: この意味グラントは零れ出すかもしくはそれは様良しかどちらもだ
事実19: その響きは諦める
事実20: あの電気刺激は如才無いしかつ大量発生する
事実21: もしもこの女性陣はマウントするということはないとすれば「嫉妬深くない」ということは正しい
事実22: この梲は下ろし生姜だ

仮説: 「この意味グラントは様良しかもしくは諦めるかまたは両方である」ということは成り立たない
1. 仮定1: 以下のように仮定する。この女性陣はカリスマ的リーダーでない
2. 事実3と仮定1から、推論1: "この女性陣は傷害しない"が導かれる
3. 推論1から、推論2: "この女性陣は嫉妬深いかあるいは傷害しないか両方だ"が導かれる
4. 事実5から、推論3: "この女性陣はマウントしない"が導かれる
5. 事実16から、推論4: "もし仮にこの女性陣はマウントしないとすれば「嫉妬深いかもしくは傷害しないかあるいはどちらもである」ということは事実と異なる"が導かれる
6. 推論3と推論4から、推論5: "「この女性陣は嫉妬深いかまたはそれは傷害するということはないかどちらもだ」ということは成り立たない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この女性陣はカリスマ的リーダーだ"が導かれる
9. 推論7と事実15から、推論8: "この意味グラントは諦める"が導かれる
10. 推論8から、仮説が否定される

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