「その速度Ｖは確認出来る」ということは事実だ
fact1: 仮に「確認出来ない一方で聞き間違う」ものはあるとすれば「その速度Ｖは新入でない」ということは正しい fact2: 「聞き間違うということはないし新入である」物があるならその速度Ｖは確認出来ない fact3: 何かは借る fact4: あの契約先は聞き間違わないがしかしそれは新入である fact5: 「中央計画素案・同要綱案でなくてかつぶっとい」ものはある fact6: 「聞き間違わないし更に確認出来る」物はある fact7: あの契約先は参加型である fact8: 「その速度Ｖは細くない」ということは事実だ fact9: その稟議は嵌まりこまないがそれは聞き間違う fact10: もしもそのガリウム砒素がリブであるとすればあの速度Ｖは聞き間違う fact11: もしある物が感覚しないならばそれが黙り続けるしその上確認出来る fact12: もし仮にこの牽連犯がリブであるならそのガリウム砒素はリブだ fact13: この牽連犯が準備完了だしリブである
fact4 -> int1: 「聞き間違うということはないし新入である」物はある; int1 & fact2 -> hypothesis;
fact4 -> int1: (Ex): (¬{A}x & {B}x); int1 & fact2 -> hypothesis;
その威儀は新入でない
fact14 -> int2: 「この牽連犯はリブだ」ということは事実だ; fact16 & int2 -> int3: 「そのガリウム砒素はリブである」ということは成り立つ; fact15 & int3 -> int4: その速度Ｖは聞き間違う; fact17 -> int5: もしもその速度Ｖが感覚しないとすれば黙り続けるしそれは確認出来る;
$facts$ = fact1: 仮に「確認出来ない一方で聞き間違う」ものはあるとすれば「その速度Ｖは新入でない」ということは正しい fact2: 「聞き間違うということはないし新入である」物があるならその速度Ｖは確認出来ない fact3: 何かは借る fact4: あの契約先は聞き間違わないがしかしそれは新入である fact5: 「中央計画素案・同要綱案でなくてかつぶっとい」ものはある fact6: 「聞き間違わないし更に確認出来る」物はある fact7: あの契約先は参加型である fact8: 「その速度Ｖは細くない」ということは事実だ fact9: その稟議は嵌まりこまないがそれは聞き間違う fact10: もしもそのガリウム砒素がリブであるとすればあの速度Ｖは聞き間違う fact11: もしある物が感覚しないならばそれが黙り続けるしその上確認出来る fact12: もし仮にこの牽連犯がリブであるならそのガリウム砒素はリブだ fact13: この牽連犯が準備完了だしリブである ; $hypothesis$ = 「その速度Ｖは確認出来る」ということは事実だ ; $proof$ = 
fact4 -> int1: 「聞き間違うということはないし新入である」物はある; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮に「確認出来ない一方で聞き間違う」ものはあるとすれば「その速度Ｖは新入でない」ということは正しい
事実2: 「聞き間違うということはないし新入である」物があるならその速度Ｖは確認出来ない
事実3: 何かは借る
事実4: あの契約先は聞き間違わないがしかしそれは新入である
事実5: 「中央計画素案・同要綱案でなくてかつぶっとい」ものはある
事実6: 「聞き間違わないし更に確認出来る」物はある
事実7: あの契約先は参加型である
事実8: 「その速度Ｖは細くない」ということは事実だ
事実9: その稟議は嵌まりこまないがそれは聞き間違う
事実10: もしもそのガリウム砒素がリブであるとすればあの速度Ｖは聞き間違う
事実11: もしある物が感覚しないならばそれが黙り続けるしその上確認出来る
事実12: もし仮にこの牽連犯がリブであるならそのガリウム砒素はリブだ
事実13: この牽連犯が準備完了だしリブである

仮説: 「その速度Ｖは確認出来る」ということは事実だ
1. 事実4から、推論1: "「聞き間違うということはないし新入である」物はある"が導かれる
2. 推論1と事実2から、仮説が否定される

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