「この板は志望でない」ということは成り立つ
fact1: この板は映像表現である fact2: この板はセーブであるしまたそれは理解し辛い fact3: この板は射通すし更に志望である fact4: その泥仕合は志望である fact5: その質問票は住める fact6: この板が与え易いしその上間断無い fact7: この板は射通す fact8: もしもそのキリシタン坂がトラックボールでないならばこの板は一次試験であるしそれに射通す fact9: この板は上気する fact10: もしなんらかの物が一次試験でないかまたはそれは志望でないならそれは志望でない fact11: このちび助は文通するし志望だ fact12: 「何らかの物はトラックボールである一方で切なくない」ということは成り立たないとしたらトラックボールでない fact13: この板は射通すし加えてそれは船尾だ fact14: この板は貧乏臭い fact15: その基督教は射通す
fact3 -> hypothesis;
fact3 -> hypothesis;
この改善点は志望である
fact18 -> int1: 「もし「そのキリシタン坂はトラックボールであるけど切なくない」ということは成り立たないとするとそのキリシタン坂はトラックボールでない」ということは成り立つ; fact16 -> int2: 「住める」物はある;
$facts$ = fact1: この板は映像表現である fact2: この板はセーブであるしまたそれは理解し辛い fact3: この板は射通すし更に志望である fact4: その泥仕合は志望である fact5: その質問票は住める fact6: この板が与え易いしその上間断無い fact7: この板は射通す fact8: もしもそのキリシタン坂がトラックボールでないならばこの板は一次試験であるしそれに射通す fact9: この板は上気する fact10: もしなんらかの物が一次試験でないかまたはそれは志望でないならそれは志望でない fact11: このちび助は文通するし志望だ fact12: 「何らかの物はトラックボールである一方で切なくない」ということは成り立たないとしたらトラックボールでない fact13: この板は射通すし加えてそれは船尾だ fact14: この板は貧乏臭い fact15: その基督教は射通す ; $hypothesis$ = 「この板は志望でない」ということは成り立つ ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: この板は映像表現である
事実2: この板はセーブであるしまたそれは理解し辛い
事実3: この板は射通すし更に志望である
事実4: その泥仕合は志望である
事実5: その質問票は住める
事実6: この板が与え易いしその上間断無い
事実7: この板は射通す
事実8: もしもそのキリシタン坂がトラックボールでないならばこの板は一次試験であるしそれに射通す
事実9: この板は上気する
事実10: もしなんらかの物が一次試験でないかまたはそれは志望でないならそれは志望でない
事実11: このちび助は文通するし志望だ
事実12: 「何らかの物はトラックボールである一方で切なくない」ということは成り立たないとしたらトラックボールでない
事実13: この板は射通すし加えてそれは船尾だ
事実14: この板は貧乏臭い
事実15: その基督教は射通す

仮説: 「この板は志望でない」ということは成り立つ
1. 事実3から、仮説が否定される

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