この一点は入り口である
fact1: 仮に「その立ち退きは断定出来る」ということは事実ならばこの一点は分かち難くない fact2: 「その立ち退きは一振りするし入り口だ」ということは間違いである fact3: もし仮に「この一点は入り口であるし一振りする」ということは成り立たないとするとその立ち退きはアンチョビペーストでない fact4: 「この一点はアンチョビペーストであるしさらにそれは一振りする」ということは成り立つということはないとするとその立ち退きは入り口でない fact5: 「その立ち退きは弁論大会であるし厚し」ということは事実と異なる fact6: 分かち難くない物はセッティングするしそれにとろい fact7: もし「その立ち退きはアンチョビペーストでない」ということは成り立つとすればこの一点は入り口でない fact8: この試合当日はアンチョビペーストでない fact9: あの機知は自家用乗用車である fact10: もし「この一点は一振りするしその上アンチョビペーストだ」ということは事実と異なるならばあの立ち退きは入り口でない fact11: あの機知は入り口でない fact12: もしなにかはセッティングするとしたら入り口だ fact13: 「その立ち退きは入り口だしその上アンチョビペーストである」ということは成り立つということはない fact14: この一点はアンチョビペーストでない fact15: 「その観世音菩薩は回すしそれは一振りする」ということは間違いだ fact16: もし仮に「「その立ち退きは一振りするしかつアンチョビペーストだ」ということは事実と異なる」ということは正しいならこの一点は入り口でない fact17: 「その立ち退きは朝日ビールだし緩み易い」ということは成り立つということはない fact18: もし仮に「その立ち退きは入り口だしその上一振りする」ということは偽であるならばこの一点はアンチョビペーストだということはない fact19: 「その立ち退きは一振りするしかつアンチョビペーストだ」ということは成り立たない
fact16 & fact19 -> hypothesis;
fact16 & fact19 -> hypothesis;
「この一点は入り口である」ということは事実だ
fact21 -> int1: この一点がセッティングすればそれは入り口である; fact23 -> int2: 仮にこの一点が分かち難くないとすればセッティングするしとろい;
$facts$ = fact1: 仮に「その立ち退きは断定出来る」ということは事実ならばこの一点は分かち難くない fact2: 「その立ち退きは一振りするし入り口だ」ということは間違いである fact3: もし仮に「この一点は入り口であるし一振りする」ということは成り立たないとするとその立ち退きはアンチョビペーストでない fact4: 「この一点はアンチョビペーストであるしさらにそれは一振りする」ということは成り立つということはないとするとその立ち退きは入り口でない fact5: 「その立ち退きは弁論大会であるし厚し」ということは事実と異なる fact6: 分かち難くない物はセッティングするしそれにとろい fact7: もし「その立ち退きはアンチョビペーストでない」ということは成り立つとすればこの一点は入り口でない fact8: この試合当日はアンチョビペーストでない fact9: あの機知は自家用乗用車である fact10: もし「この一点は一振りするしその上アンチョビペーストだ」ということは事実と異なるならばあの立ち退きは入り口でない fact11: あの機知は入り口でない fact12: もしなにかはセッティングするとしたら入り口だ fact13: 「その立ち退きは入り口だしその上アンチョビペーストである」ということは成り立つということはない fact14: この一点はアンチョビペーストでない fact15: 「その観世音菩薩は回すしそれは一振りする」ということは間違いだ fact16: もし仮に「「その立ち退きは一振りするしかつアンチョビペーストだ」ということは事実と異なる」ということは正しいならこの一点は入り口でない fact17: 「その立ち退きは朝日ビールだし緩み易い」ということは成り立つということはない fact18: もし仮に「その立ち退きは入り口だしその上一振りする」ということは偽であるならばこの一点はアンチョビペーストだということはない fact19: 「その立ち退きは一振りするしかつアンチョビペーストだ」ということは成り立たない ; $hypothesis$ = この一点は入り口である ; $proof$ = 
fact16 & fact19 -> hypothesis; __DISPROVED__
事実1: 仮に「その立ち退きは断定出来る」ということは事実ならばこの一点は分かち難くない
事実2: 「その立ち退きは一振りするし入り口だ」ということは間違いである
事実3: もし仮に「この一点は入り口であるし一振りする」ということは成り立たないとするとその立ち退きはアンチョビペーストでない
事実4: 「この一点はアンチョビペーストであるしさらにそれは一振りする」ということは成り立つということはないとするとその立ち退きは入り口でない
事実5: 「その立ち退きは弁論大会であるし厚し」ということは事実と異なる
事実6: 分かち難くない物はセッティングするしそれにとろい
事実7: もし「その立ち退きはアンチョビペーストでない」ということは成り立つとすればこの一点は入り口でない
事実8: この試合当日はアンチョビペーストでない
事実9: あの機知は自家用乗用車である
事実10: もし「この一点は一振りするしその上アンチョビペーストだ」ということは事実と異なるならばあの立ち退きは入り口でない
事実11: あの機知は入り口でない
事実12: もしなにかはセッティングするとしたら入り口だ
事実13: 「その立ち退きは入り口だしその上アンチョビペーストである」ということは成り立つということはない
事実14: この一点はアンチョビペーストでない
事実15: 「その観世音菩薩は回すしそれは一振りする」ということは間違いだ
事実16: もし仮に「「その立ち退きは一振りするしかつアンチョビペーストだ」ということは事実と異なる」ということは正しいならこの一点は入り口でない
事実17: 「その立ち退きは朝日ビールだし緩み易い」ということは成り立つということはない
事実18: もし仮に「その立ち退きは入り口だしその上一振りする」ということは偽であるならばこの一点はアンチョビペーストだということはない
事実19: 「その立ち退きは一振りするしかつアンチョビペーストだ」ということは成り立たない

仮説: この一点は入り口である
1. 事実16と事実19から、仮説が否定される

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