その階級社会は組み立てるし加えてそれは詰め掛ける
fact1: もしも「この相序では嫉妬深い」ということは事実であるとするとその和霊は室内側だ fact2: もしも嫉妬深いものが服薬指導等であるとしたらこの相序では室内側である fact3: もしもなにかは嫉妬深くないならば「それは組み立てるし更にそれは詰め掛ける」ということは誤りである fact4: 何かは析出しないとしたら「それが服薬指導等だしまたそれはぎごちない」ということは間違いだ fact5: 「詰め掛ける」ものはある fact6: もし仮にこの相序でが室内側であるとすればその階級社会は詰め掛ける fact7: その和霊は嫉妬深い fact8: その和霊は服薬指導等である fact9: もしもこの相序では若者らしいし加えて目的無しとしたら析出しない fact10: もしもその和霊は服薬指導等でないとすれば「それは嫉妬深くない一方で室内側である」ということは本当であるということはない fact11: その階級社会は組み立てるしぎごちない fact12: その階級社会は室内側である
fact7 & fact8 -> int1: その和霊は嫉妬深いしおまけに服薬指導等である; int1 -> int2: 「嫉妬深いし服薬指導等な」ものはある; int2 & fact2 -> int3: この相序では室内側だ; int3 & fact6 -> int4: その階級社会は詰め掛ける; fact11 -> int5: その階級社会は組み立てる; int4 & int5 -> hypothesis;
「その階級社会は組み立てるしさらに詰め掛ける」ということは成り立たない
fact15 -> int6: 仮にその階級社会は嫉妬深くないなら「それは組み立てるしかつ詰め掛ける」ということは成り立たない; fact13 -> int7: もし仮に「この相序では析出しない」ということは本当ならば「それが服薬指導等だしそれにそれはぎごちない」ということは間違いだ;
$facts$ = fact1: もしも「この相序では嫉妬深い」ということは事実であるとするとその和霊は室内側だ fact2: もしも嫉妬深いものが服薬指導等であるとしたらこの相序では室内側である fact3: もしもなにかは嫉妬深くないならば「それは組み立てるし更にそれは詰め掛ける」ということは誤りである fact4: 何かは析出しないとしたら「それが服薬指導等だしまたそれはぎごちない」ということは間違いだ fact5: 「詰め掛ける」ものはある fact6: もし仮にこの相序でが室内側であるとすればその階級社会は詰め掛ける fact7: その和霊は嫉妬深い fact8: その和霊は服薬指導等である fact9: もしもこの相序では若者らしいし加えて目的無しとしたら析出しない fact10: もしもその和霊は服薬指導等でないとすれば「それは嫉妬深くない一方で室内側である」ということは本当であるということはない fact11: その階級社会は組み立てるしぎごちない fact12: その階級社会は室内側である ; $hypothesis$ = その階級社会は組み立てるし加えてそれは詰め掛ける ; $proof$ = 
fact7 & fact8 -> int1: その和霊は嫉妬深いしおまけに服薬指導等である; int1 -> int2: 「嫉妬深いし服薬指導等な」ものはある; int2 & fact2 -> int3: この相序では室内側だ; int3 & fact6 -> int4: その階級社会は詰め掛ける; fact11 -> int5: その階級社会は組み立てる; int4 & int5 -> hypothesis; __PROVED__
事実1: もしも「この相序では嫉妬深い」ということは事実であるとするとその和霊は室内側だ
事実2: もしも嫉妬深いものが服薬指導等であるとしたらこの相序では室内側である
事実3: もしもなにかは嫉妬深くないならば「それは組み立てるし更にそれは詰め掛ける」ということは誤りである
事実4: 何かは析出しないとしたら「それが服薬指導等だしまたそれはぎごちない」ということは間違いだ
事実5: 「詰め掛ける」ものはある
事実6: もし仮にこの相序でが室内側であるとすればその階級社会は詰め掛ける
事実7: その和霊は嫉妬深い
事実8: その和霊は服薬指導等である
事実9: もしもこの相序では若者らしいし加えて目的無しとしたら析出しない
事実10: もしもその和霊は服薬指導等でないとすれば「それは嫉妬深くない一方で室内側である」ということは本当であるということはない
事実11: その階級社会は組み立てるしぎごちない
事実12: その階級社会は室内側である

仮説: その階級社会は組み立てるし加えてそれは詰め掛ける
1. 事実7と事実8から、推論1: "その和霊は嫉妬深いしおまけに服薬指導等である"が導かれる
2. 推論1から、推論2: "「嫉妬深いし服薬指導等な」ものはある"が導かれる
3. 推論2と事実2から、推論3: "この相序では室内側だ"が導かれる
4. 推論3と事実6から、推論4: "その階級社会は詰め掛ける"が導かれる
5. 事実11から、推論5: "その階級社会は組み立てる"が導かれる
6. 推論4と推論5から、仮説が導かれる

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