「「「もし「マチスモだがしかし無農薬野菜でない」ということは成り立たないならＰＨＰ構文な」物はある」ということは成り立つ」ということは嘘である
fact1: もしも「あの充実強化が身分保障だしまた独立戦争である」ということは間違いなら訴追する fact2: 「もしもあの充実強化がマチスモだけど無農薬野菜であるということはないならばあの充実強化はＰＨＰ構文だ」ということは誤りでない fact3: 「仮に無農薬野菜だとすればＰＨＰ構文である」物はある fact4: 仮に「あの充実強化は数理でない」ということは真実であるとすれば脱出する fact5: もし仮に「あの充実強化はマチスモだ一方でそれは無農薬野菜でない」ということは成り立つということはないとしたらＰＨＰ構文である
fact5 -> hypothesis;
$facts$ = fact1: もしも「あの充実強化が身分保障だしまた独立戦争である」ということは間違いなら訴追する fact2: 「もしもあの充実強化がマチスモだけど無農薬野菜であるということはないならばあの充実強化はＰＨＰ構文だ」ということは誤りでない fact3: 「仮に無農薬野菜だとすればＰＨＰ構文である」物はある fact4: 仮に「あの充実強化は数理でない」ということは真実であるとすれば脱出する fact5: もし仮に「あの充実強化はマチスモだ一方でそれは無農薬野菜でない」ということは成り立つということはないとしたらＰＨＰ構文である ; $hypothesis$ = 「「「もし「マチスモだがしかし無農薬野菜でない」ということは成り立たないならＰＨＰ構文な」物はある」ということは成り立つ」ということは嘘である ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: もしも「あの充実強化が身分保障だしまた独立戦争である」ということは間違いなら訴追する
事実2: 「もしもあの充実強化がマチスモだけど無農薬野菜であるということはないならばあの充実強化はＰＨＰ構文だ」ということは誤りでない
事実3: 「仮に無農薬野菜だとすればＰＨＰ構文である」物はある
事実4: 仮に「あの充実強化は数理でない」ということは真実であるとすれば脱出する
事実5: もし仮に「あの充実強化はマチスモだ一方でそれは無農薬野菜でない」ということは成り立つということはないとしたらＰＨＰ構文である

仮説: 「「「もし「マチスモだがしかし無農薬野菜でない」ということは成り立たないならＰＨＰ構文な」物はある」ということは成り立つ」ということは嘘である
1. 事実5から、仮説が否定される

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