その筆記は観察し易い
fact1: もしあの取り付け部が水分であるし加えてそれが楽しとするとその筆記は観察し易いということはない fact2: あの取り付け部は水分である fact3: あの取り付け部は楽し fact4: その筆記は水分でない fact5: その緑十字は観察し易いということはない
fact2 & fact3 -> int1: あの取り付け部は水分であるしその上それは楽し; int1 & fact1 -> hypothesis;
$facts$ = fact1: もしあの取り付け部が水分であるし加えてそれが楽しとするとその筆記は観察し易いということはない fact2: あの取り付け部は水分である fact3: あの取り付け部は楽し fact4: その筆記は水分でない fact5: その緑十字は観察し易いということはない ; $hypothesis$ = その筆記は観察し易い ; $proof$ = 
fact2 & fact3 -> int1: あの取り付け部は水分であるしその上それは楽し; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もしあの取り付け部が水分であるし加えてそれが楽しとするとその筆記は観察し易いということはない
事実2: あの取り付け部は水分である
事実3: あの取り付け部は楽し
事実4: その筆記は水分でない
事実5: その緑十字は観察し易いということはない

仮説: その筆記は観察し易い
1. 事実2と事実3から、推論1: "あの取り付け部は水分であるしその上それは楽し"が導かれる
2. 推論1と事実1から、仮説が否定される

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