この旧器は具体相である
fact1: 仮に「この旧器はタイトルらしくないけれど広まる」ということは間違っているならそれは具体相でない fact2: その英語教育政策は感じ難くない fact3: この欲情は広まる fact4: この旧器は協議決定でない fact5: 「その細胞内ドメインは感じ難いということはないが具体相である」ということは誤りである fact6: この欲情はこざっぱりするし歩き難い fact7: もしもその細胞内ドメインが感じ難くてまたそれは悩ましいとすれば「この欲情はＤＮＳでない」ということは成り立つ fact8: 仮にこの旧器は広まるということはないとすると「「この欲情はＤＮＳでないけれど感じ難い」ということは成り立つ」ということは成り立たない fact9: もし仮にこの旧器は悩ましくないとすると「その細胞内ドメインはタイトルらしいしおまけに具体相だ」ということは成り立つということはない fact10: もしも「何かは有形固定資産項目でないがしかし落ち掛かる」ということは間違いであるとすると悩ましくない fact11: この欲情は悩ましくない fact12: この旧器はＤＮＳだ fact13: この欲情はタイトルらしいということはないとすれば「この旧器は具体相でかつＤＮＳである」ということは間違っている fact14: その四品種はＤＮＳでない fact15: 仮にその細胞内ドメインは悩ましくないならば「「この旧器はタイトルらしくない一方で広まる」ということは成り立つ」ということは間違っている fact16: その細胞内ドメインが具体相だしかつタイトルらしいならこの旧器は悩ましくない fact17: もしもこの旧器が広まるしさらにそれがタイトルらしいならそれはＤＮＳでない fact18: この欲情はＤＮＳである fact19: もしもなにかは植え込まないとしたらそれは広まるしその上タイトルらしい fact20: もしこの旧器はＤＮＳであるということはないとしたら「悩ましいかあるいは感じ難くないか両方ともである」ということは真実だ fact21: その細胞内ドメインは感じ難い fact22: その嫌気性細菌は赤っぽい物で加えてＤＮＳである fact23: その最新情報は旅行商品であるしそれは悩ましい
void -> assump1: 以下のように仮定する。その細胞内ドメインは悩ましい; fact21 & assump1 -> int1: その細胞内ドメインは感じ難くて更に悩ましい; int1 & fact7 -> int2: この欲情はＤＮＳでない; int2 & fact18 -> int3: これは矛盾である; [assump1] & int3 -> int4: その細胞内ドメインは悩ましくない; int4 & fact15 -> int5: 「この旧器はタイトルらしくないけど広まる」ということは誤っている; int5 & fact1 -> hypothesis;
もし仮に「あの不当要求行為等は有形固定資産項目だということはないけどそれは落ち掛かる」ということは成り立つということはないとしたら悩ましくない
fact24 -> hypothesis;
$facts$ = fact1: 仮に「この旧器はタイトルらしくないけれど広まる」ということは間違っているならそれは具体相でない fact2: その英語教育政策は感じ難くない fact3: この欲情は広まる fact4: この旧器は協議決定でない fact5: 「その細胞内ドメインは感じ難いということはないが具体相である」ということは誤りである fact6: この欲情はこざっぱりするし歩き難い fact7: もしもその細胞内ドメインが感じ難くてまたそれは悩ましいとすれば「この欲情はＤＮＳでない」ということは成り立つ fact8: 仮にこの旧器は広まるということはないとすると「「この欲情はＤＮＳでないけれど感じ難い」ということは成り立つ」ということは成り立たない fact9: もし仮にこの旧器は悩ましくないとすると「その細胞内ドメインはタイトルらしいしおまけに具体相だ」ということは成り立つということはない fact10: もしも「何かは有形固定資産項目でないがしかし落ち掛かる」ということは間違いであるとすると悩ましくない fact11: この欲情は悩ましくない fact12: この旧器はＤＮＳだ fact13: この欲情はタイトルらしいということはないとすれば「この旧器は具体相でかつＤＮＳである」ということは間違っている fact14: その四品種はＤＮＳでない fact15: 仮にその細胞内ドメインは悩ましくないならば「「この旧器はタイトルらしくない一方で広まる」ということは成り立つ」ということは間違っている fact16: その細胞内ドメインが具体相だしかつタイトルらしいならこの旧器は悩ましくない fact17: もしもこの旧器が広まるしさらにそれがタイトルらしいならそれはＤＮＳでない fact18: この欲情はＤＮＳである fact19: もしもなにかは植え込まないとしたらそれは広まるしその上タイトルらしい fact20: もしこの旧器はＤＮＳであるということはないとしたら「悩ましいかあるいは感じ難くないか両方ともである」ということは真実だ fact21: その細胞内ドメインは感じ難い fact22: その嫌気性細菌は赤っぽい物で加えてＤＮＳである fact23: その最新情報は旅行商品であるしそれは悩ましい ; $hypothesis$ = この旧器は具体相である ; $proof$ = 
void -> assump1: 以下のように仮定する。その細胞内ドメインは悩ましい; fact21 & assump1 -> int1: その細胞内ドメインは感じ難くて更に悩ましい; int1 & fact7 -> int2: この欲情はＤＮＳでない; int2 & fact18 -> int3: これは矛盾である; [assump1] & int3 -> int4: その細胞内ドメインは悩ましくない; int4 & fact15 -> int5: 「この旧器はタイトルらしくないけど広まる」ということは誤っている; int5 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮に「この旧器はタイトルらしくないけれど広まる」ということは間違っているならそれは具体相でない
事実2: その英語教育政策は感じ難くない
事実3: この欲情は広まる
事実4: この旧器は協議決定でない
事実5: 「その細胞内ドメインは感じ難いということはないが具体相である」ということは誤りである
事実6: この欲情はこざっぱりするし歩き難い
事実7: もしもその細胞内ドメインが感じ難くてまたそれは悩ましいとすれば「この欲情はＤＮＳでない」ということは成り立つ
事実8: 仮にこの旧器は広まるということはないとすると「「この欲情はＤＮＳでないけれど感じ難い」ということは成り立つ」ということは成り立たない
事実9: もし仮にこの旧器は悩ましくないとすると「その細胞内ドメインはタイトルらしいしおまけに具体相だ」ということは成り立つということはない
事実10: もしも「何かは有形固定資産項目でないがしかし落ち掛かる」ということは間違いであるとすると悩ましくない
事実11: この欲情は悩ましくない
事実12: この旧器はＤＮＳだ
事実13: この欲情はタイトルらしいということはないとすれば「この旧器は具体相でかつＤＮＳである」ということは間違っている
事実14: その四品種はＤＮＳでない
事実15: 仮にその細胞内ドメインは悩ましくないならば「「この旧器はタイトルらしくない一方で広まる」ということは成り立つ」ということは間違っている
事実16: その細胞内ドメインが具体相だしかつタイトルらしいならこの旧器は悩ましくない
事実17: もしもこの旧器が広まるしさらにそれがタイトルらしいならそれはＤＮＳでない
事実18: この欲情はＤＮＳである
事実19: もしもなにかは植え込まないとしたらそれは広まるしその上タイトルらしい
事実20: もしこの旧器はＤＮＳであるということはないとしたら「悩ましいかあるいは感じ難くないか両方ともである」ということは真実だ
事実21: その細胞内ドメインは感じ難い
事実22: その嫌気性細菌は赤っぽい物で加えてＤＮＳである
事実23: その最新情報は旅行商品であるしそれは悩ましい

仮説: この旧器は具体相である
1. 仮定1: 以下のように仮定する。その細胞内ドメインは悩ましい
2. 事実21と仮定1から、推論1: "その細胞内ドメインは感じ難くて更に悩ましい"が導かれる
3. 推論1と事実7から、推論2: "この欲情はＤＮＳでない"が導かれる
4. 推論2と事実18から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その細胞内ドメインは悩ましくない"が導かれる
6. 推論4と事実15から、推論5: "「この旧器はタイトルらしくないけど広まる」ということは誤っている"が導かれる
7. 推論5と事実1から、仮説が否定される

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