「このチャイナマンズ・ハットは実行し易くて寝っ転がる」ということは成り立たない
fact1: その大掴みは不明確さでない fact2: もしその大掴みが不明確さでないとすればそのアクシデントは追視するしそれにそれは挿し木だ fact3: このチャイナマンズ・ハットは挿し木だ fact4: 「仮にこのチャイナマンズ・ハットは挿し木なら「このチャイナマンズ・ハットは寝っ転がるということはないし加えて追視しない」ということは嘘だ」ということは成り立つ fact5: もしこのチャイナマンズ・ハットがネイション・オブ・イスラムなら娘らしいということはなくてそれは実行し易い fact6: このチャイナマンズ・ハットはネイション・オブ・イスラムだ fact7: 仮に「なにかは寝っ転がらないし更にそれは追視するということはない」ということは間違いだとしたら寝っ転がる
fact5 & fact6 -> int1: このチャイナマンズ・ハットは娘らしくないけれど実行し易い; int1 -> int2: このチャイナマンズ・ハットは実行し易い; fact3 & fact4 -> int3: 「このチャイナマンズ・ハットは寝っ転がらなくて追視するということはない」ということは誤りだ; fact7 -> int4: もし仮に「このチャイナマンズ・ハットは寝っ転がらないしおまけに追視しない」ということは事実でないとしたらそれは寝っ転がる; int3 & int4 -> int5: このチャイナマンズ・ハットは寝っ転がる; int2 & int5 -> hypothesis;
fact5 & fact6 -> int1: (¬{AA}{a} & {AB}{a}); int1 -> int2: {AB}{a}; fact3 & fact4 -> int3: ¬(¬{B}{a} & ¬{C}{a}); fact7 -> int4: ¬(¬{B}{a} & ¬{C}{a}) -> {B}{a}; int3 & int4 -> int5: {B}{a}; int2 & int5 -> hypothesis;
「このチャイナマンズ・ハットは実行し易いしまたそれは寝っ転がる」ということは成り立たない
fact9 & fact8 -> int6: そのアクシデントは追視するししかも挿し木である; int6 -> int7: そのアクシデントは追視する;
$facts$ = fact1: その大掴みは不明確さでない fact2: もしその大掴みが不明確さでないとすればそのアクシデントは追視するしそれにそれは挿し木だ fact3: このチャイナマンズ・ハットは挿し木だ fact4: 「仮にこのチャイナマンズ・ハットは挿し木なら「このチャイナマンズ・ハットは寝っ転がるということはないし加えて追視しない」ということは嘘だ」ということは成り立つ fact5: もしこのチャイナマンズ・ハットがネイション・オブ・イスラムなら娘らしいということはなくてそれは実行し易い fact6: このチャイナマンズ・ハットはネイション・オブ・イスラムだ fact7: 仮に「なにかは寝っ転がらないし更にそれは追視するということはない」ということは間違いだとしたら寝っ転がる ; $hypothesis$ = 「このチャイナマンズ・ハットは実行し易くて寝っ転がる」ということは成り立たない ; $proof$ = 
fact5 & fact6 -> int1: このチャイナマンズ・ハットは娘らしくないけれど実行し易い; int1 -> int2: このチャイナマンズ・ハットは実行し易い; fact3 & fact4 -> int3: 「このチャイナマンズ・ハットは寝っ転がらなくて追視するということはない」ということは誤りだ; fact7 -> int4: もし仮に「このチャイナマンズ・ハットは寝っ転がらないしおまけに追視しない」ということは事実でないとしたらそれは寝っ転がる; int3 & int4 -> int5: このチャイナマンズ・ハットは寝っ転がる; int2 & int5 -> hypothesis; __DISPROVED__
事実1: その大掴みは不明確さでない
事実2: もしその大掴みが不明確さでないとすればそのアクシデントは追視するしそれにそれは挿し木だ
事実3: このチャイナマンズ・ハットは挿し木だ
事実4: 「仮にこのチャイナマンズ・ハットは挿し木なら「このチャイナマンズ・ハットは寝っ転がるということはないし加えて追視しない」ということは嘘だ」ということは成り立つ
事実5: もしこのチャイナマンズ・ハットがネイション・オブ・イスラムなら娘らしいということはなくてそれは実行し易い
事実6: このチャイナマンズ・ハットはネイション・オブ・イスラムだ
事実7: 仮に「なにかは寝っ転がらないし更にそれは追視するということはない」ということは間違いだとしたら寝っ転がる

仮説: 「このチャイナマンズ・ハットは実行し易くて寝っ転がる」ということは成り立たない
1. 事実5と事実6から、推論1: "このチャイナマンズ・ハットは娘らしくないけれど実行し易い"が導かれる
2. 推論1から、推論2: "このチャイナマンズ・ハットは実行し易い"が導かれる
3. 事実3と事実4から、推論3: "「このチャイナマンズ・ハットは寝っ転がらなくて追視するということはない」ということは誤りだ"が導かれる
4. 事実7から、推論4: "もし仮に「このチャイナマンズ・ハットは寝っ転がらないしおまけに追視しない」ということは事実でないとしたらそれは寝っ転がる"が導かれる
5. 推論3と推論4から、推論5: "このチャイナマンズ・ハットは寝っ転がる"が導かれる
6. 推論2と推論5から、仮説が否定される

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