あのプライマリー・バランスは八百字であるしまた今する
fact1: 「今しない」物はある fact2: 「あのプライマリー・バランスはスライド導体でそれは周知徹底する」ということは成り立たない fact3: 「北叟笑まない」物はあるなら「あのプライマリー・バランスは八百字であるしそれにそれは今する」ということは事実と異なる fact4: もしあの四角形マスクが北叟笑むとするとあのプライマリー・バランスは八百字だ fact5: 「北叟笑まない」ものはある fact6: なにかは北叟笑む fact7: もしもなにがしかの物が割り出せるということはないならそれは北叟笑むしその上予示する
fact5 & fact3 -> hypothesis;
fact5 & fact3 -> hypothesis;
あのプライマリー・バランスは八百字だし今する
fact9 -> int1: もし仮にあの四角形マスクが割り出せないとしたらそれは北叟笑むし予示する;
$facts$ = fact1: 「今しない」物はある fact2: 「あのプライマリー・バランスはスライド導体でそれは周知徹底する」ということは成り立たない fact3: 「北叟笑まない」物はあるなら「あのプライマリー・バランスは八百字であるしそれにそれは今する」ということは事実と異なる fact4: もしあの四角形マスクが北叟笑むとするとあのプライマリー・バランスは八百字だ fact5: 「北叟笑まない」ものはある fact6: なにかは北叟笑む fact7: もしもなにがしかの物が割り出せるということはないならそれは北叟笑むしその上予示する ; $hypothesis$ = あのプライマリー・バランスは八百字であるしまた今する ; $proof$ = 
fact5 & fact3 -> hypothesis; __DISPROVED__
事実1: 「今しない」物はある
事実2: 「あのプライマリー・バランスはスライド導体でそれは周知徹底する」ということは成り立たない
事実3: 「北叟笑まない」物はあるなら「あのプライマリー・バランスは八百字であるしそれにそれは今する」ということは事実と異なる
事実4: もしあの四角形マスクが北叟笑むとするとあのプライマリー・バランスは八百字だ
事実5: 「北叟笑まない」ものはある
事実6: なにかは北叟笑む
事実7: もしもなにがしかの物が割り出せるということはないならそれは北叟笑むしその上予示する

仮説: あのプライマリー・バランスは八百字であるしまた今する
1. 事実5と事実3から、仮説が否定される

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