あの緊迫は花卉部門だ
fact1: 仮に「なんらかの物は熱し易くないがしかし回し始める」ということは間違いだとしたら「回し始めない」ということは嘘であるということはない fact2: もしも「積み重ねである」物はあるとすると「「その生産方法は積み重ねだということはないけれど歩き易い」ということは成り立つということはない」ということは成り立つ fact3: あの緊迫は花卉部門でないとすれば「賢しということはないかもしくは茶髪である」ということは成り立たない fact4: もし「「制度設計でなくておまけに熱し易い」ということは真実でない」ものがあるとすればあのパーソナルファウルは熱し易いということはない fact5: もしあのパーソナルファウルは賢しないとしたら「それは茶髪でないかもしくはそれは失職するかどちらもである」ということは嘘だ fact6: 仮にその生産方法は談判するなら「あの緊迫は制度設計だということはないがそれは熱し易い」ということは成り立たない fact7: あの緊迫が賢しないとしたらそれは不動産公正取り引き協議会でない fact8: もしもその生産方法は制度設計でないとすれば「それは積み重ねだし更に談判する」ということは事実と異なる fact9: 「この御茶会は暮らし易いということはないがしかしミニ盆栽である」ということは誤っている fact10: あの緊迫は花卉部門でないならばそれは失職しない fact11: 仮に「「あのパーソナルファウルは茶髪でないかあるいは失職するかもしくは両方ともだ」ということは嘘だ」ということは事実ならあの緊迫は花卉部門だということはない fact12: 「あのパーソナルファウルは失職する」ということは成り立たない fact13: 「仮に「何らかの物は暮らし易くない一方でそれはミニ盆栽である」ということは成り立たないとすると積み重ねである」ということは成り立つ fact14: もし仮に「あの緊迫は花卉部門でないかまたは茶髪であるかもしくは両方だ」ということは成り立つということはないとするとあのパーソナルファウルは賢しない fact15: もし仮にあのパーソナルファウルは花卉部門でないならば「そのユダヤ避難民は賢しないかもしくは嗅ぎ分けるかもしくはどちらもだ」ということは成り立たない fact16: あのパーソナルファウルは花卉部門でない fact17: あのパーソナルファウルは賢しない fact18: 仮にあのパーソナルファウルは談判しないとすると「あの緊迫は熱し易くない一方でそれは回し始める」ということは事実でない fact19: 「何かは積み重ねでないけど歩き易い」ということは確かでないとするとそれは談判する fact20: 「熱し易くないものは花卉部門でなくてその上回し始めない」ということは確かだ fact21: その生産方法は制度設計でない
fact5 & fact17 -> int1: 「「あのパーソナルファウルは茶髪でないかもしくは失職するかあるいはどちらもである」ということは嘘である」ということは真実だ; int1 & fact11 -> hypothesis;
fact5 & fact17 -> int1: ¬(¬{AA}{a} v {AB}{a}); int1 & fact11 -> hypothesis;
あの緊迫は花卉部門である
fact24 -> int2: もし「あの緊迫は熱し易くないがそれは回し始める」ということは成り立たないとすればそれは回し始めるということはない; fact23 & fact22 -> int3: 「その生産方法は積み重ねだしその上談判する」ということは事実と異なる; int3 -> int4: 「「積み重ねだし談判する」ということは成り立たない」ものはある;
$facts$ = fact1: 仮に「なんらかの物は熱し易くないがしかし回し始める」ということは間違いだとしたら「回し始めない」ということは嘘であるということはない fact2: もしも「積み重ねである」物はあるとすると「「その生産方法は積み重ねだということはないけれど歩き易い」ということは成り立つということはない」ということは成り立つ fact3: あの緊迫は花卉部門でないとすれば「賢しということはないかもしくは茶髪である」ということは成り立たない fact4: もし「「制度設計でなくておまけに熱し易い」ということは真実でない」ものがあるとすればあのパーソナルファウルは熱し易いということはない fact5: もしあのパーソナルファウルは賢しないとしたら「それは茶髪でないかもしくはそれは失職するかどちらもである」ということは嘘だ fact6: 仮にその生産方法は談判するなら「あの緊迫は制度設計だということはないがそれは熱し易い」ということは成り立たない fact7: あの緊迫が賢しないとしたらそれは不動産公正取り引き協議会でない fact8: もしもその生産方法は制度設計でないとすれば「それは積み重ねだし更に談判する」ということは事実と異なる fact9: 「この御茶会は暮らし易いということはないがしかしミニ盆栽である」ということは誤っている fact10: あの緊迫は花卉部門でないならばそれは失職しない fact11: 仮に「「あのパーソナルファウルは茶髪でないかあるいは失職するかもしくは両方ともだ」ということは嘘だ」ということは事実ならあの緊迫は花卉部門だということはない fact12: 「あのパーソナルファウルは失職する」ということは成り立たない fact13: 「仮に「何らかの物は暮らし易くない一方でそれはミニ盆栽である」ということは成り立たないとすると積み重ねである」ということは成り立つ fact14: もし仮に「あの緊迫は花卉部門でないかまたは茶髪であるかもしくは両方だ」ということは成り立つということはないとするとあのパーソナルファウルは賢しない fact15: もし仮にあのパーソナルファウルは花卉部門でないならば「そのユダヤ避難民は賢しないかもしくは嗅ぎ分けるかもしくはどちらもだ」ということは成り立たない fact16: あのパーソナルファウルは花卉部門でない fact17: あのパーソナルファウルは賢しない fact18: 仮にあのパーソナルファウルは談判しないとすると「あの緊迫は熱し易くない一方でそれは回し始める」ということは事実でない fact19: 「何かは積み重ねでないけど歩き易い」ということは確かでないとするとそれは談判する fact20: 「熱し易くないものは花卉部門でなくてその上回し始めない」ということは確かだ fact21: その生産方法は制度設計でない ; $hypothesis$ = あの緊迫は花卉部門だ ; $proof$ = 
fact5 & fact17 -> int1: 「「あのパーソナルファウルは茶髪でないかもしくは失職するかあるいはどちらもである」ということは嘘である」ということは真実だ; int1 & fact11 -> hypothesis; __DISPROVED__
事実1: 仮に「なんらかの物は熱し易くないがしかし回し始める」ということは間違いだとしたら「回し始めない」ということは嘘であるということはない
事実2: もしも「積み重ねである」物はあるとすると「「その生産方法は積み重ねだということはないけれど歩き易い」ということは成り立つということはない」ということは成り立つ
事実3: あの緊迫は花卉部門でないとすれば「賢しということはないかもしくは茶髪である」ということは成り立たない
事実4: もし「「制度設計でなくておまけに熱し易い」ということは真実でない」ものがあるとすればあのパーソナルファウルは熱し易いということはない
事実5: もしあのパーソナルファウルは賢しないとしたら「それは茶髪でないかもしくはそれは失職するかどちらもである」ということは嘘だ
事実6: 仮にその生産方法は談判するなら「あの緊迫は制度設計だということはないがそれは熱し易い」ということは成り立たない
事実7: あの緊迫が賢しないとしたらそれは不動産公正取り引き協議会でない
事実8: もしもその生産方法は制度設計でないとすれば「それは積み重ねだし更に談判する」ということは事実と異なる
事実9: 「この御茶会は暮らし易いということはないがしかしミニ盆栽である」ということは誤っている
事実10: あの緊迫は花卉部門でないならばそれは失職しない
事実11: 仮に「「あのパーソナルファウルは茶髪でないかあるいは失職するかもしくは両方ともだ」ということは嘘だ」ということは事実ならあの緊迫は花卉部門だということはない
事実12: 「あのパーソナルファウルは失職する」ということは成り立たない
事実13: 「仮に「何らかの物は暮らし易くない一方でそれはミニ盆栽である」ということは成り立たないとすると積み重ねである」ということは成り立つ
事実14: もし仮に「あの緊迫は花卉部門でないかまたは茶髪であるかもしくは両方だ」ということは成り立つということはないとするとあのパーソナルファウルは賢しない
事実15: もし仮にあのパーソナルファウルは花卉部門でないならば「そのユダヤ避難民は賢しないかもしくは嗅ぎ分けるかもしくはどちらもだ」ということは成り立たない
事実16: あのパーソナルファウルは花卉部門でない
事実17: あのパーソナルファウルは賢しない
事実18: 仮にあのパーソナルファウルは談判しないとすると「あの緊迫は熱し易くない一方でそれは回し始める」ということは事実でない
事実19: 「何かは積み重ねでないけど歩き易い」ということは確かでないとするとそれは談判する
事実20: 「熱し易くないものは花卉部門でなくてその上回し始めない」ということは確かだ
事実21: その生産方法は制度設計でない

仮説: あの緊迫は花卉部門だ
1. 事実5と事実17から、推論1: "「「あのパーソナルファウルは茶髪でないかもしくは失職するかあるいはどちらもである」ということは嘘である」ということは真実だ"が導かれる
2. 推論1と事実11から、仮説が否定される

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