この科学物質は飛ばさないが漁る
fact1: もし仮にその面接時間が早世するしそれが漁るとするとこの科学物質は飛ばす fact2: もしその面接時間は丸めないがしかし早世すれば「その送り仮名は漁る」ということは成り立つ fact3: 仮に何らかの物が馴染み易くないなら飛ばさないしさらにそれは漁る fact4: 「その面接時間は丸めないがしかし漁る」ということは偽だ fact5: 「その送り仮名は漁る」ということは成り立つなら「この科学物質は飛ばすしかつ漁る」ということは間違いだ fact6: 「「その送り仮名が漁るしその上それは丸める」ということは嘘だ」ということは成り立つ fact7: もしこの科学物質は飛ばすとすると「その面接時間は早世しないがしかし飛ばす」ということは間違っている fact8: もし仮にその送り仮名は漁るとすると「この科学物質は飛ばさないけれど漁る」ということは成り立たない fact9: その面接時間は丸めないけれど早世する fact10: その面接時間は丸めない
fact2 & fact9 -> int1: その送り仮名は漁る; int1 & fact8 -> hypothesis;
fact2 & fact9 -> int1: {B}{b}; int1 & fact8 -> hypothesis;
この科学物質は飛ばすということはないがしかしそれは漁る
fact11 -> int2: もしこの科学物質が馴染み易いということはないならそれは飛ばすということはない一方で漁る;
$facts$ = fact1: もし仮にその面接時間が早世するしそれが漁るとするとこの科学物質は飛ばす fact2: もしその面接時間は丸めないがしかし早世すれば「その送り仮名は漁る」ということは成り立つ fact3: 仮に何らかの物が馴染み易くないなら飛ばさないしさらにそれは漁る fact4: 「その面接時間は丸めないがしかし漁る」ということは偽だ fact5: 「その送り仮名は漁る」ということは成り立つなら「この科学物質は飛ばすしかつ漁る」ということは間違いだ fact6: 「「その送り仮名が漁るしその上それは丸める」ということは嘘だ」ということは成り立つ fact7: もしこの科学物質は飛ばすとすると「その面接時間は早世しないがしかし飛ばす」ということは間違っている fact8: もし仮にその送り仮名は漁るとすると「この科学物質は飛ばさないけれど漁る」ということは成り立たない fact9: その面接時間は丸めないけれど早世する fact10: その面接時間は丸めない ; $hypothesis$ = この科学物質は飛ばさないが漁る ; $proof$ = 
fact2 & fact9 -> int1: その送り仮名は漁る; int1 & fact8 -> hypothesis; __DISPROVED__
事実1: もし仮にその面接時間が早世するしそれが漁るとするとこの科学物質は飛ばす
事実2: もしその面接時間は丸めないがしかし早世すれば「その送り仮名は漁る」ということは成り立つ
事実3: 仮に何らかの物が馴染み易くないなら飛ばさないしさらにそれは漁る
事実4: 「その面接時間は丸めないがしかし漁る」ということは偽だ
事実5: 「その送り仮名は漁る」ということは成り立つなら「この科学物質は飛ばすしかつ漁る」ということは間違いだ
事実6: 「「その送り仮名が漁るしその上それは丸める」ということは嘘だ」ということは成り立つ
事実7: もしこの科学物質は飛ばすとすると「その面接時間は早世しないがしかし飛ばす」ということは間違っている
事実8: もし仮にその送り仮名は漁るとすると「この科学物質は飛ばさないけれど漁る」ということは成り立たない
事実9: その面接時間は丸めないけれど早世する
事実10: その面接時間は丸めない

仮説: この科学物質は飛ばさないが漁る
1. 事実2と事実9から、推論1: "その送り仮名は漁る"が導かれる
2. 推論1と事実8から、仮説が否定される

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