「もしもこの市民センターがハーミット・レストならばその電子工作は襲名しないがしかし厳しい」ということは成り立たない
fact1: もしもこの各キャラが作り難いとすればこの市民センターは惜しみ無くないがしかし襲名する fact2: その電子工作はハーミット・レストだ fact3: あの入園料はハーミット・レストであるということはない fact4: この各キャラが惜しみ無くてそれが追従出来るなら襲名しない fact5: この市民センターはハーミット・レストだとすれば「それは作り難いが由々しいということはない」ということは成り立たない fact6: もし仮に「「その電子工作は厳しいがそれは由々しくない」ということは確かである」ということは確かでないとすればこの各キャラは惜しみ無い fact7: この各キャラはハーミット・レストである fact8: もし仮にこの市民センターが作り難くないとすればその電子工作は作り難くない fact9: もし「この市民センターは追従出来る一方で惜しみ無くない」ということは誤っているとしたらこの各キャラは作り難い fact10: この各キャラはハーミット・レストであるけどそれは追従出来ない fact11: その電子工作は帆さんであるが不特定でない fact12: この各キャラは追従出来ない fact13: もし仮にこの市民センターはハーミット・レストであるとすれば「作り難くて更に由々しい」ということは偽だ fact14: この各キャラは作り難い fact15: この各キャラがハーミット・レストであるとしたらこの市民センターは惜しみ無くない一方で襲名する fact16: この各キャラは惜しみ無いがしかしそれは追従出来ない fact17: もし仮にこの市民センターが由々しいとするとその電子工作は厳しい fact18: あの入閣は襲名しない fact19: もしもこの市民センターが作り難いとしたらこの各キャラは襲名しない一方でハーミット・レストだ fact20: この市民センターは厳しかないがしかしハーミット・レストである fact21: 仮に「この市民センターは作り難いが由々しくない」ということは偽であるとすればその電子工作は厳しい fact22: 「この市民センターは作り難くて由々しい」ということは正しくない fact23: もしもこの各キャラが襲名するということはないならその電子工作は襲名するということはない fact24: 仮にこの各キャラは惜しみ無いが追従出来ないならそれは襲名しない fact25: もしも「その電子工作は厳しい」ということは成り立つとするとこの市民センターは追従出来ないが由々しい
void -> assump1: 以下のように仮定する。この市民センターはハーミット・レストである; fact5 & assump1 -> int1: 「この市民センターは作り難いけど由々しくない」ということは誤っている; int1 & fact21 -> int2: その電子工作は厳しい; fact16 & fact24 -> int3: この各キャラは襲名しない; fact23 & int3 -> int4: その電子工作は襲名しない; int2 & int4 -> int5: その電子工作は襲名しないがしかしそれは厳しい; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もしもこの各キャラが作り難いとすればこの市民センターは惜しみ無くないがしかし襲名する fact2: その電子工作はハーミット・レストだ fact3: あの入園料はハーミット・レストであるということはない fact4: この各キャラが惜しみ無くてそれが追従出来るなら襲名しない fact5: この市民センターはハーミット・レストだとすれば「それは作り難いが由々しいということはない」ということは成り立たない fact6: もし仮に「「その電子工作は厳しいがそれは由々しくない」ということは確かである」ということは確かでないとすればこの各キャラは惜しみ無い fact7: この各キャラはハーミット・レストである fact8: もし仮にこの市民センターが作り難くないとすればその電子工作は作り難くない fact9: もし「この市民センターは追従出来る一方で惜しみ無くない」ということは誤っているとしたらこの各キャラは作り難い fact10: この各キャラはハーミット・レストであるけどそれは追従出来ない fact11: その電子工作は帆さんであるが不特定でない fact12: この各キャラは追従出来ない fact13: もし仮にこの市民センターはハーミット・レストであるとすれば「作り難くて更に由々しい」ということは偽だ fact14: この各キャラは作り難い fact15: この各キャラがハーミット・レストであるとしたらこの市民センターは惜しみ無くない一方で襲名する fact16: この各キャラは惜しみ無いがしかしそれは追従出来ない fact17: もし仮にこの市民センターが由々しいとするとその電子工作は厳しい fact18: あの入閣は襲名しない fact19: もしもこの市民センターが作り難いとしたらこの各キャラは襲名しない一方でハーミット・レストだ fact20: この市民センターは厳しかないがしかしハーミット・レストである fact21: 仮に「この市民センターは作り難いが由々しくない」ということは偽であるとすればその電子工作は厳しい fact22: 「この市民センターは作り難くて由々しい」ということは正しくない fact23: もしもこの各キャラが襲名するということはないならその電子工作は襲名するということはない fact24: 仮にこの各キャラは惜しみ無いが追従出来ないならそれは襲名しない fact25: もしも「その電子工作は厳しい」ということは成り立つとするとこの市民センターは追従出来ないが由々しい ; $hypothesis$ = 「もしもこの市民センターがハーミット・レストならばその電子工作は襲名しないがしかし厳しい」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この市民センターはハーミット・レストである; fact5 & assump1 -> int1: 「この市民センターは作り難いけど由々しくない」ということは誤っている; int1 & fact21 -> int2: その電子工作は厳しい; fact16 & fact24 -> int3: この各キャラは襲名しない; fact23 & int3 -> int4: その電子工作は襲名しない; int2 & int4 -> int5: その電子工作は襲名しないがしかしそれは厳しい; [assump1] & int5 -> 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: もしもこの各キャラが襲名するということはないならその電子工作は襲名するということはない
事実24: 仮にこの各キャラは惜しみ無いが追従出来ないならそれは襲名しない
事実25: もしも「その電子工作は厳しい」ということは成り立つとするとこの市民センターは追従出来ないが由々しい

仮説: 「もしもこの市民センターがハーミット・レストならばその電子工作は襲名しないがしかし厳しい」ということは成り立たない
1. 仮定1: 以下のように仮定する。この市民センターはハーミット・レストである
2. 事実5と仮定1から、推論1: "「この市民センターは作り難いけど由々しくない」ということは誤っている"が導かれる
3. 推論1と事実21から、推論2: "その電子工作は厳しい"が導かれる
4. 事実16と事実24から、推論3: "この各キャラは襲名しない"が導かれる
5. 事実23と推論3から、推論4: "その電子工作は襲名しない"が導かれる
6. 推論2と推論4から、推論5: "その電子工作は襲名しないがしかしそれは厳しい"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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