「この育児休暇は著しかないがしかし図々しい」ということは嘘だ
fact1: 何らかの物がトレンドならばそれは轟き渡る fact2: もしもこの育児休暇は轟き渡るなら「あの粽は咲かさないけど轟き渡る」ということは成り立つ fact3: あの粽は轟き渡るということはないとすれば「この育児休暇は著しかないがそれは図々しい」ということは誤りだ fact4: もしなんらかの物は著しいとすると「図々しかないが轟き渡る」ということは間違っている fact5: この育児休暇は甘え声でない一方で御見せする fact6: この補色は考え難くないけれど聞き易い fact7: この育児休暇は著しかない fact8: 「絶え間無い」物はある fact9: もし何かは商品分野であるとしたら「それはトレンドでないしそれは轟き渡る」ということは偽だ fact10: 「この育児休暇は著しくて更に図々しい」ということは間違っている fact11: もし仮に「なにがしかの物は東松浦半島一帯だ」ということは確かであるとすれば「それは咲かすということはないしそれに轟き渡る」ということは成り立たない fact12: 仮にこの育児休暇が著しいとするとそれはトレンドだ fact13: あの粽は商品分野であるしその上東松浦半島一帯である fact14: 仮に「この育児休暇は著しいということはないがしかし図々しい」ということは間違いだとするとそれはトレンドだ fact15: 「あの粽は轟き渡る」ということは真実である fact16: もし仮に「絶え間無い」ものがあるとすればこの路頭は担保であるかまたは商品分野であるかあるいは両方だ fact17: 「この育児休暇は著しかないけど東松浦半島一帯だ」ということは成り立たない fact18: 「あの粽は商品分野だ」ということは成り立つ fact19: もし仮にこの育児休暇が轟き渡るならばあの粽は轟き渡る
void -> assump1: 以下のように仮定する。「この育児休暇は著しかないけどそれは図々しい」ということは事実と異なる; fact14 & assump1 -> int1: この育児休暇はトレンドだ; fact1 -> int2: もしもこの育児休暇はトレンドであるならそれは轟き渡る; int1 & int2 -> int3: この育児休暇は轟き渡る; int3 & fact2 -> int4: あの粽は咲かすということはないがしかし轟き渡る; fact11 -> int5: あの粽は東松浦半島一帯だとすれば「咲かさないし更に轟き渡る」ということは成り立たない; fact13 -> int6: あの粽は東松浦半島一帯である; int5 & int6 -> int7: 「あの粽は咲かさないがしかし轟き渡る」ということは成り立つということはない; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
「この育児休暇は著しいということはないがそれは図々しい」ということは成り立たない
fact22 & fact21 -> int9: この路頭は担保であるか商品分野である;
$facts$ = fact1: 何らかの物がトレンドならばそれは轟き渡る fact2: もしもこの育児休暇は轟き渡るなら「あの粽は咲かさないけど轟き渡る」ということは成り立つ fact3: あの粽は轟き渡るということはないとすれば「この育児休暇は著しかないがそれは図々しい」ということは誤りだ fact4: もしなんらかの物は著しいとすると「図々しかないが轟き渡る」ということは間違っている fact5: この育児休暇は甘え声でない一方で御見せする fact6: この補色は考え難くないけれど聞き易い fact7: この育児休暇は著しかない fact8: 「絶え間無い」物はある fact9: もし何かは商品分野であるとしたら「それはトレンドでないしそれは轟き渡る」ということは偽だ fact10: 「この育児休暇は著しくて更に図々しい」ということは間違っている fact11: もし仮に「なにがしかの物は東松浦半島一帯だ」ということは確かであるとすれば「それは咲かすということはないしそれに轟き渡る」ということは成り立たない fact12: 仮にこの育児休暇が著しいとするとそれはトレンドだ fact13: あの粽は商品分野であるしその上東松浦半島一帯である fact14: 仮に「この育児休暇は著しいということはないがしかし図々しい」ということは間違いだとするとそれはトレンドだ fact15: 「あの粽は轟き渡る」ということは真実である fact16: もし仮に「絶え間無い」ものがあるとすればこの路頭は担保であるかまたは商品分野であるかあるいは両方だ fact17: 「この育児休暇は著しかないけど東松浦半島一帯だ」ということは成り立たない fact18: 「あの粽は商品分野だ」ということは成り立つ fact19: もし仮にこの育児休暇が轟き渡るならばあの粽は轟き渡る ; $hypothesis$ = 「この育児休暇は著しかないがしかし図々しい」ということは嘘だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「この育児休暇は著しかないけどそれは図々しい」ということは事実と異なる; fact14 & assump1 -> int1: この育児休暇はトレンドだ; fact1 -> int2: もしもこの育児休暇はトレンドであるならそれは轟き渡る; int1 & int2 -> int3: この育児休暇は轟き渡る; int3 & fact2 -> int4: あの粽は咲かすということはないがしかし轟き渡る; fact11 -> int5: あの粽は東松浦半島一帯だとすれば「咲かさないし更に轟き渡る」ということは成り立たない; fact13 -> int6: あの粽は東松浦半島一帯である; int5 & int6 -> int7: 「あの粽は咲かさないがしかし轟き渡る」ということは成り立つということはない; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: 何らかの物がトレンドならばそれは轟き渡る
事実2: もしもこの育児休暇は轟き渡るなら「あの粽は咲かさないけど轟き渡る」ということは成り立つ
事実3: あの粽は轟き渡るということはないとすれば「この育児休暇は著しかないがそれは図々しい」ということは誤りだ
事実4: もしなんらかの物は著しいとすると「図々しかないが轟き渡る」ということは間違っている
事実5: この育児休暇は甘え声でない一方で御見せする
事実6: この補色は考え難くないけれど聞き易い
事実7: この育児休暇は著しかない
事実8: 「絶え間無い」物はある
事実9: もし何かは商品分野であるとしたら「それはトレンドでないしそれは轟き渡る」ということは偽だ
事実10: 「この育児休暇は著しくて更に図々しい」ということは間違っている
事実11: もし仮に「なにがしかの物は東松浦半島一帯だ」ということは確かであるとすれば「それは咲かすということはないしそれに轟き渡る」ということは成り立たない
事実12: 仮にこの育児休暇が著しいとするとそれはトレンドだ
事実13: あの粽は商品分野であるしその上東松浦半島一帯である
事実14: 仮に「この育児休暇は著しいということはないがしかし図々しい」ということは間違いだとするとそれはトレンドだ
事実15: 「あの粽は轟き渡る」ということは真実である
事実16: もし仮に「絶え間無い」ものがあるとすればこの路頭は担保であるかまたは商品分野であるかあるいは両方だ
事実17: 「この育児休暇は著しかないけど東松浦半島一帯だ」ということは成り立たない
事実18: 「あの粽は商品分野だ」ということは成り立つ
事実19: もし仮にこの育児休暇が轟き渡るならばあの粽は轟き渡る

仮説: 「この育児休暇は著しかないがしかし図々しい」ということは嘘だ
1. 仮定1: 以下のように仮定する。「この育児休暇は著しかないけどそれは図々しい」ということは事実と異なる
2. 事実14と仮定1から、推論1: "この育児休暇はトレンドだ"が導かれる
3. 事実1から、推論2: "もしもこの育児休暇はトレンドであるならそれは轟き渡る"が導かれる
4. 推論1と推論2から、推論3: "この育児休暇は轟き渡る"が導かれる
5. 推論3と事実2から、推論4: "あの粽は咲かすということはないがしかし轟き渡る"が導かれる
6. 事実11から、推論5: "あの粽は東松浦半島一帯だとすれば「咲かさないし更に轟き渡る」ということは成り立たない"が導かれる
7. 事実13から、推論6: "あの粽は東松浦半島一帯である"が導かれる
8. 推論5と推論6から、推論7: "「あの粽は咲かさないがしかし轟き渡る」ということは成り立つということはない"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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