そのＴＵは捏造する
fact1: もし仮に何らかのものは捏造しないならば「授けないしさらにそれは中学校以上だ」ということは誤りだ fact2: あの野山は元ねたでない fact3: このポストフォーディズムは中学校以上であるということはなくてかつ元ねたでない fact4: このポストフォーディズムが中学校以上だということはないが元ねただとしたらそのＴＵは捏造しない fact5: そのＴＵは元ねたでない fact6: もしもとある物は一杯するなら「それは成人しない一方で遺棄する」ということは成り立たない fact7: 「このポストフォーディズムは馴れ馴れしいということはない」ということは事実である fact8: もし仮にこのポストフォーディズムが中学校以上でないし元ねたでないならそのＴＵは捏造するということはない fact9: もしこのポストフォーディズムは中学校以上だが元ねたでないとしたら「そのＴＵは捏造しない」ということは正しい fact10: 何らかの物は遺棄しないし授けないとすれば捏造する fact11: もしも「とある物は成人しないがそれは遺棄する」ということは事実と異なるとすれば「捏造しない」ということは成り立つ fact12: この自殺行為は作り始めないとしたら「それは一杯しないし加えてそれは懐こくない」ということは間違っている
fact8 & fact3 -> hypothesis;
fact8 & fact3 -> hypothesis;
そのＴＵは捏造する
fact13 -> int1: もし仮にそのＴＵが遺棄しないしまた授けないなら捏造する;
$facts$ = fact1: もし仮に何らかのものは捏造しないならば「授けないしさらにそれは中学校以上だ」ということは誤りだ fact2: あの野山は元ねたでない fact3: このポストフォーディズムは中学校以上であるということはなくてかつ元ねたでない fact4: このポストフォーディズムが中学校以上だということはないが元ねただとしたらそのＴＵは捏造しない fact5: そのＴＵは元ねたでない fact6: もしもとある物は一杯するなら「それは成人しない一方で遺棄する」ということは成り立たない fact7: 「このポストフォーディズムは馴れ馴れしいということはない」ということは事実である fact8: もし仮にこのポストフォーディズムが中学校以上でないし元ねたでないならそのＴＵは捏造するということはない fact9: もしこのポストフォーディズムは中学校以上だが元ねたでないとしたら「そのＴＵは捏造しない」ということは正しい fact10: 何らかの物は遺棄しないし授けないとすれば捏造する fact11: もしも「とある物は成人しないがそれは遺棄する」ということは事実と異なるとすれば「捏造しない」ということは成り立つ fact12: この自殺行為は作り始めないとしたら「それは一杯しないし加えてそれは懐こくない」ということは間違っている ; $hypothesis$ = そのＴＵは捏造する ; $proof$ = 
fact8 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮に何らかのものは捏造しないならば「授けないしさらにそれは中学校以上だ」ということは誤りだ
事実2: あの野山は元ねたでない
事実3: このポストフォーディズムは中学校以上であるということはなくてかつ元ねたでない
事実4: このポストフォーディズムが中学校以上だということはないが元ねただとしたらそのＴＵは捏造しない
事実5: そのＴＵは元ねたでない
事実6: もしもとある物は一杯するなら「それは成人しない一方で遺棄する」ということは成り立たない
事実7: 「このポストフォーディズムは馴れ馴れしいということはない」ということは事実である
事実8: もし仮にこのポストフォーディズムが中学校以上でないし元ねたでないならそのＴＵは捏造するということはない
事実9: もしこのポストフォーディズムは中学校以上だが元ねたでないとしたら「そのＴＵは捏造しない」ということは正しい
事実10: 何らかの物は遺棄しないし授けないとすれば捏造する
事実11: もしも「とある物は成人しないがそれは遺棄する」ということは事実と異なるとすれば「捏造しない」ということは成り立つ
事実12: この自殺行為は作り始めないとしたら「それは一杯しないし加えてそれは懐こくない」ということは間違っている

仮説: そのＴＵは捏造する
1. 事実8と事実3から、仮説が否定される

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