「そのフロアモップは調査回答フォーマットでないし形成し易いということはない」ということは確かであるということはない
fact1: あの二百四十六号線は描き出さない fact2: 仮に「描き出さない」ものがあるならばあのフロアモップは調査回答フォーマットでなくて形成し易くない fact3: もし何らかの物が遣り切れないとすると描き出すしそれは急浮上する fact4: もし仮になんらかのものは描き出すなら「それは調査回答フォーマットでなくておまけに形成し易くない」ということは成り立たない fact5: そのフロアモップは跳ね飛ばない
fact1 -> int1: 「描き出さない」物はある; int1 & fact2 -> hypothesis;
「そのフロアモップは調査回答フォーマットでないしその上形成し易いない」ということは誤りだ
fact7 -> int2: もし仮にそのフロアモップは描き出すとすると「調査回答フォーマットでないしそれは形成し易くない」ということは間違っている; fact6 -> int3: 仮にそのフロアモップは遣り切れないとすれば「描き出すし急浮上する」ということは誤りでない;
$facts$ = fact1: あの二百四十六号線は描き出さない fact2: 仮に「描き出さない」ものがあるならばあのフロアモップは調査回答フォーマットでなくて形成し易くない fact3: もし何らかの物が遣り切れないとすると描き出すしそれは急浮上する fact4: もし仮になんらかのものは描き出すなら「それは調査回答フォーマットでなくておまけに形成し易くない」ということは成り立たない fact5: そのフロアモップは跳ね飛ばない ; $hypothesis$ = 「そのフロアモップは調査回答フォーマットでないし形成し易いということはない」ということは確かであるということはない ; $proof$ = 
fact1 -> int1: 「描き出さない」物はある; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: あの二百四十六号線は描き出さない
事実2: 仮に「描き出さない」ものがあるならばあのフロアモップは調査回答フォーマットでなくて形成し易くない
事実3: もし何らかの物が遣り切れないとすると描き出すしそれは急浮上する
事実4: もし仮になんらかのものは描き出すなら「それは調査回答フォーマットでなくておまけに形成し易くない」ということは成り立たない
事実5: そのフロアモップは跳ね飛ばない

仮説: 「そのフロアモップは調査回答フォーマットでないし形成し易いということはない」ということは確かであるということはない
1. 事実1から、推論1: "「描き出さない」物はある"が導かれる
2. 推論1と事実2から、仮説が否定される

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