「仮にこの此の間は突き倒すなら「あの立法部は目まぐるしかないがそれは思わしい」ということは誤っている」ということは偽だ
fact1: もし仮になにがしかのものが適合しないとすればそれは目まぐるしかないけれど初恋する fact2: もし何かは目まぐるしかないとすればそれは突き倒すということはないし初恋する fact3: 「あの立法部は突き倒すか目まぐるしいかまたはどちらもである」ということは本当であるとするとこの此の間は思わしくない fact4: もし仮にあの立法部は適合しないなら「それが目まぐるしいしその上それは思わしい」ということは成り立たない fact5: もしこの此の間が思わしいかあるいは突き倒すかまたは両方だとするとあの立法部は目まぐるしいということはない fact6: もし「この此の間は初恋する」ということは真実ならばあの立法部は適合しない fact7: 「あの立法部は目まぐるしくて思わしい」ということは成り立つということはない fact8: もしこの此の間が突き倒すかもしくは初恋するかあるいは両方だとするとあの立法部は適合しない fact9: 「この此の間は目まぐるしいということはないけれど初恋する」ということは成り立たない fact10: もしもなにがしかの物は適合しないとすると「目まぐるしかない一方で思わしい」ということは成り立たない fact11: もしあの立法部が適合しないならそれは目まぐるしかないが思わしい fact12: 仮になにがしかの物は適合しないとしたら「目まぐるしくて思わしい」ということは成り立たない fact13: あの立法部はあからさま過ぎないがトラブル回避である
void -> assump1: 以下のように仮定する。この此の間は突き倒す; assump1 -> int1: この此の間は突き倒すかあるいは初恋するかまたは両方である; int1 & fact8 -> int2: あの立法部は適合しない; fact10 -> int3: もしあの立法部は適合しないとすれば「それは目まぐるしいということはないしまた思わしい」ということは本当でない; int2 & int3 -> int4: 「あの立法部は目まぐるしかない一方で思わしい」ということは偽だ; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もし仮になにがしかのものが適合しないとすればそれは目まぐるしかないけれど初恋する fact2: もし何かは目まぐるしかないとすればそれは突き倒すということはないし初恋する fact3: 「あの立法部は突き倒すか目まぐるしいかまたはどちらもである」ということは本当であるとするとこの此の間は思わしくない fact4: もし仮にあの立法部は適合しないなら「それが目まぐるしいしその上それは思わしい」ということは成り立たない fact5: もしこの此の間が思わしいかあるいは突き倒すかまたは両方だとするとあの立法部は目まぐるしいということはない fact6: もし「この此の間は初恋する」ということは真実ならばあの立法部は適合しない fact7: 「あの立法部は目まぐるしくて思わしい」ということは成り立つということはない fact8: もしこの此の間が突き倒すかもしくは初恋するかあるいは両方だとするとあの立法部は適合しない fact9: 「この此の間は目まぐるしいということはないけれど初恋する」ということは成り立たない fact10: もしもなにがしかの物は適合しないとすると「目まぐるしかない一方で思わしい」ということは成り立たない fact11: もしあの立法部が適合しないならそれは目まぐるしかないが思わしい fact12: 仮になにがしかの物は適合しないとしたら「目まぐるしくて思わしい」ということは成り立たない fact13: あの立法部はあからさま過ぎないがトラブル回避である ; $hypothesis$ = 「仮にこの此の間は突き倒すなら「あの立法部は目まぐるしかないがそれは思わしい」ということは誤っている」ということは偽だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この此の間は突き倒す; assump1 -> int1: この此の間は突き倒すかあるいは初恋するかまたは両方である; int1 & fact8 -> int2: あの立法部は適合しない; fact10 -> int3: もしあの立法部は適合しないとすれば「それは目まぐるしいということはないしまた思わしい」ということは本当でない; int2 & int3 -> int4: 「あの立法部は目まぐるしかない一方で思わしい」ということは偽だ; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もし仮になにがしかのものが適合しないとすればそれは目まぐるしかないけれど初恋する
事実2: もし何かは目まぐるしかないとすればそれは突き倒すということはないし初恋する
事実3: 「あの立法部は突き倒すか目まぐるしいかまたはどちらもである」ということは本当であるとするとこの此の間は思わしくない
事実4: もし仮にあの立法部は適合しないなら「それが目まぐるしいしその上それは思わしい」ということは成り立たない
事実5: もしこの此の間が思わしいかあるいは突き倒すかまたは両方だとするとあの立法部は目まぐるしいということはない
事実6: もし「この此の間は初恋する」ということは真実ならばあの立法部は適合しない
事実7: 「あの立法部は目まぐるしくて思わしい」ということは成り立つということはない
事実8: もしこの此の間が突き倒すかもしくは初恋するかあるいは両方だとするとあの立法部は適合しない
事実9: 「この此の間は目まぐるしいということはないけれど初恋する」ということは成り立たない
事実10: もしもなにがしかの物は適合しないとすると「目まぐるしかない一方で思わしい」ということは成り立たない
事実11: もしあの立法部が適合しないならそれは目まぐるしかないが思わしい
事実12: 仮になにがしかの物は適合しないとしたら「目まぐるしくて思わしい」ということは成り立たない
事実13: あの立法部はあからさま過ぎないがトラブル回避である

仮説: 「仮にこの此の間は突き倒すなら「あの立法部は目まぐるしかないがそれは思わしい」ということは誤っている」ということは偽だ
1. 仮定1: 以下のように仮定する。この此の間は突き倒す
2. 仮定1から、推論1: "この此の間は突き倒すかあるいは初恋するかまたは両方である"が導かれる
3. 推論1と事実8から、推論2: "あの立法部は適合しない"が導かれる
4. 事実10から、推論3: "もしあの立法部は適合しないとすれば「それは目まぐるしいということはないしまた思わしい」ということは本当でない"が導かれる
5. 推論2と推論3から、推論4: "「あの立法部は目まぐるしかない一方で思わしい」ということは偽だ"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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