そのソビエト人は作り難くない一方で嘘っぽい
fact1: 仮になにかはＲＴ‐ＰＣＲでないなら守り易いしその上ポンド売りである fact2: あの給水使用量は嘘っぽくない一方でそれはリサイクル出来る fact3: もしもなにかはＲＴ‐ＰＣＲであるとすればそのソビエト人は減退する fact4: そのソビエト人はレコーディングしないけれど文字色だ fact5: そのソビエト人は滞在しない一方で改選である fact6: 「この調印式は作り難いということはない」ということは成り立つ fact7: もし仮に何かは守り易いししかもポンド売りだとすればそのソビエト人は上昇し易くない fact8: そのソビエト人は齎し易くないが命令等である fact9: どれもこれもは生活関係であるということはなくて加えてそれは痛い fact10: もしもそのキーフレームは生活関係でないなら守り易いししかもポンド売りだ fact11: そのソビエト人は作り難くない一方で嘘っぽい fact12: そのばあかは間違え易くないけど嘘っぽい fact13: そのソビエト人は濃縮製剤でないけれど営巣する fact14: そのソビエト人は好ましないけれどそれは取り越す fact15: そのソビエト人は嘘っぽい fact16: そのエアコン付けＷが酷いということはないとすればその災害救助はＲＴ‐ＰＣＲであるししかも国技だ
fact11 -> hypothesis;
fact11 -> hypothesis;
「そのソビエト人は作り難くないが嘘っぽい」ということは正しくない
fact17 -> int1: そのキーフレームはＲＴ‐ＰＣＲでないとするとそれは守り易い物でポンド売りだ;
$facts$ = fact1: 仮になにかはＲＴ‐ＰＣＲでないなら守り易いしその上ポンド売りである fact2: あの給水使用量は嘘っぽくない一方でそれはリサイクル出来る fact3: もしもなにかはＲＴ‐ＰＣＲであるとすればそのソビエト人は減退する fact4: そのソビエト人はレコーディングしないけれど文字色だ fact5: そのソビエト人は滞在しない一方で改選である fact6: 「この調印式は作り難いということはない」ということは成り立つ fact7: もし仮に何かは守り易いししかもポンド売りだとすればそのソビエト人は上昇し易くない fact8: そのソビエト人は齎し易くないが命令等である fact9: どれもこれもは生活関係であるということはなくて加えてそれは痛い fact10: もしもそのキーフレームは生活関係でないなら守り易いししかもポンド売りだ fact11: そのソビエト人は作り難くない一方で嘘っぽい fact12: そのばあかは間違え易くないけど嘘っぽい fact13: そのソビエト人は濃縮製剤でないけれど営巣する fact14: そのソビエト人は好ましないけれどそれは取り越す fact15: そのソビエト人は嘘っぽい fact16: そのエアコン付けＷが酷いということはないとすればその災害救助はＲＴ‐ＰＣＲであるししかも国技だ ; $hypothesis$ = そのソビエト人は作り難くない一方で嘘っぽい ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: 仮になにかはＲＴ‐ＰＣＲでないなら守り易いしその上ポンド売りである
事実2: あの給水使用量は嘘っぽくない一方でそれはリサイクル出来る
事実3: もしもなにかはＲＴ‐ＰＣＲであるとすればそのソビエト人は減退する
事実4: そのソビエト人はレコーディングしないけれど文字色だ
事実5: そのソビエト人は滞在しない一方で改選である
事実6: 「この調印式は作り難いということはない」ということは成り立つ
事実7: もし仮に何かは守り易いししかもポンド売りだとすればそのソビエト人は上昇し易くない
事実8: そのソビエト人は齎し易くないが命令等である
事実9: どれもこれもは生活関係であるということはなくて加えてそれは痛い
事実10: もしもそのキーフレームは生活関係でないなら守り易いししかもポンド売りだ
事実11: そのソビエト人は作り難くない一方で嘘っぽい
事実12: そのばあかは間違え易くないけど嘘っぽい
事実13: そのソビエト人は濃縮製剤でないけれど営巣する
事実14: そのソビエト人は好ましないけれどそれは取り越す
事実15: そのソビエト人は嘘っぽい
事実16: そのエアコン付けＷが酷いということはないとすればその災害救助はＲＴ‐ＰＣＲであるししかも国技だ

仮説: そのソビエト人は作り難くない一方で嘘っぽい
1. 事実11から、仮説が導かれる

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