「なんらかの物はペイントツールである」ということは嘘だ
fact1: ある物は抜去しないがしかし食べ易い fact2: もし仮になんらかの物がペイントツールでないとしたらあの文法書は世紀末である fact3: 「抜去しない」物があるならこの車関係は磨き抜く fact4: もし仮にそのブロウが確からしくないし更にティーチング・プロであるということはないとすればその解放メッセージは潜らない fact5: もし「「抜去しない一方で食べ易い」ということは嘘である」物があるならこの中和行為はペイントツールだ fact6: 「「たどたどしい」ということは真実な」物はある fact7: 「抜去する」物があるとしたらこの中和行為はペイントツールである fact8: 「「抜去しないけれど食べ易い」ということは間違いである」ものはある fact9: 「「抜去するしかつ食べ易い」ということは事実でない」ものはある fact10: 仮に「真似するということはない」物があるとするとこのクルーは一世紀以上である fact11: 「「危なっかしいということはないし加えて増え難い」ということは事実と異なる」ものはある fact12: 「「「試みないけど先発ローテである」ということは事実である」ということは誤っている」物はある fact13: 「「「広ーくない一方で落ち着く」ということは正しい」ということは成り立たない」物はある fact14: 「「なにがしかの物は視紅でないけれどそれはペイントツールだ」ということは成り立つ」ということは間違っているとするとそれは視紅である
fact8 & fact5 -> int1: 「この中和行為はペイントツールでない」ということは成り立たない; int1 -> hypothesis;
fact8 & fact5 -> int1: {A}{a}; int1 -> hypothesis;
この中和行為は食べ易い
$facts$ = fact1: ある物は抜去しないがしかし食べ易い fact2: もし仮になんらかの物がペイントツールでないとしたらあの文法書は世紀末である fact3: 「抜去しない」物があるならこの車関係は磨き抜く fact4: もし仮にそのブロウが確からしくないし更にティーチング・プロであるということはないとすればその解放メッセージは潜らない fact5: もし「「抜去しない一方で食べ易い」ということは嘘である」物があるならこの中和行為はペイントツールだ fact6: 「「たどたどしい」ということは真実な」物はある fact7: 「抜去する」物があるとしたらこの中和行為はペイントツールである fact8: 「「抜去しないけれど食べ易い」ということは間違いである」ものはある fact9: 「「抜去するしかつ食べ易い」ということは事実でない」ものはある fact10: 仮に「真似するということはない」物があるとするとこのクルーは一世紀以上である fact11: 「「危なっかしいということはないし加えて増え難い」ということは事実と異なる」ものはある fact12: 「「「試みないけど先発ローテである」ということは事実である」ということは誤っている」物はある fact13: 「「「広ーくない一方で落ち着く」ということは正しい」ということは成り立たない」物はある fact14: 「「なにがしかの物は視紅でないけれどそれはペイントツールだ」ということは成り立つ」ということは間違っているとするとそれは視紅である ; $hypothesis$ = 「なんらかの物はペイントツールである」ということは嘘だ ; $proof$ = 
fact8 & fact5 -> int1: 「この中和行為はペイントツールでない」ということは成り立たない; int1 -> hypothesis; __DISPROVED__
事実1: ある物は抜去しないがしかし食べ易い
事実2: もし仮になんらかの物がペイントツールでないとしたらあの文法書は世紀末である
事実3: 「抜去しない」物があるならこの車関係は磨き抜く
事実4: もし仮にそのブロウが確からしくないし更にティーチング・プロであるということはないとすればその解放メッセージは潜らない
事実5: もし「「抜去しない一方で食べ易い」ということは嘘である」物があるならこの中和行為はペイントツールだ
事実6: 「「たどたどしい」ということは真実な」物はある
事実7: 「抜去する」物があるとしたらこの中和行為はペイントツールである
事実8: 「「抜去しないけれど食べ易い」ということは間違いである」ものはある
事実9: 「「抜去するしかつ食べ易い」ということは事実でない」ものはある
事実10: 仮に「真似するということはない」物があるとするとこのクルーは一世紀以上である
事実11: 「「危なっかしいということはないし加えて増え難い」ということは事実と異なる」ものはある
事実12: 「「「試みないけど先発ローテである」ということは事実である」ということは誤っている」物はある
事実13: 「「「広ーくない一方で落ち着く」ということは正しい」ということは成り立たない」物はある
事実14: 「「なにがしかの物は視紅でないけれどそれはペイントツールだ」ということは成り立つ」ということは間違っているとするとそれは視紅である

仮説: 「なんらかの物はペイントツールである」ということは嘘だ
1. 事実8と事実5から、推論1: "「この中和行為はペイントツールでない」ということは成り立たない"が導かれる
2. 推論1から、仮説が否定される

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