あのツリー構造は入退院である
fact1: もし「なにがしかのものは政策協定であるかもしくはそれは辱しめないかあるいは両方ともだ」ということは真実でないならそれは押し分けない fact2: 仮になにがしかのものが吐露するとしたらそれは入退院である fact3: 「「あのツリー構造は乗り難くないかレコーディングしないかあるいは両方ともである」ということは偽だ」ということは嘘でない fact4: もしも「ある物は一日刊でないか葡有しないかまたはどちらもである」ということは偽だとしたらそれはインセンティブでない fact5: もし仮に「吐露する」物はあれば「あのツリー構造はレコーディングしないかまたは痛ーくないかどちらもだ」ということは成り立たない fact6: もしもなにがしかの物が吐露するならあのツリー構造はレコーディングする fact7: もしも「なんらかのものは忙しないかもしくはそれは複写するということはない」ということは間違っているとするとそれは献金しない fact8: 仮に「なにがしかのものはレコーディングするかあるいは痛ーくない」ということは誤りであるとするとそれは入退院だということはない fact9: もし仮に「あのツリー構造はレコーディングするかそれは痛ーいということはないかあるいはどちらもである」ということは正しくないとすると入退院であるということはない fact10: 「なにがしかのものはレコーディングしないかもしくはそれは痛ーくないかあるいは両方ともだ」ということは間違いであるならば入退院でない fact11: 「吐露する」物はある
fact10 -> int1: もしも「あのツリー構造はレコーディングしないかまたは痛ーくないかまたは両方ともである」ということは間違いだとしたらそれは入退院でない; fact5 & fact11 -> int2: 「あのツリー構造はレコーディングしないかまたはそれは痛ーくないかまたはどちらもである」ということは誤りだ; int1 & int2 -> hypothesis;
あのツリー構造は入退院である
fact12 -> int3: もし仮にあのツリー構造が吐露するとすればそれは入退院だ;
$facts$ = fact1: もし「なにがしかのものは政策協定であるかもしくはそれは辱しめないかあるいは両方ともだ」ということは真実でないならそれは押し分けない fact2: 仮になにがしかのものが吐露するとしたらそれは入退院である fact3: 「「あのツリー構造は乗り難くないかレコーディングしないかあるいは両方ともである」ということは偽だ」ということは嘘でない fact4: もしも「ある物は一日刊でないか葡有しないかまたはどちらもである」ということは偽だとしたらそれはインセンティブでない fact5: もし仮に「吐露する」物はあれば「あのツリー構造はレコーディングしないかまたは痛ーくないかどちらもだ」ということは成り立たない fact6: もしもなにがしかの物が吐露するならあのツリー構造はレコーディングする fact7: もしも「なんらかのものは忙しないかもしくはそれは複写するということはない」ということは間違っているとするとそれは献金しない fact8: 仮に「なにがしかのものはレコーディングするかあるいは痛ーくない」ということは誤りであるとするとそれは入退院だということはない fact9: もし仮に「あのツリー構造はレコーディングするかそれは痛ーいということはないかあるいはどちらもである」ということは正しくないとすると入退院であるということはない fact10: 「なにがしかのものはレコーディングしないかもしくはそれは痛ーくないかあるいは両方ともだ」ということは間違いであるならば入退院でない fact11: 「吐露する」物はある ; $hypothesis$ = あのツリー構造は入退院である ; $proof$ = 
fact10 -> int1: もしも「あのツリー構造はレコーディングしないかまたは痛ーくないかまたは両方ともである」ということは間違いだとしたらそれは入退院でない; fact5 & fact11 -> int2: 「あのツリー構造はレコーディングしないかまたはそれは痛ーくないかまたはどちらもである」ということは誤りだ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし「なにがしかのものは政策協定であるかもしくはそれは辱しめないかあるいは両方ともだ」ということは真実でないならそれは押し分けない
事実2: 仮になにがしかのものが吐露するとしたらそれは入退院である
事実3: 「「あのツリー構造は乗り難くないかレコーディングしないかあるいは両方ともである」ということは偽だ」ということは嘘でない
事実4: もしも「ある物は一日刊でないか葡有しないかまたはどちらもである」ということは偽だとしたらそれはインセンティブでない
事実5: もし仮に「吐露する」物はあれば「あのツリー構造はレコーディングしないかまたは痛ーくないかどちらもだ」ということは成り立たない
事実6: もしもなにがしかの物が吐露するならあのツリー構造はレコーディングする
事実7: もしも「なんらかのものは忙しないかもしくはそれは複写するということはない」ということは間違っているとするとそれは献金しない
事実8: 仮に「なにがしかのものはレコーディングするかあるいは痛ーくない」ということは誤りであるとするとそれは入退院だということはない
事実9: もし仮に「あのツリー構造はレコーディングするかそれは痛ーいということはないかあるいはどちらもである」ということは正しくないとすると入退院であるということはない
事実10: 「なにがしかのものはレコーディングしないかもしくはそれは痛ーくないかあるいは両方ともだ」ということは間違いであるならば入退院でない
事実11: 「吐露する」物はある

仮説: あのツリー構造は入退院である
1. 事実10から、推論1: "もしも「あのツリー構造はレコーディングしないかまたは痛ーくないかまたは両方ともである」ということは間違いだとしたらそれは入退院でない"が導かれる
2. 事実5と事実11から、推論2: "「あのツリー構造はレコーディングしないかまたはそれは痛ーくないかまたはどちらもである」ということは誤りだ"が導かれる
3. 推論1と推論2から、仮説が否定される

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