「その漂着人は細長いかまたはそれは読解しないかどちらもだ」ということは誤りである
fact1: 仮にその漂着人は算盤であるとすれば「それは細長いかあるいは読解しない」ということは成り立たない fact2: もし仮にその漂着人は算盤であるとすれば細長くない fact3: もしもこの土堤が持ち易いならばそれは嫌らしい fact4: 「その漂着人は一貫するかもしくはそれは教育相談担当でない」ということは誤りだ fact5: もしもこの土堤が近付き難いならば持ち易い fact6: なにかは算盤であるということはないならそれは細長いかまたは読解しない fact7: もし仮に「その神戸本社は弁解がましいということはないがしかし揃える」ということは嘘だとしたらその漂着人は揃えない fact8: 仮に「この餅搗きが弁解はましくらない」ということは誤っていないとすればあの神戸本社は揃えるということはない fact9: この三日付けは猛り狂う fact10: その漂着人は細長いということはない fact11: 仮にあの市制は維持するとすれば「粗いか読解しない」ということは誤りだ fact12: 仮にその漂着人が揃えるということはないならこの社内公募は算盤だし細長い fact13: この土堤は遠過ぎるし更に嫌らしい fact14: もし仮にこの三日付けが猛り狂うとしたらそれは内部構造でない fact15: 「その漂着人は三十拍であるかそれは紡ぎ出しないかもしくは両方だ」ということは成り立たない fact16: その二試合は読解する fact17: もしもあの管弦楽は行うとすれば「それは零れ落ちるか算盤でないかあるいは両方だ」ということは成り立たない fact18: もし仮に「「その神戸本社は遠過ぎるしまたそれは算盤である」ということは偽であるということはない」ということは成り立たないならばその漂着人は算盤でない fact19: その漂着人は算盤だ fact20: その漂着人は生食する fact21: もしもなんらかの物は揃えないなら「「それは遠過ぎるし算盤である」ということは真実である」ということは誤りだ
fact1 & fact19 -> hypothesis;
fact1 & fact19 -> hypothesis;
その漂着人は細長いかあるいは読解しない
fact26 -> int1: 仮にその漂着人は算盤でないならば細長いか読解しないかまたはどちらもである; fact23 -> int2: 「もしその神戸本社は揃えないなら「その神戸本社は遠過ぎるし算盤である」ということは事実でない」ということは成り立つ; fact22 & fact27 -> int3: この三日付けは内部構造でない; int3 -> int4: 何らかの物は内部構造でない;
$facts$ = fact1: 仮にその漂着人は算盤であるとすれば「それは細長いかあるいは読解しない」ということは成り立たない fact2: もし仮にその漂着人は算盤であるとすれば細長くない fact3: もしもこの土堤が持ち易いならばそれは嫌らしい fact4: 「その漂着人は一貫するかもしくはそれは教育相談担当でない」ということは誤りだ fact5: もしもこの土堤が近付き難いならば持ち易い fact6: なにかは算盤であるということはないならそれは細長いかまたは読解しない fact7: もし仮に「その神戸本社は弁解がましいということはないがしかし揃える」ということは嘘だとしたらその漂着人は揃えない fact8: 仮に「この餅搗きが弁解はましくらない」ということは誤っていないとすればあの神戸本社は揃えるということはない fact9: この三日付けは猛り狂う fact10: その漂着人は細長いということはない fact11: 仮にあの市制は維持するとすれば「粗いか読解しない」ということは誤りだ fact12: 仮にその漂着人が揃えるということはないならこの社内公募は算盤だし細長い fact13: この土堤は遠過ぎるし更に嫌らしい fact14: もし仮にこの三日付けが猛り狂うとしたらそれは内部構造でない fact15: 「その漂着人は三十拍であるかそれは紡ぎ出しないかもしくは両方だ」ということは成り立たない fact16: その二試合は読解する fact17: もしもあの管弦楽は行うとすれば「それは零れ落ちるか算盤でないかあるいは両方だ」ということは成り立たない fact18: もし仮に「「その神戸本社は遠過ぎるしまたそれは算盤である」ということは偽であるということはない」ということは成り立たないならばその漂着人は算盤でない fact19: その漂着人は算盤だ fact20: その漂着人は生食する fact21: もしもなんらかの物は揃えないなら「「それは遠過ぎるし算盤である」ということは真実である」ということは誤りだ ; $hypothesis$ = 「その漂着人は細長いかまたはそれは読解しないかどちらもだ」ということは誤りである ; $proof$ = 
fact1 & fact19 -> hypothesis; __PROVED__
事実1: 仮にその漂着人は算盤であるとすれば「それは細長いかあるいは読解しない」ということは成り立たない
事実2: もし仮にその漂着人は算盤であるとすれば細長くない
事実3: もしもこの土堤が持ち易いならばそれは嫌らしい
事実4: 「その漂着人は一貫するかもしくはそれは教育相談担当でない」ということは誤りだ
事実5: もしもこの土堤が近付き難いならば持ち易い
事実6: なにかは算盤であるということはないならそれは細長いかまたは読解しない
事実7: もし仮に「その神戸本社は弁解がましいということはないがしかし揃える」ということは嘘だとしたらその漂着人は揃えない
事実8: 仮に「この餅搗きが弁解はましくらない」ということは誤っていないとすればあの神戸本社は揃えるということはない
事実9: この三日付けは猛り狂う
事実10: その漂着人は細長いということはない
事実11: 仮にあの市制は維持するとすれば「粗いか読解しない」ということは誤りだ
事実12: 仮にその漂着人が揃えるということはないならこの社内公募は算盤だし細長い
事実13: この土堤は遠過ぎるし更に嫌らしい
事実14: もし仮にこの三日付けが猛り狂うとしたらそれは内部構造でない
事実15: 「その漂着人は三十拍であるかそれは紡ぎ出しないかもしくは両方だ」ということは成り立たない
事実16: その二試合は読解する
事実17: もしもあの管弦楽は行うとすれば「それは零れ落ちるか算盤でないかあるいは両方だ」ということは成り立たない
事実18: もし仮に「「その神戸本社は遠過ぎるしまたそれは算盤である」ということは偽であるということはない」ということは成り立たないならばその漂着人は算盤でない
事実19: その漂着人は算盤だ
事実20: その漂着人は生食する
事実21: もしもなんらかの物は揃えないなら「「それは遠過ぎるし算盤である」ということは真実である」ということは誤りだ

仮説: 「その漂着人は細長いかまたはそれは読解しないかどちらもだ」ということは誤りである
1. 事実1と事実19から、仮説が導かれる

よって、仮説が証明されました。