その培養液中は惜しくない
fact1: 憂くないものはアトラクションであるしまた惜しい fact2: この構造等は御宜しい fact3: その培養液中は再評価額であるし弱し fact4: 俗っぽい物は募集する fact5: この連続殺人事件が転売しないとするとあの産業公害は弱しということはない fact6: もし仮に憂い物が再評価額だとすればそれは惜しくない fact7: もし「そのヤミ族は再評価額だ一方で憂くない」ということは誤りであるならばあの培養液中は憂くない fact8: そのヤミ族はアトラクションである fact9: もし仮に「そのヤミ族は弱ししアトラクションだ」ということは成り立つとすればそれは惜しくない fact10: 仮に何かは再評価額でないなら憂くてまたアトラクションである fact11: その培養液中は弱し fact12: 仮に「なにかは御宜しい」ということは本当であるなら「あの藤原宮跡出土は吹き払うしおまけにオーバーフローする」ということは本当だ fact13: その培養液中は若者らしい fact14: 「もしこの粘膜剥離子がバイキング船だということはないならばこの連続殺人事件は腹黒いかまたは転売するということはないかもしくは両方ともである」ということは真実である fact15: そのヤミ族がアトラクションであるならばあの培養液中は憂い fact16: もし仮にこの連続殺人事件が腹黒いならあの産業公害は弱しということはない fact17: 仮に「なんらかの物は抗い難くないが尊重出来る」ということは正しくないとするとバイキング船でない fact18: この側枝は募集するとしたら「この粘膜剥離子は抗い難いということはないけど尊重出来る」ということは成り立つということはない fact19: もしあの藤原宮跡出土が吹き払うならこの側枝は俗っぽい
fact15 & fact8 -> int1: その培養液中は憂い; fact3 -> int2: その培養液中は再評価額である; int1 & int2 -> int3: その培養液中は憂くてかつ再評価額である; fact6 -> int4: 仮にその培養液中は憂いし再評価額であるとすれば惜しくない; int3 & int4 -> hypothesis;
fact15 & fact8 -> int1: {B}{b}; fact3 -> int2: {C}{b}; int1 & int2 -> int3: ({B}{b} & {C}{b}); fact6 -> int4: ({B}{b} & {C}{b}) -> ¬{D}{b}; int3 & int4 -> hypothesis;
その培養液中は惜しい
fact20 -> int5: もしその培養液中が憂くないとしたらそれはアトラクションだししかも惜しい; fact29 -> int6: もし仮に「この粘膜剥離子は抗い難くない一方でそれは尊重出来る」ということは成り立たないとするとそれはバイキング船でない; fact28 -> int7: 仮にこの側枝が俗っぽいとすると募集する; fact22 -> int8: 「御宜しい」物はある; int8 & fact26 -> int9: あの藤原宮跡出土は吹き払うしかつそれはオーバーフローする; int9 -> int10: あの藤原宮跡出土は吹き払う; fact23 & int10 -> int11: この側枝は俗っぽい; int7 & int11 -> int12: 「この側枝は募集する」ということは成り立つ; fact21 & int12 -> int13: 「この粘膜剥離子は抗い難くないが尊重出来る」ということは間違いである; int6 & int13 -> int14: この粘膜剥離子はバイキング船でない; fact25 & int14 -> int15: この連続殺人事件は腹黒いかもしくはそれは転売しないかまたは両方ともだ; int15 & fact30 & fact24 -> int16: あの産業公害は弱しない; int16 -> int17: 「弱しない」ものはある;
$facts$ = fact1: 憂くないものはアトラクションであるしまた惜しい fact2: この構造等は御宜しい fact3: その培養液中は再評価額であるし弱し fact4: 俗っぽい物は募集する fact5: この連続殺人事件が転売しないとするとあの産業公害は弱しということはない fact6: もし仮に憂い物が再評価額だとすればそれは惜しくない fact7: もし「そのヤミ族は再評価額だ一方で憂くない」ということは誤りであるならばあの培養液中は憂くない fact8: そのヤミ族はアトラクションである fact9: もし仮に「そのヤミ族は弱ししアトラクションだ」ということは成り立つとすればそれは惜しくない fact10: 仮に何かは再評価額でないなら憂くてまたアトラクションである fact11: その培養液中は弱し fact12: 仮に「なにかは御宜しい」ということは本当であるなら「あの藤原宮跡出土は吹き払うしおまけにオーバーフローする」ということは本当だ fact13: その培養液中は若者らしい fact14: 「もしこの粘膜剥離子がバイキング船だということはないならばこの連続殺人事件は腹黒いかまたは転売するということはないかもしくは両方ともである」ということは真実である fact15: そのヤミ族がアトラクションであるならばあの培養液中は憂い fact16: もし仮にこの連続殺人事件が腹黒いならあの産業公害は弱しということはない fact17: 仮に「なんらかの物は抗い難くないが尊重出来る」ということは正しくないとするとバイキング船でない fact18: この側枝は募集するとしたら「この粘膜剥離子は抗い難いということはないけど尊重出来る」ということは成り立つということはない fact19: もしあの藤原宮跡出土が吹き払うならこの側枝は俗っぽい ; $hypothesis$ = その培養液中は惜しくない ; $proof$ = 
fact15 & fact8 -> int1: その培養液中は憂い; fact3 -> int2: その培養液中は再評価額である; int1 & int2 -> int3: その培養液中は憂くてかつ再評価額である; fact6 -> int4: 仮にその培養液中は憂いし再評価額であるとすれば惜しくない; int3 & int4 -> hypothesis; __PROVED__
事実1: 憂くないものはアトラクションであるしまた惜しい
事実2: この構造等は御宜しい
事実3: その培養液中は再評価額であるし弱し
事実4: 俗っぽい物は募集する
事実5: この連続殺人事件が転売しないとするとあの産業公害は弱しということはない
事実6: もし仮に憂い物が再評価額だとすればそれは惜しくない
事実7: もし「そのヤミ族は再評価額だ一方で憂くない」ということは誤りであるならばあの培養液中は憂くない
事実8: そのヤミ族はアトラクションである
事実9: もし仮に「そのヤミ族は弱ししアトラクションだ」ということは成り立つとすればそれは惜しくない
事実10: 仮に何かは再評価額でないなら憂くてまたアトラクションである
事実11: その培養液中は弱し
事実12: 仮に「なにかは御宜しい」ということは本当であるなら「あの藤原宮跡出土は吹き払うしおまけにオーバーフローする」ということは本当だ
事実13: その培養液中は若者らしい
事実14: 「もしこの粘膜剥離子がバイキング船だということはないならばこの連続殺人事件は腹黒いかまたは転売するということはないかもしくは両方ともである」ということは真実である
事実15: そのヤミ族がアトラクションであるならばあの培養液中は憂い
事実16: もし仮にこの連続殺人事件が腹黒いならあの産業公害は弱しということはない
事実17: 仮に「なんらかの物は抗い難くないが尊重出来る」ということは正しくないとするとバイキング船でない
事実18: この側枝は募集するとしたら「この粘膜剥離子は抗い難いということはないけど尊重出来る」ということは成り立つということはない
事実19: もしあの藤原宮跡出土が吹き払うならこの側枝は俗っぽい

仮説: その培養液中は惜しくない
1. 事実15と事実8から、推論1: "その培養液中は憂い"が導かれる
2. 事実3から、推論2: "その培養液中は再評価額である"が導かれる
3. 推論1と推論2から、推論3: "その培養液中は憂くてかつ再評価額である"が導かれる
4. 事実6から、推論4: "仮にその培養液中は憂いし再評価額であるとすれば惜しくない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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