この英訳文は物凄ーい
fact1: この緑化施設は呼び止める一方で捧呈しない fact2: もしもあの気圧が拡大表示するし加えて頼み難いならこの英訳文は物凄ーくない fact3: 「この考証は一件委員会だし拡大表示する」ということは成り立たないとしたら一件委員会でない fact4: 仮に「この考証は二年掛かりでないけどかったるい」ということは確かでないならこの緑化施設は呼び止めない fact5: もしもこの考証が二年掛かりだとすればあの緑化施設は呼び止めない fact6: もしこの考証が物凄ーくないならこの英訳文は二年掛かりであるし加えてそれは捧呈する fact7: もし仮に何らかの物は呼び止めないならば「一件委員会であるし加えてそれは拡大表示する」ということは成り立つということはない fact8: 「この考証は二年掛かりであるしさらにかったるい」ということは成り立たない fact9: この考証は二年掛かりでない fact10: 仮にこの考証は二年掛かりであるしおまけにかったるいなら「あの気圧は拡大表示する」ということは正しい fact11: その集中形式はむくれるけど物凄ーくない fact12: なにかは投球動作である fact13: この姑は投球動作でない fact14: あの気圧は摘む fact15: この緑化施設は捧呈しない fact16: この英文科が孵らないとしたらあの気圧は摘むし頼み難い fact17: もし仮に「投球動作でない」物があるとするとこの英文科は孵らない fact18: この姑は二年掛かりでない fact19: 「何かは拡大表示する」ということは正しいなら「物凄ーい」ということは成り立つ fact20: もし「この英文科は孵らない」ということは成り立つとすればあの気圧は摘む fact21: もし仮にこの考証が二年掛かりでないがしかしかったるいならあの気圧は拡大表示する
void -> assump1: 以下のように仮定する。「「この考証は二年掛かりでないがかったるい」ということは成り立たない」ということは真実だ; fact4 & assump1 -> int1: この緑化施設は呼び止めない; fact1 -> int2: この緑化施設は呼び止める; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この考証は二年掛かりでないけどかったるい; int4 & fact21 -> int5: あの気圧は拡大表示する; fact13 -> int6: とあるものは投球動作でない; int6 & fact17 -> int7: この英文科は孵るということはない; int7 & fact16 -> int8: あの気圧は摘むし頼み難い; int8 -> int9: あの気圧は頼み難い; int5 & int9 -> int10: あの気圧は拡大表示するし頼み難い; int10 & fact2 -> hypothesis;
この英訳文は物凄ーい
fact22 -> int11: もし仮にこの英訳文が拡大表示するとするとそれは物凄ーい;
$facts$ = fact1: この緑化施設は呼び止める一方で捧呈しない fact2: もしもあの気圧が拡大表示するし加えて頼み難いならこの英訳文は物凄ーくない fact3: 「この考証は一件委員会だし拡大表示する」ということは成り立たないとしたら一件委員会でない fact4: 仮に「この考証は二年掛かりでないけどかったるい」ということは確かでないならこの緑化施設は呼び止めない fact5: もしもこの考証が二年掛かりだとすればあの緑化施設は呼び止めない fact6: もしこの考証が物凄ーくないならこの英訳文は二年掛かりであるし加えてそれは捧呈する fact7: もし仮に何らかの物は呼び止めないならば「一件委員会であるし加えてそれは拡大表示する」ということは成り立つということはない fact8: 「この考証は二年掛かりであるしさらにかったるい」ということは成り立たない fact9: この考証は二年掛かりでない fact10: 仮にこの考証は二年掛かりであるしおまけにかったるいなら「あの気圧は拡大表示する」ということは正しい fact11: その集中形式はむくれるけど物凄ーくない fact12: なにかは投球動作である fact13: この姑は投球動作でない fact14: あの気圧は摘む fact15: この緑化施設は捧呈しない fact16: この英文科が孵らないとしたらあの気圧は摘むし頼み難い fact17: もし仮に「投球動作でない」物があるとするとこの英文科は孵らない fact18: この姑は二年掛かりでない fact19: 「何かは拡大表示する」ということは正しいなら「物凄ーい」ということは成り立つ fact20: もし「この英文科は孵らない」ということは成り立つとすればあの気圧は摘む fact21: もし仮にこの考証が二年掛かりでないがしかしかったるいならあの気圧は拡大表示する ; $hypothesis$ = この英訳文は物凄ーい ; $proof$ = 
void -> assump1: 以下のように仮定する。「「この考証は二年掛かりでないがかったるい」ということは成り立たない」ということは真実だ; fact4 & assump1 -> int1: この緑化施設は呼び止めない; fact1 -> int2: この緑化施設は呼び止める; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この考証は二年掛かりでないけどかったるい; int4 & fact21 -> int5: あの気圧は拡大表示する; fact13 -> int6: とあるものは投球動作でない; int6 & fact17 -> int7: この英文科は孵るということはない; int7 & fact16 -> int8: あの気圧は摘むし頼み難い; int8 -> int9: あの気圧は頼み難い; int5 & int9 -> int10: あの気圧は拡大表示するし頼み難い; int10 & fact2 -> hypothesis; __DISPROVED__
事実1: この緑化施設は呼び止める一方で捧呈しない
事実2: もしもあの気圧が拡大表示するし加えて頼み難いならこの英訳文は物凄ーくない
事実3: 「この考証は一件委員会だし拡大表示する」ということは成り立たないとしたら一件委員会でない
事実4: 仮に「この考証は二年掛かりでないけどかったるい」ということは確かでないならこの緑化施設は呼び止めない
事実5: もしもこの考証が二年掛かりだとすればあの緑化施設は呼び止めない
事実6: もしこの考証が物凄ーくないならこの英訳文は二年掛かりであるし加えてそれは捧呈する
事実7: もし仮に何らかの物は呼び止めないならば「一件委員会であるし加えてそれは拡大表示する」ということは成り立つということはない
事実8: 「この考証は二年掛かりであるしさらにかったるい」ということは成り立たない
事実9: この考証は二年掛かりでない
事実10: 仮にこの考証は二年掛かりであるしおまけにかったるいなら「あの気圧は拡大表示する」ということは正しい
事実11: その集中形式はむくれるけど物凄ーくない
事実12: なにかは投球動作である
事実13: この姑は投球動作でない
事実14: あの気圧は摘む
事実15: この緑化施設は捧呈しない
事実16: この英文科が孵らないとしたらあの気圧は摘むし頼み難い
事実17: もし仮に「投球動作でない」物があるとするとこの英文科は孵らない
事実18: この姑は二年掛かりでない
事実19: 「何かは拡大表示する」ということは正しいなら「物凄ーい」ということは成り立つ
事実20: もし「この英文科は孵らない」ということは成り立つとすればあの気圧は摘む
事実21: もし仮にこの考証が二年掛かりでないがしかしかったるいならあの気圧は拡大表示する

仮説: この英訳文は物凄ーい
1. 仮定1: 以下のように仮定する。「「この考証は二年掛かりでないがかったるい」ということは成り立たない」ということは真実だ
2. 事実4と仮定1から、推論1: "この緑化施設は呼び止めない"が導かれる
3. 事実1から、推論2: "この緑化施設は呼び止める"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この考証は二年掛かりでないけどかったるい"が導かれる
6. 推論4と事実21から、推論5: "あの気圧は拡大表示する"が導かれる
7. 事実13から、推論6: "とあるものは投球動作でない"が導かれる
8. 推論6と事実17から、推論7: "この英文科は孵るということはない"が導かれる
9. 推論7と事実16から、推論8: "あの気圧は摘むし頼み難い"が導かれる
10. 推論8から、推論9: "あの気圧は頼み難い"が導かれる
11. 推論5と推論9から、推論10: "あの気圧は拡大表示するし頼み難い"が導かれる
12. 推論10と事実2から、仮説が否定される

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