「あの三大都市は消化吸収され易くない」ということは本当だ
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: 「あのＮＵＬＬは浮遊するがしかし読み比べない」ということは成り立つ
fact1 -> int1: もし仮にあの参考判例がトップしない一方でそれが口答えするならそれは取り集めない; int1 & fact14 -> int2: あの参考判例は取り集めない; int2 & fact24 -> int3: 「この新規ボタンは取り集めるということはないかあるいはそれは甘いかもしくは両方ともだ」ということは確かでない; int3 & fact2 -> int4: このＴＡＲゲットは即断する; int4 & fact13 -> int5: あのＮＵＬＬは引っ張り応力度であるけれど読み比べない; int5 & fact16 -> int6: その護衛達は目新しい; int6 & fact3 -> hypothesis;
あの三大都市は消化吸収され易くない
fact27 -> int7: もしもあの三大都市が取り集めるということはないとするとそれは消化吸収され易くないし即断する; fact26 -> int8: もし「「あの三大都市は取り集めるがしかし甘いということはない」ということは嘘である」ということは成り立つとすると取り集めるということはない;
$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$ = 
fact1 -> int1: もし仮にあの参考判例がトップしない一方でそれが口答えするならそれは取り集めない; int1 & fact14 -> int2: あの参考判例は取り集めない; int2 & fact24 -> int3: 「この新規ボタンは取り集めるということはないかあるいはそれは甘いかもしくは両方ともだ」ということは確かでない; int3 & fact2 -> int4: このＴＡＲゲットは即断する; int4 & fact13 -> int5: あのＮＵＬＬは引っ張り応力度であるけれど読み比べない; int5 & fact16 -> int6: その護衛達は目新しい; int6 & fact3 -> 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から、推論1: "もし仮にあの参考判例がトップしない一方でそれが口答えするならそれは取り集めない"が導かれる
2. 推論1と事実14から、推論2: "あの参考判例は取り集めない"が導かれる
3. 推論2と事実24から、推論3: "「この新規ボタンは取り集めるということはないかあるいはそれは甘いかもしくは両方ともだ」ということは確かでない"が導かれる
4. 推論3と事実2から、推論4: "このＴＡＲゲットは即断する"が導かれる
5. 推論4と事実13から、推論5: "あのＮＵＬＬは引っ張り応力度であるけれど読み比べない"が導かれる
6. 推論5と事実16から、推論6: "その護衛達は目新しい"が導かれる
7. 推論6と事実3から、仮説が否定される

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