あのＴＳは太い
fact1: 仮にそのテルプノスロゴスが申すならあのＴＳは太くない fact2: 「もし仮に「なにかは申すが太いということはない」ということは嘘だとしたら太い」ということは成り立つ fact3: その腹水癌は犯し難い fact4: もしも「何らかのものは惨たらしいということはないけど高速度価値だ」ということは成り立たないとしたら犯し難くない fact5: 仮にそのテルプノスロゴスが太いとするとあのＴＳは太い fact6: もしあの分子が選択的夫婦別姓制ならあのＴＳは行動し為さらないがしかしそれはキープする fact7: もし仮にそのテルプノスロゴスが犯し難いとすれば申す fact8: 何らかの物はキープするとすれば「それは惨たらしくてまたそれは高速度価値でない」ということは成り立たない fact9: 「あの法定様式は仏法であるかあるいはそれは行動し為さらないかどちらもだ」ということは間違いだとすれば「あの分子は行動し為さる」ということは成り立つ fact10: そのテルプノスロゴスは犯し難い fact11: 仮になにかはキープしないとすると「それは惨たらしくないけど高速度価値だ」ということは成り立たない fact12: もし仮に「太いということはない」ものがあるならあの吉兄は犯し難い fact13: 仮にあの分子が行動し為さるならそのテルプノスロゴスはキープしない fact14: もし仮になにかは犯し難くないならば「それは申す一方で太くない」ということは偽だ fact15: もし仮に「あのＴＳは惨たらしい一方でそれは高速度価値であるということはない」ということは間違っているとすればそのテルプノスロゴスは太くない
fact7 & fact10 -> int1: そのテルプノスロゴスは申す; int1 & fact1 -> hypothesis;
fact7 & fact10 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
あのＴＳは太い
fact20 -> int2: もしも「そのテルプノスロゴスは申すが太いということはない」ということは成り立たないとしたらそれは太い; fact18 -> int3: もし仮に「そのテルプノスロゴスは犯し難い」ということは真実でないならば「申すしまた太くない」ということは嘘である; fact19 -> int4: もし仮に「そのテルプノスロゴスは惨たらしくないけど高速度価値だ」ということは成り立つということはないとすれば犯し難くない; fact17 -> int5: もしそのテルプノスロゴスはキープしないとしたら「それは惨たらしいということはないけれど高速度価値だ」ということは真実でない;
$facts$ = fact1: 仮にそのテルプノスロゴスが申すならあのＴＳは太くない fact2: 「もし仮に「なにかは申すが太いということはない」ということは嘘だとしたら太い」ということは成り立つ fact3: その腹水癌は犯し難い fact4: もしも「何らかのものは惨たらしいということはないけど高速度価値だ」ということは成り立たないとしたら犯し難くない fact5: 仮にそのテルプノスロゴスが太いとするとあのＴＳは太い fact6: もしあの分子が選択的夫婦別姓制ならあのＴＳは行動し為さらないがしかしそれはキープする fact7: もし仮にそのテルプノスロゴスが犯し難いとすれば申す fact8: 何らかの物はキープするとすれば「それは惨たらしくてまたそれは高速度価値でない」ということは成り立たない fact9: 「あの法定様式は仏法であるかあるいはそれは行動し為さらないかどちらもだ」ということは間違いだとすれば「あの分子は行動し為さる」ということは成り立つ fact10: そのテルプノスロゴスは犯し難い fact11: 仮になにかはキープしないとすると「それは惨たらしくないけど高速度価値だ」ということは成り立たない fact12: もし仮に「太いということはない」ものがあるならあの吉兄は犯し難い fact13: 仮にあの分子が行動し為さるならそのテルプノスロゴスはキープしない fact14: もし仮になにかは犯し難くないならば「それは申す一方で太くない」ということは偽だ fact15: もし仮に「あのＴＳは惨たらしい一方でそれは高速度価値であるということはない」ということは間違っているとすればそのテルプノスロゴスは太くない ; $hypothesis$ = あのＴＳは太い ; $proof$ = 
fact7 & fact10 -> int1: そのテルプノスロゴスは申す; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にそのテルプノスロゴスが申すならあのＴＳは太くない
事実2: 「もし仮に「なにかは申すが太いということはない」ということは嘘だとしたら太い」ということは成り立つ
事実3: その腹水癌は犯し難い
事実4: もしも「何らかのものは惨たらしいということはないけど高速度価値だ」ということは成り立たないとしたら犯し難くない
事実5: 仮にそのテルプノスロゴスが太いとするとあのＴＳは太い
事実6: もしあの分子が選択的夫婦別姓制ならあのＴＳは行動し為さらないがしかしそれはキープする
事実7: もし仮にそのテルプノスロゴスが犯し難いとすれば申す
事実8: 何らかの物はキープするとすれば「それは惨たらしくてまたそれは高速度価値でない」ということは成り立たない
事実9: 「あの法定様式は仏法であるかあるいはそれは行動し為さらないかどちらもだ」ということは間違いだとすれば「あの分子は行動し為さる」ということは成り立つ
事実10: そのテルプノスロゴスは犯し難い
事実11: 仮になにかはキープしないとすると「それは惨たらしくないけど高速度価値だ」ということは成り立たない
事実12: もし仮に「太いということはない」ものがあるならあの吉兄は犯し難い
事実13: 仮にあの分子が行動し為さるならそのテルプノスロゴスはキープしない
事実14: もし仮になにかは犯し難くないならば「それは申す一方で太くない」ということは偽だ
事実15: もし仮に「あのＴＳは惨たらしい一方でそれは高速度価値であるということはない」ということは間違っているとすればそのテルプノスロゴスは太くない

仮説: あのＴＳは太い
1. 事実7と事実10から、推論1: "そのテルプノスロゴスは申す"が導かれる
2. 推論1と事実1から、仮説が否定される

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