この六月現在は志士達でない
fact1: 「「作り腫瘍活性だしさらにメタノール車である」ということは誤りな」物はある fact2: この六月現在は日報作成である fact3: 「あの環先輩は作り腫瘍活性だ」ということは成り立つ fact4: このスタペリアは終わるとすると「あの遠点は生じ難くない一方で成型条件だ」ということは誤りだ fact5: この二の腕は成型条件である fact6: もし「「生じ難くないけれど成型条件である」ということは事実と異なる」ものがあるとするとこの六月現在は志士達だ fact7: 「志士達である」ものがあればあの遠点は成型条件だ fact8: あのフランチャイズは終わる fact9: このスタペリアはちょろい fact10: 「あの遠点は成型条件であるしそれは終わる」ということは間違いである fact11: もしとあるものが終わるならばあのスタペリアは成型条件である fact12: 「あの旅行商品は講ずないけどそれは生じ難い」ということは間違いだ fact13: このスタペリアは有限要素法だ fact14: このスタペリアは終わる fact15: 「この六月現在は志士達でないが生じ難い」ということは正しくない fact16: 「この六月現在は志士達だし生じ難い」ということは嘘である
fact4 & fact14 -> int1: 「あの遠点は生じ難くないがしかし成型条件である」ということは誤っている; int1 -> int2: 「「「生じ難くないけど成型条件だ」ということは本当だ」ということは成り立たない」ものはある; int2 & fact6 -> hypothesis;
$facts$ = fact1: 「「作り腫瘍活性だしさらにメタノール車である」ということは誤りな」物はある fact2: この六月現在は日報作成である fact3: 「あの環先輩は作り腫瘍活性だ」ということは成り立つ fact4: このスタペリアは終わるとすると「あの遠点は生じ難くない一方で成型条件だ」ということは誤りだ fact5: この二の腕は成型条件である fact6: もし「「生じ難くないけれど成型条件である」ということは事実と異なる」ものがあるとするとこの六月現在は志士達だ fact7: 「志士達である」ものがあればあの遠点は成型条件だ fact8: あのフランチャイズは終わる fact9: このスタペリアはちょろい fact10: 「あの遠点は成型条件であるしそれは終わる」ということは間違いである fact11: もしとあるものが終わるならばあのスタペリアは成型条件である fact12: 「あの旅行商品は講ずないけどそれは生じ難い」ということは間違いだ fact13: このスタペリアは有限要素法だ fact14: このスタペリアは終わる fact15: 「この六月現在は志士達でないが生じ難い」ということは正しくない fact16: 「この六月現在は志士達だし生じ難い」ということは嘘である ; $hypothesis$ = この六月現在は志士達でない ; $proof$ = 
fact4 & fact14 -> int1: 「あの遠点は生じ難くないがしかし成型条件である」ということは誤っている; int1 -> int2: 「「「生じ難くないけど成型条件だ」ということは本当だ」ということは成り立たない」ものはある; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: 「「作り腫瘍活性だしさらにメタノール車である」ということは誤りな」物はある
事実2: この六月現在は日報作成である
事実3: 「あの環先輩は作り腫瘍活性だ」ということは成り立つ
事実4: このスタペリアは終わるとすると「あの遠点は生じ難くない一方で成型条件だ」ということは誤りだ
事実5: この二の腕は成型条件である
事実6: もし「「生じ難くないけれど成型条件である」ということは事実と異なる」ものがあるとするとこの六月現在は志士達だ
事実7: 「志士達である」ものがあればあの遠点は成型条件だ
事実8: あのフランチャイズは終わる
事実9: このスタペリアはちょろい
事実10: 「あの遠点は成型条件であるしそれは終わる」ということは間違いである
事実11: もしとあるものが終わるならばあのスタペリアは成型条件である
事実12: 「あの旅行商品は講ずないけどそれは生じ難い」ということは間違いだ
事実13: このスタペリアは有限要素法だ
事実14: このスタペリアは終わる
事実15: 「この六月現在は志士達でないが生じ難い」ということは正しくない
事実16: 「この六月現在は志士達だし生じ難い」ということは嘘である

仮説: この六月現在は志士達でない
1. 事実4と事実14から、推論1: "「あの遠点は生じ難くないがしかし成型条件である」ということは誤っている"が導かれる
2. 推論1から、推論2: "「「「生じ難くないけど成型条件だ」ということは本当だ」ということは成り立たない」ものはある"が導かれる
3. 推論2と事実6から、仮説が否定される

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