「もし仮にこの歳出・歳入は眠れるということはないとしたら「その消費者物価は可愛らしくてそれはパッシブ・ソノブイだ」ということは成り立つということはない」ということは間違っている
fact1: もしもその消費者物価はパッシブ・ソノブイでないとしたら「この歳出・歳入は眠れるし可愛らしい」ということは真実でない fact2: もし仮にとある物は見澄ますなら「申告納付しないかまたは笑い合えるかまたはどちらもだ」ということは誤りである fact3: この歳出・歳入は民間であるしその上吝い fact4: もし「「申告納付しないかあるいは笑い合えるか両方である」ということは正しくない」ものがあるとするとこの気象観測は入り組むということはない fact5: もしもこの歳出・歳入が眠れるということはないならばその消費者物価は可愛らしいしおまけにパッシブ・ソノブイである fact6: もし仮にこの歳出・歳入はパッシブ・ソノブイでないなら「その消費者物価は可愛らしくて更にそれはパッシブ・ソノブイだ」ということは成り立たない fact7: もし仮にこの歳出・歳入は眠れれば「「その消費者物価は可愛らしくてそれにパッシブ・ソノブイである」ということは本当だ」ということは間違いだ fact8: 「その消費者物価は銃であるし可愛らしい」ということは正しくない fact9: もしその消費者物価は眠れないなら「この歳出・歳入は可愛らしいしかつ眠れる」ということは誤っている fact10: その消費者物価はパッシブ・ソノブイでないとすると眠れない fact11: もし何らかのものは入り組まないならば「それは眠れるしその上パッシブ・ソノブイである」ということは事実と異なる fact12: 吝いものは見澄ます fact13: 「この歳出・歳入は可愛らしくておまけにパッシブ・ソノブイである」ということは間違っている fact14: もしも「なにかは眠れるしその上それはパッシブ・ソノブイだ」ということは嘘であるとすれば可愛らしくない fact15: もしその消費者物価はパッシブ・ソノブイでないとすると「この歳出・歳入が可愛らしいしその上パッシブ・ソノブイである」ということは誤っている fact16: もしもこの歳出・歳入がパッシブ・ソノブイでないならばあの消費者物価は可愛らしいしパッシブ・ソノブイである fact17: 「もし「その消費者物価は可愛らしくない」ということは真実であるなら「「この歳出・歳入はパッシブ・ソノブイであるし可愛らしい」ということは成り立たない」ということは事実だ」ということは間違っていない fact18: 「その消費者物価は御勤めしない」ということは真実だ fact19: この歳出・歳入が眠れないとするとそれはパッシブ・ソノブイでない fact20: その矢は眠れるということはない
void -> assump1: 以下のように仮定する。「この歳出・歳入は眠れるということはない」ということは真実である; fact19 & assump1 -> int1: この歳出・歳入はパッシブ・ソノブイでない; int1 & fact6 -> int2: 「「その消費者物価は可愛らしくてかつそれはパッシブ・ソノブイだ」ということは偽だ」ということは誤っていない; [assump1] & int2 -> hypothesis;
この気象観測は可愛らしくない
fact23 -> int3: 仮に「この気象観測は眠れるし加えてパッシブ・ソノブイだ」ということは間違っていればそれは可愛らしいということはない; fact24 -> int4: 仮にこの気象観測は入り組むということはないとすると「眠れるししかもそれはパッシブ・ソノブイだ」ということは間違っている; fact25 -> int5: もし仮に「この歳出・歳入は見澄ます」ということは確かであるとすれば「申告納付しないか笑い合えるかどちらもである」ということは誤っている; fact21 -> int6: もし仮にこの歳出・歳入が吝いとすると見澄ます; fact22 -> int7: この歳出・歳入は吝い; int6 & int7 -> int8: この歳出・歳入は見澄ます; int5 & int8 -> int9: 「「この歳出・歳入は申告納付しないかもしくはそれは笑い合えるかまたは両方である」ということは確かである」ということは事実と異なる; int9 -> int10: 「「申告納付しないかあるいは笑い合えるかまたはどちらもだ」ということは事実と異なる」ものはある; int10 & fact26 -> int11: この気象観測は入り組まない; int4 & int11 -> int12: 「この気象観測は眠れるしかつそれはパッシブ・ソノブイだ」ということは成り立たない; int3 & int12 -> hypothesis;
$facts$ = fact1: もしもその消費者物価はパッシブ・ソノブイでないとしたら「この歳出・歳入は眠れるし可愛らしい」ということは真実でない fact2: もし仮にとある物は見澄ますなら「申告納付しないかまたは笑い合えるかまたはどちらもだ」ということは誤りである fact3: この歳出・歳入は民間であるしその上吝い fact4: もし「「申告納付しないかあるいは笑い合えるか両方である」ということは正しくない」ものがあるとするとこの気象観測は入り組むということはない fact5: もしもこの歳出・歳入が眠れるということはないならばその消費者物価は可愛らしいしおまけにパッシブ・ソノブイである fact6: もし仮にこの歳出・歳入はパッシブ・ソノブイでないなら「その消費者物価は可愛らしくて更にそれはパッシブ・ソノブイだ」ということは成り立たない fact7: もし仮にこの歳出・歳入は眠れれば「「その消費者物価は可愛らしくてそれにパッシブ・ソノブイである」ということは本当だ」ということは間違いだ fact8: 「その消費者物価は銃であるし可愛らしい」ということは正しくない fact9: もしその消費者物価は眠れないなら「この歳出・歳入は可愛らしいしかつ眠れる」ということは誤っている fact10: その消費者物価はパッシブ・ソノブイでないとすると眠れない fact11: もし何らかのものは入り組まないならば「それは眠れるしその上パッシブ・ソノブイである」ということは事実と異なる fact12: 吝いものは見澄ます fact13: 「この歳出・歳入は可愛らしくておまけにパッシブ・ソノブイである」ということは間違っている fact14: もしも「なにかは眠れるしその上それはパッシブ・ソノブイだ」ということは嘘であるとすれば可愛らしくない fact15: もしその消費者物価はパッシブ・ソノブイでないとすると「この歳出・歳入が可愛らしいしその上パッシブ・ソノブイである」ということは誤っている fact16: もしもこの歳出・歳入がパッシブ・ソノブイでないならばあの消費者物価は可愛らしいしパッシブ・ソノブイである fact17: 「もし「その消費者物価は可愛らしくない」ということは真実であるなら「「この歳出・歳入はパッシブ・ソノブイであるし可愛らしい」ということは成り立たない」ということは事実だ」ということは間違っていない fact18: 「その消費者物価は御勤めしない」ということは真実だ fact19: この歳出・歳入が眠れないとするとそれはパッシブ・ソノブイでない fact20: その矢は眠れるということはない ; $hypothesis$ = 「もし仮にこの歳出・歳入は眠れるということはないとしたら「その消費者物価は可愛らしくてそれはパッシブ・ソノブイだ」ということは成り立つということはない」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。「この歳出・歳入は眠れるということはない」ということは真実である; fact19 & assump1 -> int1: この歳出・歳入はパッシブ・ソノブイでない; int1 & fact6 -> int2: 「「その消費者物価は可愛らしくてかつそれはパッシブ・ソノブイだ」ということは偽だ」ということは誤っていない; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: もしもその消費者物価はパッシブ・ソノブイでないとしたら「この歳出・歳入は眠れるし可愛らしい」ということは真実でない
事実2: もし仮にとある物は見澄ますなら「申告納付しないかまたは笑い合えるかまたはどちらもだ」ということは誤りである
事実3: この歳出・歳入は民間であるしその上吝い
事実4: もし「「申告納付しないかあるいは笑い合えるか両方である」ということは正しくない」ものがあるとするとこの気象観測は入り組むということはない
事実5: もしもこの歳出・歳入が眠れるということはないならばその消費者物価は可愛らしいしおまけにパッシブ・ソノブイである
事実6: もし仮にこの歳出・歳入はパッシブ・ソノブイでないなら「その消費者物価は可愛らしくて更にそれはパッシブ・ソノブイだ」ということは成り立たない
事実7: もし仮にこの歳出・歳入は眠れれば「「その消費者物価は可愛らしくてそれにパッシブ・ソノブイである」ということは本当だ」ということは間違いだ
事実8: 「その消費者物価は銃であるし可愛らしい」ということは正しくない
事実9: もしその消費者物価は眠れないなら「この歳出・歳入は可愛らしいしかつ眠れる」ということは誤っている
事実10: その消費者物価はパッシブ・ソノブイでないとすると眠れない
事実11: もし何らかのものは入り組まないならば「それは眠れるしその上パッシブ・ソノブイである」ということは事実と異なる
事実12: 吝いものは見澄ます
事実13: 「この歳出・歳入は可愛らしくておまけにパッシブ・ソノブイである」ということは間違っている
事実14: もしも「なにかは眠れるしその上それはパッシブ・ソノブイだ」ということは嘘であるとすれば可愛らしくない
事実15: もしその消費者物価はパッシブ・ソノブイでないとすると「この歳出・歳入が可愛らしいしその上パッシブ・ソノブイである」ということは誤っている
事実16: もしもこの歳出・歳入がパッシブ・ソノブイでないならばあの消費者物価は可愛らしいしパッシブ・ソノブイである
事実17: 「もし「その消費者物価は可愛らしくない」ということは真実であるなら「「この歳出・歳入はパッシブ・ソノブイであるし可愛らしい」ということは成り立たない」ということは事実だ」ということは間違っていない
事実18: 「その消費者物価は御勤めしない」ということは真実だ
事実19: この歳出・歳入が眠れないとするとそれはパッシブ・ソノブイでない
事実20: その矢は眠れるということはない

仮説: 「もし仮にこの歳出・歳入は眠れるということはないとしたら「その消費者物価は可愛らしくてそれはパッシブ・ソノブイだ」ということは成り立つということはない」ということは間違っている
1. 仮定1: 以下のように仮定する。「この歳出・歳入は眠れるということはない」ということは真実である
2. 事実19と仮定1から、推論1: "この歳出・歳入はパッシブ・ソノブイでない"が導かれる
3. 推論1と事実6から、推論2: "「「その消費者物価は可愛らしくてかつそれはパッシブ・ソノブイだ」ということは偽だ」ということは誤っていない"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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