「そのテオフィリン血中濃度は重税であるし言い辛い」ということは成り立たない
fact1: もしあの声変わりが公開するししかもそれが科するとしたらあのファイルシステムは嵩だということはない fact2: あの強硬手段は公開する fact3: そのテオフィリン血中濃度は重税だし差し出がましい fact4: もしとあるものは差し出がましかないならば「嵩でない」ということは真実だ fact5: 仮にそのテオフィリン血中濃度は言い辛くないならば「あの声変わりは科する」ということは確かである fact6: もしそのテオフィリン血中濃度が嵩だということはないならばあの阜新炭鉱は公開するしさらに差し出がましい fact7: もしも「あの声変わりは嵩でない」ということは成り立つとすれば「そのテオフィリン血中濃度が重税だしさらに言い辛い」ということは確かだということはない fact8: そのテオフィリン血中濃度は差し出がましい fact9: もしあの阜新炭鉱が嵩ならばあのファイルシステムは嵩だ fact10: そのテオフィリン血中濃度が言い辛くないならばあの声変わりは公開するししかも科する fact11: 仮にそのテオフィリン血中濃度が出し易くないとすればあの声変わりは重税であるし差し出がましい fact12: あの阜新炭鉱は嵩である fact13: 仮になにかは不溶化するということはないとすればそれは厳し過ぎるが軽くない fact14: 「あの声変わりは科しない」ということは成り立たない fact15: もしも「「そのテオフィリン血中濃度は州毎だけどロボット型でない」ということは確かである」ということは事実と異なるとしたら不溶化しない fact16: もし仮にそのテオフィリン血中濃度が厳し過ぎるが軽いということはないなら出し易くない fact17: 言い辛いものは嵩だ fact18: あのファイルシステムは理解し辛い
void -> assump1: 以下のように仮定する。そのテオフィリン血中濃度は言い辛くない; fact10 & assump1 -> int1: あの声変わりは公開するし科する; int1 & fact1 -> int2: あのファイルシステムは嵩でない; fact9 & fact12 -> int3: あのファイルシステムは嵩である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのテオフィリン血中濃度は言い辛い; fact3 -> int6: そのテオフィリン血中濃度は重税だ; int5 & int6 -> hypothesis;
あの声変わりは嵩だ
fact20 -> int7: 「あの声変わりは言い辛い」ということは成り立つとすれば嵩である; fact23 -> int8: 仮に「そのテオフィリン血中濃度は不溶化しない」ということは成り立つとすれば厳し過ぎるしさらに軽くない;
$facts$ = fact1: もしあの声変わりが公開するししかもそれが科するとしたらあのファイルシステムは嵩だということはない fact2: あの強硬手段は公開する fact3: そのテオフィリン血中濃度は重税だし差し出がましい fact4: もしとあるものは差し出がましかないならば「嵩でない」ということは真実だ fact5: 仮にそのテオフィリン血中濃度は言い辛くないならば「あの声変わりは科する」ということは確かである fact6: もしそのテオフィリン血中濃度が嵩だということはないならばあの阜新炭鉱は公開するしさらに差し出がましい fact7: もしも「あの声変わりは嵩でない」ということは成り立つとすれば「そのテオフィリン血中濃度が重税だしさらに言い辛い」ということは確かだということはない fact8: そのテオフィリン血中濃度は差し出がましい fact9: もしあの阜新炭鉱が嵩ならばあのファイルシステムは嵩だ fact10: そのテオフィリン血中濃度が言い辛くないならばあの声変わりは公開するししかも科する fact11: 仮にそのテオフィリン血中濃度が出し易くないとすればあの声変わりは重税であるし差し出がましい fact12: あの阜新炭鉱は嵩である fact13: 仮になにかは不溶化するということはないとすればそれは厳し過ぎるが軽くない fact14: 「あの声変わりは科しない」ということは成り立たない fact15: もしも「「そのテオフィリン血中濃度は州毎だけどロボット型でない」ということは確かである」ということは事実と異なるとしたら不溶化しない fact16: もし仮にそのテオフィリン血中濃度が厳し過ぎるが軽いということはないなら出し易くない fact17: 言い辛いものは嵩だ fact18: あのファイルシステムは理解し辛い ; $hypothesis$ = 「そのテオフィリン血中濃度は重税であるし言い辛い」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのテオフィリン血中濃度は言い辛くない; fact10 & assump1 -> int1: あの声変わりは公開するし科する; int1 & fact1 -> int2: あのファイルシステムは嵩でない; fact9 & fact12 -> int3: あのファイルシステムは嵩である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのテオフィリン血中濃度は言い辛い; fact3 -> int6: そのテオフィリン血中濃度は重税だ; int5 & int6 -> hypothesis; __DISPROVED__
事実1: もしあの声変わりが公開するししかもそれが科するとしたらあのファイルシステムは嵩だということはない
事実2: あの強硬手段は公開する
事実3: そのテオフィリン血中濃度は重税だし差し出がましい
事実4: もしとあるものは差し出がましかないならば「嵩でない」ということは真実だ
事実5: 仮にそのテオフィリン血中濃度は言い辛くないならば「あの声変わりは科する」ということは確かである
事実6: もしそのテオフィリン血中濃度が嵩だということはないならばあの阜新炭鉱は公開するしさらに差し出がましい
事実7: もしも「あの声変わりは嵩でない」ということは成り立つとすれば「そのテオフィリン血中濃度が重税だしさらに言い辛い」ということは確かだということはない
事実8: そのテオフィリン血中濃度は差し出がましい
事実9: もしあの阜新炭鉱が嵩ならばあのファイルシステムは嵩だ
事実10: そのテオフィリン血中濃度が言い辛くないならばあの声変わりは公開するししかも科する
事実11: 仮にそのテオフィリン血中濃度が出し易くないとすればあの声変わりは重税であるし差し出がましい
事実12: あの阜新炭鉱は嵩である
事実13: 仮になにかは不溶化するということはないとすればそれは厳し過ぎるが軽くない
事実14: 「あの声変わりは科しない」ということは成り立たない
事実15: もしも「「そのテオフィリン血中濃度は州毎だけどロボット型でない」ということは確かである」ということは事実と異なるとしたら不溶化しない
事実16: もし仮にそのテオフィリン血中濃度が厳し過ぎるが軽いということはないなら出し易くない
事実17: 言い辛いものは嵩だ
事実18: あのファイルシステムは理解し辛い

仮説: 「そのテオフィリン血中濃度は重税であるし言い辛い」ということは成り立たない
1. 仮定1: 以下のように仮定する。そのテオフィリン血中濃度は言い辛くない
2. 事実10と仮定1から、推論1: "あの声変わりは公開するし科する"が導かれる
3. 推論1と事実1から、推論2: "あのファイルシステムは嵩でない"が導かれる
4. 事実9と事実12から、推論3: "あのファイルシステムは嵩である"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "そのテオフィリン血中濃度は言い辛い"が導かれる
7. 事実3から、推論6: "そのテオフィリン血中濃度は重税だ"が導かれる
8. 推論5と推論6から、仮説が否定される

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