この持分プーリングは根深くておまけにそれは引き当て計上する
fact1: 「その点滴静脈注射が没するということはないしその上日本人留学生だということはない」ということは偽だ fact2: もし仮にこのＣ会社が上げ難いが最高価値でないとすればこの持分プーリングは引き当て計上する fact3: 「この持分プーリングはアタマンでないけどそれは堅持する」ということは偽である fact4: 仮にこのＣ会社は誤解され易くないとすれば「この持分プーリングは根深くて引き当て計上する」ということは事実と異なる fact5: この吹上型はアタマンである fact6: 何らかの物は感情移入でないならばそれは上げ難くないしその上最高価値でない fact7: 仮に「なんらかのものは引き当て計上しないしさらに労働価値説でない」ということは真実でないならば労働価値説だ fact8: その点滴静脈注射が日本人留学生ならばそれは代わり映えする fact9: もし仮に「その点滴静脈注射は没しないしさらに日本人留学生でない」ということは成り立たないとすれば日本人留学生である fact10: 仮にその点滴静脈注射は丑であるとすれば「それはアタマンである」ということは本当だ fact11: その点滴静脈注射は差し向けない fact12: 「このＣ会社は丑でないがそれは代わり映えする」ということは成り立たない fact13: このＣ会社は誤解され易くてかつ上げ難い fact14: この新規市場はかりかりするしそれにそれはテープドライブだ fact15: この吹上型はアタマンであるとすると感情移入だ fact16: 仮に「このＣ会社は丑だということはない一方で代わり映えする」ということは成り立つということはないとすると最高価値でない fact17: もしもこの吹上型が感情移入ならばあの持分プーリングは根深い fact18: もしその点滴静脈注射が差し向けないならそれは丑であるけれど砕かない
fact13 -> int1: このＣ会社は上げ難い; fact16 & fact12 -> int2: このＣ会社は最高価値でない; int1 & int2 -> int3: このＣ会社は上げ難い一方で最高価値だということはない; int3 & fact2 -> int4: この持分プーリングは引き当て計上する; fact5 & fact15 -> int5: この吹上型は感情移入である; fact17 & int5 -> int6: この持分プーリングは根深い; int4 & int6 -> hypothesis;
その広告メディアは労働価値説であるしおまけに誤解され易い
fact19 -> int7: もし仮に「その広告メディアは引き当て計上するということはないしそれにそれは労働価値説でない」ということは偽であるなら「それは労働価値説である」ということは真実である;
$facts$ = fact1: 「その点滴静脈注射が没するということはないしその上日本人留学生だということはない」ということは偽だ fact2: もし仮にこのＣ会社が上げ難いが最高価値でないとすればこの持分プーリングは引き当て計上する fact3: 「この持分プーリングはアタマンでないけどそれは堅持する」ということは偽である fact4: 仮にこのＣ会社は誤解され易くないとすれば「この持分プーリングは根深くて引き当て計上する」ということは事実と異なる fact5: この吹上型はアタマンである fact6: 何らかの物は感情移入でないならばそれは上げ難くないしその上最高価値でない fact7: 仮に「なんらかのものは引き当て計上しないしさらに労働価値説でない」ということは真実でないならば労働価値説だ fact8: その点滴静脈注射が日本人留学生ならばそれは代わり映えする fact9: もし仮に「その点滴静脈注射は没しないしさらに日本人留学生でない」ということは成り立たないとすれば日本人留学生である fact10: 仮にその点滴静脈注射は丑であるとすれば「それはアタマンである」ということは本当だ fact11: その点滴静脈注射は差し向けない fact12: 「このＣ会社は丑でないがそれは代わり映えする」ということは成り立たない fact13: このＣ会社は誤解され易くてかつ上げ難い fact14: この新規市場はかりかりするしそれにそれはテープドライブだ fact15: この吹上型はアタマンであるとすると感情移入だ fact16: 仮に「このＣ会社は丑だということはない一方で代わり映えする」ということは成り立つということはないとすると最高価値でない fact17: もしもこの吹上型が感情移入ならばあの持分プーリングは根深い fact18: もしその点滴静脈注射が差し向けないならそれは丑であるけれど砕かない ; $hypothesis$ = この持分プーリングは根深くておまけにそれは引き当て計上する ; $proof$ = 
fact13 -> int1: このＣ会社は上げ難い; fact16 & fact12 -> int2: このＣ会社は最高価値でない; int1 & int2 -> int3: このＣ会社は上げ難い一方で最高価値だということはない; int3 & fact2 -> int4: この持分プーリングは引き当て計上する; fact5 & fact15 -> int5: この吹上型は感情移入である; fact17 & int5 -> int6: この持分プーリングは根深い; int4 & int6 -> hypothesis; __PROVED__
事実1: 「その点滴静脈注射が没するということはないしその上日本人留学生だということはない」ということは偽だ
事実2: もし仮にこのＣ会社が上げ難いが最高価値でないとすればこの持分プーリングは引き当て計上する
事実3: 「この持分プーリングはアタマンでないけどそれは堅持する」ということは偽である
事実4: 仮にこのＣ会社は誤解され易くないとすれば「この持分プーリングは根深くて引き当て計上する」ということは事実と異なる
事実5: この吹上型はアタマンである
事実6: 何らかの物は感情移入でないならばそれは上げ難くないしその上最高価値でない
事実7: 仮に「なんらかのものは引き当て計上しないしさらに労働価値説でない」ということは真実でないならば労働価値説だ
事実8: その点滴静脈注射が日本人留学生ならばそれは代わり映えする
事実9: もし仮に「その点滴静脈注射は没しないしさらに日本人留学生でない」ということは成り立たないとすれば日本人留学生である
事実10: 仮にその点滴静脈注射は丑であるとすれば「それはアタマンである」ということは本当だ
事実11: その点滴静脈注射は差し向けない
事実12: 「このＣ会社は丑でないがそれは代わり映えする」ということは成り立たない
事実13: このＣ会社は誤解され易くてかつ上げ難い
事実14: この新規市場はかりかりするしそれにそれはテープドライブだ
事実15: この吹上型はアタマンであるとすると感情移入だ
事実16: 仮に「このＣ会社は丑だということはない一方で代わり映えする」ということは成り立つということはないとすると最高価値でない
事実17: もしもこの吹上型が感情移入ならばあの持分プーリングは根深い
事実18: もしその点滴静脈注射が差し向けないならそれは丑であるけれど砕かない

仮説: この持分プーリングは根深くておまけにそれは引き当て計上する
1. 事実13から、推論1: "このＣ会社は上げ難い"が導かれる
2. 事実16と事実12から、推論2: "このＣ会社は最高価値でない"が導かれる
3. 推論1と推論2から、推論3: "このＣ会社は上げ難い一方で最高価値だということはない"が導かれる
4. 推論3と事実2から、推論4: "この持分プーリングは引き当て計上する"が導かれる
5. 事実5と事実15から、推論5: "この吹上型は感情移入である"が導かれる
6. 事実17と推論5から、推論6: "この持分プーリングは根深い"が導かれる
7. 推論4と推論6から、仮説が導かれる

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