この恋敵は生え始めるし愛犬である
fact1: 「理解し難い」物はある fact2: もし「なにがしかの物は高い」ということは本当であるとしたら「期待し難くないし更にそれは敬する」ということは成り立たない fact3: 仮に「「動揺し易いしかつ黄色雷模様表紙でない」ということは嘘な」物があるならばあの処士は店頭サービスである fact4: もしこの次時が座り込まないとすればあの処士は高くて更に如才無い fact5: この次時は期限だ fact6: もしもあの大隈派が男っぽくないならそれがマリアナ沖海戦だししかもそれはシーＤだ fact7: 「その板絵は動揺し易いけれどそれは黄色雷模様表紙であるということはない」ということは事実と異なる fact8: もし仮に「「酸い」ということは成り立つ」物があるならばあの処士は座り込むしかつ期待し難い fact9: 「酸い」ものはある fact10: もしもこの次時が敬するしそれが高いとするとこの恋敵は如才無くない fact11: もしもとあるものが店頭サービスだし更に期待し難いとすればこの次時は敬する fact12: 仮に何らかのものはマリアナ沖海戦であるとすると「酸くないかもしくは期限でない」ということは誤っている fact13: 期限は高い fact14: もし仮になんらかのものは店頭サービスでないとすれば「生え始めるし愛犬だ」ということは成り立たない fact15: この恋敵は生え始める fact16: 「あの大隈派は酸くないかまたはそれは期限でない」ということは事実と異なるとすればこの次時は座り込まない fact17: もしこの恋敵が如才無くないなら生え始めるしそれにそれは愛犬である
fact7 -> int1: 「「動揺し易いし黄色雷模様表紙だということはない」ということは嘘な」物はある; int1 & fact3 -> int2: その処士は店頭サービスである; fact8 & fact9 -> int3: その処士は座り込むし期待し難い; int3 -> int4: その処士は期待し難い; int2 & int4 -> int5: その処士は店頭サービスであるししかも期待し難い; int5 -> int6: 「店頭サービスでしかも期待し難い」物はある; int6 & fact11 -> int7: この次時は敬する; fact13 -> int8: もし仮にこの次時は期限であるならば高い; int8 & fact5 -> int9: この次時は高い; int7 & int9 -> int10: この次時は敬するし加えて高い; int10 & fact10 -> int11: 「この恋敵は如才無いということはない」ということは成り立つ; int11 & fact17 -> hypothesis;
「この恋敵が生え始めるしその上それは愛犬だ」ということは事実と異なる
fact18 -> int12: もしも「この恋敵は店頭サービスでない」ということは正しいならば「それは生え始めるしそれに愛犬である」ということは成り立たない; fact20 -> int13: 仮に「その処士は高い」ということは成り立つなら「それは期待し難くないけれど敬する」ということは成り立たない; fact22 -> int14: あの大隈派はマリアナ沖海戦だとすれば「酸くないかあるいは期限でないかもしくは両方ともだ」ということは嘘だ;
$facts$ = fact1: 「理解し難い」物はある fact2: もし「なにがしかの物は高い」ということは本当であるとしたら「期待し難くないし更にそれは敬する」ということは成り立たない fact3: 仮に「「動揺し易いしかつ黄色雷模様表紙でない」ということは嘘な」物があるならばあの処士は店頭サービスである fact4: もしこの次時が座り込まないとすればあの処士は高くて更に如才無い fact5: この次時は期限だ fact6: もしもあの大隈派が男っぽくないならそれがマリアナ沖海戦だししかもそれはシーＤだ fact7: 「その板絵は動揺し易いけれどそれは黄色雷模様表紙であるということはない」ということは事実と異なる fact8: もし仮に「「酸い」ということは成り立つ」物があるならばあの処士は座り込むしかつ期待し難い fact9: 「酸い」ものはある fact10: もしもこの次時が敬するしそれが高いとするとこの恋敵は如才無くない fact11: もしもとあるものが店頭サービスだし更に期待し難いとすればこの次時は敬する fact12: 仮に何らかのものはマリアナ沖海戦であるとすると「酸くないかもしくは期限でない」ということは誤っている fact13: 期限は高い fact14: もし仮になんらかのものは店頭サービスでないとすれば「生え始めるし愛犬だ」ということは成り立たない fact15: この恋敵は生え始める fact16: 「あの大隈派は酸くないかまたはそれは期限でない」ということは事実と異なるとすればこの次時は座り込まない fact17: もしこの恋敵が如才無くないなら生え始めるしそれにそれは愛犬である ; $hypothesis$ = この恋敵は生え始めるし愛犬である ; $proof$ = 
fact7 -> int1: 「「動揺し易いし黄色雷模様表紙だということはない」ということは嘘な」物はある; int1 & fact3 -> int2: その処士は店頭サービスである; fact8 & fact9 -> int3: その処士は座り込むし期待し難い; int3 -> int4: その処士は期待し難い; int2 & int4 -> int5: その処士は店頭サービスであるししかも期待し難い; int5 -> int6: 「店頭サービスでしかも期待し難い」物はある; int6 & fact11 -> int7: この次時は敬する; fact13 -> int8: もし仮にこの次時は期限であるならば高い; int8 & fact5 -> int9: この次時は高い; int7 & int9 -> int10: この次時は敬するし加えて高い; int10 & fact10 -> int11: 「この恋敵は如才無いということはない」ということは成り立つ; int11 & fact17 -> hypothesis; __PROVED__
事実1: 「理解し難い」物はある
事実2: もし「なにがしかの物は高い」ということは本当であるとしたら「期待し難くないし更にそれは敬する」ということは成り立たない
事実3: 仮に「「動揺し易いしかつ黄色雷模様表紙でない」ということは嘘な」物があるならばあの処士は店頭サービスである
事実4: もしこの次時が座り込まないとすればあの処士は高くて更に如才無い
事実5: この次時は期限だ
事実6: もしもあの大隈派が男っぽくないならそれがマリアナ沖海戦だししかもそれはシーＤだ
事実7: 「その板絵は動揺し易いけれどそれは黄色雷模様表紙であるということはない」ということは事実と異なる
事実8: もし仮に「「酸い」ということは成り立つ」物があるならばあの処士は座り込むしかつ期待し難い
事実9: 「酸い」ものはある
事実10: もしもこの次時が敬するしそれが高いとするとこの恋敵は如才無くない
事実11: もしもとあるものが店頭サービスだし更に期待し難いとすればこの次時は敬する
事実12: 仮に何らかのものはマリアナ沖海戦であるとすると「酸くないかもしくは期限でない」ということは誤っている
事実13: 期限は高い
事実14: もし仮になんらかのものは店頭サービスでないとすれば「生え始めるし愛犬だ」ということは成り立たない
事実15: この恋敵は生え始める
事実16: 「あの大隈派は酸くないかまたはそれは期限でない」ということは事実と異なるとすればこの次時は座り込まない
事実17: もしこの恋敵が如才無くないなら生え始めるしそれにそれは愛犬である

仮説: この恋敵は生え始めるし愛犬である
1. 事実7から、推論1: "「「動揺し易いし黄色雷模様表紙だということはない」ということは嘘な」物はある"が導かれる
2. 推論1と事実3から、推論2: "その処士は店頭サービスである"が導かれる
3. 事実8と事実9から、推論3: "その処士は座り込むし期待し難い"が導かれる
4. 推論3から、推論4: "その処士は期待し難い"が導かれる
5. 推論2と推論4から、推論5: "その処士は店頭サービスであるししかも期待し難い"が導かれる
6. 推論5から、推論6: "「店頭サービスでしかも期待し難い」物はある"が導かれる
7. 推論6と事実11から、推論7: "この次時は敬する"が導かれる
8. 事実13から、推論8: "もし仮にこの次時は期限であるならば高い"が導かれる
9. 推論8と事実5から、推論9: "この次時は高い"が導かれる
10. 推論7と推論9から、推論10: "この次時は敬するし加えて高い"が導かれる
11. 推論10と事実10から、推論11: "「この恋敵は如才無いということはない」ということは成り立つ"が導かれる
12. 推論11と事実17から、仮説が導かれる

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