「「この管轄審査会は程良くてプレゼント出来る」ということは成り立たない」ということは成り立つ
fact1: もし仮にこの管轄審査会は検索出来ないとしたら「それは程良いしプレゼント出来る」ということは確かだということはない fact2: この管轄審査会はプレゼント出来る fact3: この管轄審査会は程良い fact4: もしもなにかは検索出来ないならばプレゼント出来るしそれに程良い fact5: もし「何かは乾き易いしさらに御優しい」ということは誤りだとすると「それは検索出来ない」ということは成り立つ fact6: あの第二航空戦隊は程良い fact7: この切り替えはプレゼント出来る
fact3 & fact2 -> hypothesis;
「「この管轄審査会は程良いしプレゼント出来る」ということは成り立たない」ということは成り立つ
fact8 -> int1: もしも「この管轄審査会は乾き易いし御優しい」ということは真実でないとしたら検索出来ない;
$facts$ = fact1: もし仮にこの管轄審査会は検索出来ないとしたら「それは程良いしプレゼント出来る」ということは確かだということはない fact2: この管轄審査会はプレゼント出来る fact3: この管轄審査会は程良い fact4: もしもなにかは検索出来ないならばプレゼント出来るしそれに程良い fact5: もし「何かは乾き易いしさらに御優しい」ということは誤りだとすると「それは検索出来ない」ということは成り立つ fact6: あの第二航空戦隊は程良い fact7: この切り替えはプレゼント出来る ; $hypothesis$ = 「「この管轄審査会は程良くてプレゼント出来る」ということは成り立たない」ということは成り立つ ; $proof$ = 
fact3 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮にこの管轄審査会は検索出来ないとしたら「それは程良いしプレゼント出来る」ということは確かだということはない
事実2: この管轄審査会はプレゼント出来る
事実3: この管轄審査会は程良い
事実4: もしもなにかは検索出来ないならばプレゼント出来るしそれに程良い
事実5: もし「何かは乾き易いしさらに御優しい」ということは誤りだとすると「それは検索出来ない」ということは成り立つ
事実6: あの第二航空戦隊は程良い
事実7: この切り替えはプレゼント出来る

仮説: 「「この管轄審査会は程良くてプレゼント出来る」ということは成り立たない」ということは成り立つ
1. 事実3と事実2から、仮説が否定される

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