その前田屋敷は囁かない
fact1: もしもそのジュエリーはどす黒くないとすれば「「そのリポ蛋白リパーゼは捗るしおまけにライセンシーである」ということは誤りだ」ということは真実だ fact2: もしも「この日本社会は二診断基準だし幕友だ」ということは誤りであるとするとそれは交代しない fact3: 仮にこの日本社会が交代するということはないとするとこの感謝・感動・感激は換金しないしその上家庭科であるということはない fact4: 何かはライセンシーであるということはないなら「三つ星でないかそれは図太くない」ということは成り立たない fact5: もしもそのジュエリーが獲得すればこの感謝・感動・感激は三つ星であるということはない fact6: 仮に「何らかのものは捗るしライセンシーだ」ということは嘘だとしたらそれはライセンシーでない fact7: 仮に「そのジュエリーは獲得すということはないがテムズ川河底トンネルである」ということは本当でないとすればこの感謝・感動・感激は三つ星であるということはない fact8: もしなにがしかのものが囁くけれどそれが近寄り難くないならばそれはどす黒いということはない fact9: 「この日本社会は二診断基準であるしさらに幕友である」ということは誤りである fact10: もし仮に「換金しなくて家庭科でない」物があるとするとそのジュエリーは生み難い fact11: 「そのジュエリーは獲得すしテムズ川河底トンネルだ」ということは事実と異なる fact12: この日本社会がライセンシーだとすればそのＢＩＮＤはどす黒い fact13: そのＢＩＮＤが捗るとするとその前田屋敷は囁くということはない fact14: もしもとあるものは三つ星でないとすると図太い fact15: 「どす黒い物は捗る」ということは成り立つ fact16: 「そのジュエリーは獲得すらない一方でそれはテムズ川河底トンネルだ」ということは本当でない fact17: この感謝・感動・感激が譲るとしたらこの日本社会はライセンシーだ fact18: 何らかのものが三つ星でないならば譲るしそれは図太い fact19: 「もし仮に「とあるものは三つ星でないかあるいは図太くないか両方ともだ」ということは成り立たないとしたら「譲る」ということは正しい」ということは本当だ fact20: 生み難いものは囁くけれど近寄り難くない
fact7 & fact16 -> int1: この感謝・感動・感激は三つ星でない; fact18 -> int2: もし仮にこの感謝・感動・感激は三つ星でないとしたらそれは譲るし図太い; int1 & int2 -> int3: この感謝・感動・感激は譲るしまた図太い; int3 -> int4: 「この感謝・感動・感激は譲らない」ということは成り立たない; int4 & fact17 -> int5: 「この日本社会はライセンシーだ」ということは正しい; int5 & fact12 -> int6: そのＢＩＮＤはどす黒い; fact15 -> int7: そのＢＩＮＤがどす黒いならば捗る; int6 & int7 -> int8: そのＢＩＮＤは捗る; int8 & fact13 -> hypothesis;
そのリポ蛋白リパーゼは譲る
fact28 -> int9: もしも「そのリポ蛋白リパーゼは三つ星でないかまたは図太くないか両方だ」ということは成り立つということはないならばそれは譲る; fact26 -> int10: もしもそのリポ蛋白リパーゼはライセンシーでないとすれば「三つ星でないかまたは図太くない」ということは誤っている; fact23 -> int11: 仮に「そのリポ蛋白リパーゼは捗るしおまけにライセンシーだ」ということは誤りであるとしたら「ライセンシーである」ということは真実でない; fact29 -> int12: そのジュエリーは囁くが近寄り難くないとすればどす黒くない; fact25 -> int13: もしそのジュエリーが生み難いとしたらそれは囁くけど近寄り難くない; fact22 & fact24 -> int14: この日本社会は交代しない; fact27 & int14 -> int15: この感謝・感動・感激は換金しなくてまたそれは家庭科でない; int15 -> int16: 「換金しなくてそれに家庭科でない」ものはある; int16 & fact30 -> int17: そのジュエリーは生み難い; int13 & int17 -> int18: そのジュエリーは囁く一方で近寄り難くない; int12 & int18 -> int19: そのジュエリーはどす黒くない; fact21 & int19 -> int20: 「そのリポ蛋白リパーゼは捗るしおまけにライセンシーだ」ということは間違っている; int11 & int20 -> int21: そのリポ蛋白リパーゼはライセンシーでない; int10 & int21 -> int22: 「そのリポ蛋白リパーゼは三つ星だということはないかまたは図太くないかもしくは両方ともである」ということは偽である; int9 & int22 -> hypothesis;
$facts$ = fact1: もしもそのジュエリーはどす黒くないとすれば「「そのリポ蛋白リパーゼは捗るしおまけにライセンシーである」ということは誤りだ」ということは真実だ fact2: もしも「この日本社会は二診断基準だし幕友だ」ということは誤りであるとするとそれは交代しない fact3: 仮にこの日本社会が交代するということはないとするとこの感謝・感動・感激は換金しないしその上家庭科であるということはない fact4: 何かはライセンシーであるということはないなら「三つ星でないかそれは図太くない」ということは成り立たない fact5: もしもそのジュエリーが獲得すればこの感謝・感動・感激は三つ星であるということはない fact6: 仮に「何らかのものは捗るしライセンシーだ」ということは嘘だとしたらそれはライセンシーでない fact7: 仮に「そのジュエリーは獲得すということはないがテムズ川河底トンネルである」ということは本当でないとすればこの感謝・感動・感激は三つ星であるということはない fact8: もしなにがしかのものが囁くけれどそれが近寄り難くないならばそれはどす黒いということはない fact9: 「この日本社会は二診断基準であるしさらに幕友である」ということは誤りである fact10: もし仮に「換金しなくて家庭科でない」物があるとするとそのジュエリーは生み難い fact11: 「そのジュエリーは獲得すしテムズ川河底トンネルだ」ということは事実と異なる fact12: この日本社会がライセンシーだとすればそのＢＩＮＤはどす黒い fact13: そのＢＩＮＤが捗るとするとその前田屋敷は囁くということはない fact14: もしもとあるものは三つ星でないとすると図太い fact15: 「どす黒い物は捗る」ということは成り立つ fact16: 「そのジュエリーは獲得すらない一方でそれはテムズ川河底トンネルだ」ということは本当でない fact17: この感謝・感動・感激が譲るとしたらこの日本社会はライセンシーだ fact18: 何らかのものが三つ星でないならば譲るしそれは図太い fact19: 「もし仮に「とあるものは三つ星でないかあるいは図太くないか両方ともだ」ということは成り立たないとしたら「譲る」ということは正しい」ということは本当だ fact20: 生み難いものは囁くけれど近寄り難くない ; $hypothesis$ = その前田屋敷は囁かない ; $proof$ = 
fact7 & fact16 -> int1: この感謝・感動・感激は三つ星でない; fact18 -> int2: もし仮にこの感謝・感動・感激は三つ星でないとしたらそれは譲るし図太い; int1 & int2 -> int3: この感謝・感動・感激は譲るしまた図太い; int3 -> int4: 「この感謝・感動・感激は譲らない」ということは成り立たない; int4 & fact17 -> int5: 「この日本社会はライセンシーだ」ということは正しい; int5 & fact12 -> int6: そのＢＩＮＤはどす黒い; fact15 -> int7: そのＢＩＮＤがどす黒いならば捗る; int6 & int7 -> int8: そのＢＩＮＤは捗る; int8 & fact13 -> hypothesis; __PROVED__
事実1: もしもそのジュエリーはどす黒くないとすれば「「そのリポ蛋白リパーゼは捗るしおまけにライセンシーである」ということは誤りだ」ということは真実だ
事実2: もしも「この日本社会は二診断基準だし幕友だ」ということは誤りであるとするとそれは交代しない
事実3: 仮にこの日本社会が交代するということはないとするとこの感謝・感動・感激は換金しないしその上家庭科であるということはない
事実4: 何かはライセンシーであるということはないなら「三つ星でないかそれは図太くない」ということは成り立たない
事実5: もしもそのジュエリーが獲得すればこの感謝・感動・感激は三つ星であるということはない
事実6: 仮に「何らかのものは捗るしライセンシーだ」ということは嘘だとしたらそれはライセンシーでない
事実7: 仮に「そのジュエリーは獲得すということはないがテムズ川河底トンネルである」ということは本当でないとすればこの感謝・感動・感激は三つ星であるということはない
事実8: もしなにがしかのものが囁くけれどそれが近寄り難くないならばそれはどす黒いということはない
事実9: 「この日本社会は二診断基準であるしさらに幕友である」ということは誤りである
事実10: もし仮に「換金しなくて家庭科でない」物があるとするとそのジュエリーは生み難い
事実11: 「そのジュエリーは獲得すしテムズ川河底トンネルだ」ということは事実と異なる
事実12: この日本社会がライセンシーだとすればそのＢＩＮＤはどす黒い
事実13: そのＢＩＮＤが捗るとするとその前田屋敷は囁くということはない
事実14: もしもとあるものは三つ星でないとすると図太い
事実15: 「どす黒い物は捗る」ということは成り立つ
事実16: 「そのジュエリーは獲得すらない一方でそれはテムズ川河底トンネルだ」ということは本当でない
事実17: この感謝・感動・感激が譲るとしたらこの日本社会はライセンシーだ
事実18: 何らかのものが三つ星でないならば譲るしそれは図太い
事実19: 「もし仮に「とあるものは三つ星でないかあるいは図太くないか両方ともだ」ということは成り立たないとしたら「譲る」ということは正しい」ということは本当だ
事実20: 生み難いものは囁くけれど近寄り難くない

仮説: その前田屋敷は囁かない
1. 事実7と事実16から、推論1: "この感謝・感動・感激は三つ星でない"が導かれる
2. 事実18から、推論2: "もし仮にこの感謝・感動・感激は三つ星でないとしたらそれは譲るし図太い"が導かれる
3. 推論1と推論2から、推論3: "この感謝・感動・感激は譲るしまた図太い"が導かれる
4. 推論3から、推論4: "「この感謝・感動・感激は譲らない」ということは成り立たない"が導かれる
5. 推論4と事実17から、推論5: "「この日本社会はライセンシーだ」ということは正しい"が導かれる
6. 推論5と事実12から、推論6: "そのＢＩＮＤはどす黒い"が導かれる
7. 事実15から、推論7: "そのＢＩＮＤがどす黒いならば捗る"が導かれる
8. 推論6と推論7から、推論8: "そのＢＩＮＤは捗る"が導かれる
9. 推論8と事実13から、仮説が導かれる

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