「この御家人達は西下するけれどそれは引き継げない」ということは事実と異なる
fact1: もし仮になにかは演奏するということはないしその上程無くないとしたら出掛ける fact2: 「この御家人達は西下するけど引き継げない」ということは成り立たない fact3: もしも何かは出掛けるとするとアデニンである fact4: 仮にその閉ループ離散時間モデルが暮れるとしたら演奏しない fact5: この推測は扱い易いということはない fact6: この流れ全体は来為さらない fact7: この流し型が危なっかしくないとするとその閉ループ離散時間モデルは政府サービスでその上暮れる fact8: もし「扱い易くなくてそれに空恐ろしくない」ものがあるならその閉ループ離散時間モデルは程無くない fact9: 「あの通信制は限り無いが御固くない」ということは成り立たない fact10: なにがしかのものがアデニンであるとすれば女だてらでなくて心優しい fact11: 「この御家人達は西下するしそれに引き継げる」ということは成り立たない fact12: もしもこの流れ全体が引き始めないしおまけに空恐ろしいということはないとすればあの推測は空恐ろしくない fact13: 仮にこの流れ全体が来為さらないとするとそれは引き始めるということはないしさらに空恐ろしくない fact14: この流し型は危なっかしいということはない
fact2 -> hypothesis;
fact2 -> hypothesis;
この御家人達は西下するがそれは引き継げない
fact21 -> int1: もしもその閉ループ離散時間モデルがアデニンだとしたら女だてらでない一方で心優しい; fact19 -> int2: もしもその閉ループ離散時間モデルが出掛けるとしたらそれはアデニンである; fact23 -> int3: もしもその閉ループ離散時間モデルが演奏するということはないし程無くないならそれは出掛ける; fact16 & fact17 -> int4: その閉ループ離散時間モデルは政府サービスであるし暮れる; int4 -> int5: その閉ループ離散時間モデルは暮れる; fact22 & int5 -> int6: その閉ループ離散時間モデルは演奏しない; fact20 & fact18 -> int7: この流れ全体は引き始めないし空恐ろしくない; fact24 & int7 -> int8: この推測は空恐ろしくない; fact25 & int8 -> int9: この推測は扱い易くなくて空恐ろしくない; int9 -> int10: 「扱い易くないし空恐ろしくない」物はある; int10 & fact15 -> int11: その閉ループ離散時間モデルは程無くない; int6 & int11 -> int12: その閉ループ離散時間モデルは演奏しなくて程無くない; int3 & int12 -> int13: 「その閉ループ離散時間モデルは出掛ける」ということは本当だ; int2 & int13 -> int14: その閉ループ離散時間モデルはアデニンだ; int1 & int14 -> int15: その閉ループ離散時間モデルは女だてらでないけれど心優しい; int15 -> int16: 「その閉ループ離散時間モデルは女だてらでない」ということは間違いでない; int16 -> int17: 「女だてらでない」物はある;
$facts$ = fact1: もし仮になにかは演奏するということはないしその上程無くないとしたら出掛ける fact2: 「この御家人達は西下するけど引き継げない」ということは成り立たない fact3: もしも何かは出掛けるとするとアデニンである fact4: 仮にその閉ループ離散時間モデルが暮れるとしたら演奏しない fact5: この推測は扱い易いということはない fact6: この流れ全体は来為さらない fact7: この流し型が危なっかしくないとするとその閉ループ離散時間モデルは政府サービスでその上暮れる fact8: もし「扱い易くなくてそれに空恐ろしくない」ものがあるならその閉ループ離散時間モデルは程無くない fact9: 「あの通信制は限り無いが御固くない」ということは成り立たない fact10: なにがしかのものがアデニンであるとすれば女だてらでなくて心優しい fact11: 「この御家人達は西下するしそれに引き継げる」ということは成り立たない fact12: もしもこの流れ全体が引き始めないしおまけに空恐ろしいということはないとすればあの推測は空恐ろしくない fact13: 仮にこの流れ全体が来為さらないとするとそれは引き始めるということはないしさらに空恐ろしくない fact14: この流し型は危なっかしいということはない ; $hypothesis$ = 「この御家人達は西下するけれどそれは引き継げない」ということは事実と異なる ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もし仮になにかは演奏するということはないしその上程無くないとしたら出掛ける
事実2: 「この御家人達は西下するけど引き継げない」ということは成り立たない
事実3: もしも何かは出掛けるとするとアデニンである
事実4: 仮にその閉ループ離散時間モデルが暮れるとしたら演奏しない
事実5: この推測は扱い易いということはない
事実6: この流れ全体は来為さらない
事実7: この流し型が危なっかしくないとするとその閉ループ離散時間モデルは政府サービスでその上暮れる
事実8: もし「扱い易くなくてそれに空恐ろしくない」ものがあるならその閉ループ離散時間モデルは程無くない
事実9: 「あの通信制は限り無いが御固くない」ということは成り立たない
事実10: なにがしかのものがアデニンであるとすれば女だてらでなくて心優しい
事実11: 「この御家人達は西下するしそれに引き継げる」ということは成り立たない
事実12: もしもこの流れ全体が引き始めないしおまけに空恐ろしいということはないとすればあの推測は空恐ろしくない
事実13: 仮にこの流れ全体が来為さらないとするとそれは引き始めるということはないしさらに空恐ろしくない
事実14: この流し型は危なっかしいということはない

仮説: 「この御家人達は西下するけれどそれは引き継げない」ということは事実と異なる
1. 事実2から、仮説が導かれる

よって、仮説が証明されました。