「「仮に世知辛いということはないとすれば術策でない」ものはある」ということは誤りだ
fact1: 「もしワイヤでないならば「向け直すということはない」ということは嘘でない」物はある fact2: もしもその参加型開発は世知辛いならば「術策だということはない」ということは正しい fact3: その参加型開発が世知辛くないとするとそれは術策である fact4: 「もし仮に成り難くないならば書き易くない」ものはある fact5: 「もし仮に世知辛くないとしたら術策な」ものはある fact6: 「ＬＭでないならば優しくない」物はある fact7: もしあの練り辛子が凄いということはないとすれば術策でない fact8: 「もし仮に世知辛いとすれば「術策でない」ということは真実な」ものはある fact9: その参加型開発が世知辛くないとしたらそれは術策でない
fact9 -> hypothesis;
$facts$ = fact1: 「もしワイヤでないならば「向け直すということはない」ということは嘘でない」物はある fact2: もしもその参加型開発は世知辛いならば「術策だということはない」ということは正しい fact3: その参加型開発が世知辛くないとするとそれは術策である fact4: 「もし仮に成り難くないならば書き易くない」ものはある fact5: 「もし仮に世知辛くないとしたら術策な」ものはある fact6: 「ＬＭでないならば優しくない」物はある fact7: もしあの練り辛子が凄いということはないとすれば術策でない fact8: 「もし仮に世知辛いとすれば「術策でない」ということは真実な」ものはある fact9: その参加型開発が世知辛くないとしたらそれは術策でない ; $hypothesis$ = 「「仮に世知辛いということはないとすれば術策でない」ものはある」ということは誤りだ ; $proof$ = 
fact9 -> hypothesis; __DISPROVED__
事実1: 「もしワイヤでないならば「向け直すということはない」ということは嘘でない」物はある
事実2: もしもその参加型開発は世知辛いならば「術策だということはない」ということは正しい
事実3: その参加型開発が世知辛くないとするとそれは術策である
事実4: 「もし仮に成り難くないならば書き易くない」ものはある
事実5: 「もし仮に世知辛くないとしたら術策な」ものはある
事実6: 「ＬＭでないならば優しくない」物はある
事実7: もしあの練り辛子が凄いということはないとすれば術策でない
事実8: 「もし仮に世知辛いとすれば「術策でない」ということは真実な」ものはある
事実9: その参加型開発が世知辛くないとしたらそれは術策でない

仮説: 「「仮に世知辛いということはないとすれば術策でない」ものはある」ということは誤りだ
1. 事実9から、仮説が否定される

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