「その検挙状況は丸くないけど朗誦する」ということは間違っている
fact1: もし仮にこの執権はＤＮＳ名でないなら「その検挙状況は避け難くないししかも適しない」ということは偽である fact2: 仮に「その検挙状況は避け難いということはなくて更にそれは適しない」ということは正しくないならこの長崎奉行は含み込むということはない fact3: その検挙状況は含み込むということはない fact4: 仮になんらかの物がど偉いとすればＤＮＳ名でないかあるいはオンブズマンでないかまたはどちらもである fact5: あの親会社株式保有は朗誦しない fact6: もしもその検挙状況は含み込まないとすると「それは丸いということはないけど朗誦する」ということは真実でない fact7: そのコスト面がＤＮＳ名でないかまたはオンブズマンでないかあるいは両方ともならばこの執権はＤＮＳ名でない fact8: あの野菜粗生産額は含み込むということはない
fact6 & fact3 -> hypothesis;
fact6 & fact3 -> hypothesis;
この長崎奉行は含み込まない
fact10 -> int1: もしそのコスト面がど偉いならＤＮＳ名だということはないかまたはオンブズマンでないかまたは両方ともだ;
$facts$ = fact1: もし仮にこの執権はＤＮＳ名でないなら「その検挙状況は避け難くないししかも適しない」ということは偽である fact2: 仮に「その検挙状況は避け難いということはなくて更にそれは適しない」ということは正しくないならこの長崎奉行は含み込むということはない fact3: その検挙状況は含み込むということはない fact4: 仮になんらかの物がど偉いとすればＤＮＳ名でないかあるいはオンブズマンでないかまたはどちらもである fact5: あの親会社株式保有は朗誦しない fact6: もしもその検挙状況は含み込まないとすると「それは丸いということはないけど朗誦する」ということは真実でない fact7: そのコスト面がＤＮＳ名でないかまたはオンブズマンでないかあるいは両方ともならばこの執権はＤＮＳ名でない fact8: あの野菜粗生産額は含み込むということはない ; $hypothesis$ = 「その検挙状況は丸くないけど朗誦する」ということは間違っている ; $proof$ = 
fact6 & fact3 -> hypothesis; __PROVED__
事実1: もし仮にこの執権はＤＮＳ名でないなら「その検挙状況は避け難くないししかも適しない」ということは偽である
事実2: 仮に「その検挙状況は避け難いということはなくて更にそれは適しない」ということは正しくないならこの長崎奉行は含み込むということはない
事実3: その検挙状況は含み込むということはない
事実4: 仮になんらかの物がど偉いとすればＤＮＳ名でないかあるいはオンブズマンでないかまたはどちらもである
事実5: あの親会社株式保有は朗誦しない
事実6: もしもその検挙状況は含み込まないとすると「それは丸いということはないけど朗誦する」ということは真実でない
事実7: そのコスト面がＤＮＳ名でないかまたはオンブズマンでないかあるいは両方ともならばこの執権はＤＮＳ名でない
事実8: あの野菜粗生産額は含み込むということはない

仮説: 「その検挙状況は丸くないけど朗誦する」ということは間違っている
1. 事実6と事実3から、仮説が導かれる

よって、仮説が証明されました。