あの絵入りは御強い
fact1: もし何らかの物は証文でないなら落下する一方でめでたしない fact2: あの絵入りは東欧諸国でない fact3: もし仮にその得票率が選別機でないとするとそれは証文で加えて人世でない fact4: もし「あのノックアウトは落下するしおまけにそれは慎み深い」ということは事実と異なるとしたら落下しない fact5: あのノックアウトはめでたしないか東欧諸国でない fact6: そのレカロ・シートは選別機である fact7: あのノックアウトは慎み深い fact8: 仮に何らかのものが痛ましくて加えて証文であるならばその得票率は人世であるということはない fact9: もしもそのレカロ・シートが修復すらないし更に東欧諸国でないならばその得票率は慎み深い fact10: そのレカロ・シートは東欧諸国でない fact11: そのレカロ・シートはルネサンス期であるし会する fact12: 「あのノックアウトが証文でないとすればあのノックアウトはめでたしということはない」ということは本当である fact13: もしもあのノックアウトが修復すらないがそれがめでたしとすればあの絵入りは御強い fact14: もしも何かは人世でないなら「それは痛ましくないものであって更に証文だ」ということは成り立つということはない fact15: 仮にとある物が落下しないとするとそれは人世だ fact16: その得票率は痛ましい fact17: もしもその得票率は人世であるということはないとすればそれは修復すらない fact18: もし「その得票率は慎み深くなくて更に東欧諸国でない」ということは誤っているならめでたしない fact19: そのレカロ・シートが選別機ならばそれは修復すらないし東欧諸国でない fact20: もしもあのノックアウトが落下するとしたらあの絵入りは御強くない fact21: もし仮になんらかの物が慎み深いならそれは人世だ fact22: その対極板は人世である fact23: 貧し物はある fact24: もし「あのノックアウトはめでたしないか東欧諸国でないかあるいはどちらもだ」ということは事実であるとすればめでたしない fact25: 何かは証文だし御強い fact26: そのレカロ・シートは証文であるということはなくておまけに東欧諸国でない fact27: その得票率は御強くない fact28: あのノックアウトは痛ましい
void -> assump1: 以下のように仮定する。あのノックアウトは証文である; fact28 & assump1 -> int1: あのノックアウトは痛ましいしそれにそれは証文である; int1 -> int2: なんらかの物は痛ましいしおまけにそれは証文である; int2 & fact8 -> int3: その得票率は人世でない; fact21 -> int4: もしもその得票率が慎み深いとすると人世だ; fact19 & fact6 -> int5: そのレカロ・シートは修復すらないし加えて東欧諸国でない; int5 & fact9 -> int6: その得票率は慎み深い; int4 & int6 -> int7: その得票率は人世である; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あのノックアウトは証文でない; fact1 -> int10: あのノックアウトが証文でないならそれは落下するしめでたしない; int9 & int10 -> int11: あのノックアウトは落下するけれどめでたしない; int11 -> int12: あのノックアウトは落下する; int12 & fact20 -> hypothesis;
あの絵入りは御強い
fact29 -> int13: もし「あのノックアウトは落下しない」ということは真実であるなら「それは人世である」ということは成り立つ; fact31 & fact32 -> int14: あのノックアウトはめでたしない;
$facts$ = fact1: もし何らかの物は証文でないなら落下する一方でめでたしない fact2: あの絵入りは東欧諸国でない fact3: もし仮にその得票率が選別機でないとするとそれは証文で加えて人世でない fact4: もし「あのノックアウトは落下するしおまけにそれは慎み深い」ということは事実と異なるとしたら落下しない fact5: あのノックアウトはめでたしないか東欧諸国でない fact6: そのレカロ・シートは選別機である fact7: あのノックアウトは慎み深い fact8: 仮に何らかのものが痛ましくて加えて証文であるならばその得票率は人世であるということはない fact9: もしもそのレカロ・シートが修復すらないし更に東欧諸国でないならばその得票率は慎み深い fact10: そのレカロ・シートは東欧諸国でない fact11: そのレカロ・シートはルネサンス期であるし会する fact12: 「あのノックアウトが証文でないとすればあのノックアウトはめでたしということはない」ということは本当である fact13: もしもあのノックアウトが修復すらないがそれがめでたしとすればあの絵入りは御強い fact14: もしも何かは人世でないなら「それは痛ましくないものであって更に証文だ」ということは成り立つということはない fact15: 仮にとある物が落下しないとするとそれは人世だ fact16: その得票率は痛ましい fact17: もしもその得票率は人世であるということはないとすればそれは修復すらない fact18: もし「その得票率は慎み深くなくて更に東欧諸国でない」ということは誤っているならめでたしない fact19: そのレカロ・シートが選別機ならばそれは修復すらないし東欧諸国でない fact20: もしもあのノックアウトが落下するとしたらあの絵入りは御強くない fact21: もし仮になんらかの物が慎み深いならそれは人世だ fact22: その対極板は人世である fact23: 貧し物はある fact24: もし「あのノックアウトはめでたしないか東欧諸国でないかあるいはどちらもだ」ということは事実であるとすればめでたしない fact25: 何かは証文だし御強い fact26: そのレカロ・シートは証文であるということはなくておまけに東欧諸国でない fact27: その得票率は御強くない fact28: あのノックアウトは痛ましい ; $hypothesis$ = あの絵入りは御強い ; $proof$ = 
void -> assump1: 以下のように仮定する。あのノックアウトは証文である; fact28 & assump1 -> int1: あのノックアウトは痛ましいしそれにそれは証文である; int1 -> int2: なんらかの物は痛ましいしおまけにそれは証文である; int2 & fact8 -> int3: その得票率は人世でない; fact21 -> int4: もしもその得票率が慎み深いとすると人世だ; fact19 & fact6 -> int5: そのレカロ・シートは修復すらないし加えて東欧諸国でない; int5 & fact9 -> int6: その得票率は慎み深い; int4 & int6 -> int7: その得票率は人世である; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あのノックアウトは証文でない; fact1 -> int10: あのノックアウトが証文でないならそれは落下するしめでたしない; int9 & int10 -> int11: あのノックアウトは落下するけれどめでたしない; int11 -> int12: あのノックアウトは落下する; int12 & fact20 -> 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: 貧し物はある
事実24: もし「あのノックアウトはめでたしないか東欧諸国でないかあるいはどちらもだ」ということは事実であるとすればめでたしない
事実25: 何かは証文だし御強い
事実26: そのレカロ・シートは証文であるということはなくておまけに東欧諸国でない
事実27: その得票率は御強くない
事実28: あのノックアウトは痛ましい

仮説: あの絵入りは御強い
1. 仮定1: 以下のように仮定する。あのノックアウトは証文である
2. 事実28と仮定1から、推論1: "あのノックアウトは痛ましいしそれにそれは証文である"が導かれる
3. 推論1から、推論2: "なんらかの物は痛ましいしおまけにそれは証文である"が導かれる
4. 推論2と事実8から、推論3: "その得票率は人世でない"が導かれる
5. 事実21から、推論4: "もしもその得票率が慎み深いとすると人世だ"が導かれる
6. 事実19と事実6から、推論5: "そのレカロ・シートは修復すらないし加えて東欧諸国でない"が導かれる
7. 推論5と事実9から、推論6: "その得票率は慎み深い"が導かれる
8. 推論4と推論6から、推論7: "その得票率は人世である"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あのノックアウトは証文でない"が導かれる
11. 事実1から、推論10: "あのノックアウトが証文でないならそれは落下するしめでたしない"が導かれる
12. 推論9と推論10から、推論11: "あのノックアウトは落下するけれどめでたしない"が導かれる
13. 推論11から、推論12: "あのノックアウトは落下する"が導かれる
14. 推論12と事実20から、仮説が否定される

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