「この編著書所収は歪曲するということはないし物憂くない」ということは偽である
fact1: 「この編著書所収は歪曲しないが物憂い」ということは成り立たない fact2: もし仮にそのアウトカムマネージャーは微笑むなら「クランクであるし狭苦しい」ということは誤っている fact3: 「そのアウトカムマネージャーは歪曲する」ということは成り立つとすれば「それは微笑むししかも狭苦しくない」ということは誤りだ fact4: 「そのアウトカムマネージャーはクランクでまた狭苦しい」ということは嘘だ fact5: もし「そのアウトカムマネージャーは物憂いけどクランクでない」ということは確かでないとすればあの編著書所収は狭苦しい fact6: もしも何らかの物は微笑むなら「攪拌するし恙無くない」ということは事実でない fact7: そのアウトカムマネージャーは微笑む fact8: この編著書所収が周辺組織でないとするとそれは物憂くないし悩ましくない fact9: その暑熱は微笑む fact10: 仮にそのアウトカムマネージャーが狭苦しいならばあのデュアルフューエルエンジンは歪曲する fact11: そのアウトカムマネージャーは打ち立てる fact12: もし仮にそのデュアルフューエルエンジンは歪曲するとすれば「この編著書所収は歪曲しないけど物憂い」ということは成り立つということはない fact13: 「もしこの編著書所収はクランクであるなら「そのアウトカムマネージャーはクランクでなくておまけに歪曲しない」ということは間違っている」ということは誤っていない fact14: この編著書所収は周辺組織でない fact15: そのアウトカムマネージャーは物憂い fact16: そのアウトカムマネージャーが微笑まないならこの編著書所収は歪曲しないし更に物憂くない fact17: 「そのデュアルフューエルエンジンは吊るということはなくてそれは枯死でない」ということは間違っている fact18: 仮に「「そのアウトカムマネージャーがクランクだけど狭苦しくない」ということは成り立つ」ということは成り立たないとすればそのデュアルフューエルエンジンは歪曲する fact19: そのデュアルフューエルエンジンはクランクだ fact20: もしもそのアウトカムマネージャーは微笑むとすれば「クランクだ一方で狭苦しくない」ということは間違っている fact21: もしそのアウトカムマネージャーは物憂いならば「「それは狭苦しくてクランクであるということはない」ということは成り立つ」ということは間違いだ fact22: もしもそのデュアルフューエルエンジンは歪曲するとすると「この編著書所収は歪曲しなくて物憂くない」ということは成り立たない
fact20 & fact7 -> int1: 「そのアウトカムマネージャーはクランクであるが狭苦しいということはない」ということは誤っている; int1 & fact18 -> int2: そのデュアルフューエルエンジンは歪曲する; int2 & fact22 -> hypothesis;
fact20 & fact7 -> int1: ¬({AA}{a} & ¬{AB}{a}); int1 & fact18 -> int2: {B}{b}; int2 & fact22 -> hypothesis;
この編著書所収は歪曲しなくてまた物憂くない
$facts$ = fact1: 「この編著書所収は歪曲しないが物憂い」ということは成り立たない fact2: もし仮にそのアウトカムマネージャーは微笑むなら「クランクであるし狭苦しい」ということは誤っている fact3: 「そのアウトカムマネージャーは歪曲する」ということは成り立つとすれば「それは微笑むししかも狭苦しくない」ということは誤りだ fact4: 「そのアウトカムマネージャーはクランクでまた狭苦しい」ということは嘘だ fact5: もし「そのアウトカムマネージャーは物憂いけどクランクでない」ということは確かでないとすればあの編著書所収は狭苦しい fact6: もしも何らかの物は微笑むなら「攪拌するし恙無くない」ということは事実でない fact7: そのアウトカムマネージャーは微笑む fact8: この編著書所収が周辺組織でないとするとそれは物憂くないし悩ましくない fact9: その暑熱は微笑む fact10: 仮にそのアウトカムマネージャーが狭苦しいならばあのデュアルフューエルエンジンは歪曲する fact11: そのアウトカムマネージャーは打ち立てる fact12: もし仮にそのデュアルフューエルエンジンは歪曲するとすれば「この編著書所収は歪曲しないけど物憂い」ということは成り立つということはない fact13: 「もしこの編著書所収はクランクであるなら「そのアウトカムマネージャーはクランクでなくておまけに歪曲しない」ということは間違っている」ということは誤っていない fact14: この編著書所収は周辺組織でない fact15: そのアウトカムマネージャーは物憂い fact16: そのアウトカムマネージャーが微笑まないならこの編著書所収は歪曲しないし更に物憂くない fact17: 「そのデュアルフューエルエンジンは吊るということはなくてそれは枯死でない」ということは間違っている fact18: 仮に「「そのアウトカムマネージャーがクランクだけど狭苦しくない」ということは成り立つ」ということは成り立たないとすればそのデュアルフューエルエンジンは歪曲する fact19: そのデュアルフューエルエンジンはクランクだ fact20: もしもそのアウトカムマネージャーは微笑むとすれば「クランクだ一方で狭苦しくない」ということは間違っている fact21: もしそのアウトカムマネージャーは物憂いならば「「それは狭苦しくてクランクであるということはない」ということは成り立つ」ということは間違いだ fact22: もしもそのデュアルフューエルエンジンは歪曲するとすると「この編著書所収は歪曲しなくて物憂くない」ということは成り立たない ; $hypothesis$ = 「この編著書所収は歪曲するということはないし物憂くない」ということは偽である ; $proof$ = 
fact20 & fact7 -> int1: 「そのアウトカムマネージャーはクランクであるが狭苦しいということはない」ということは誤っている; int1 & fact18 -> int2: そのデュアルフューエルエンジンは歪曲する; int2 & fact22 -> hypothesis; __PROVED__
事実1: 「この編著書所収は歪曲しないが物憂い」ということは成り立たない
事実2: もし仮にそのアウトカムマネージャーは微笑むなら「クランクであるし狭苦しい」ということは誤っている
事実3: 「そのアウトカムマネージャーは歪曲する」ということは成り立つとすれば「それは微笑むししかも狭苦しくない」ということは誤りだ
事実4: 「そのアウトカムマネージャーはクランクでまた狭苦しい」ということは嘘だ
事実5: もし「そのアウトカムマネージャーは物憂いけどクランクでない」ということは確かでないとすればあの編著書所収は狭苦しい
事実6: もしも何らかの物は微笑むなら「攪拌するし恙無くない」ということは事実でない
事実7: そのアウトカムマネージャーは微笑む
事実8: この編著書所収が周辺組織でないとするとそれは物憂くないし悩ましくない
事実9: その暑熱は微笑む
事実10: 仮にそのアウトカムマネージャーが狭苦しいならばあのデュアルフューエルエンジンは歪曲する
事実11: そのアウトカムマネージャーは打ち立てる
事実12: もし仮にそのデュアルフューエルエンジンは歪曲するとすれば「この編著書所収は歪曲しないけど物憂い」ということは成り立つということはない
事実13: 「もしこの編著書所収はクランクであるなら「そのアウトカムマネージャーはクランクでなくておまけに歪曲しない」ということは間違っている」ということは誤っていない
事実14: この編著書所収は周辺組織でない
事実15: そのアウトカムマネージャーは物憂い
事実16: そのアウトカムマネージャーが微笑まないならこの編著書所収は歪曲しないし更に物憂くない
事実17: 「そのデュアルフューエルエンジンは吊るということはなくてそれは枯死でない」ということは間違っている
事実18: 仮に「「そのアウトカムマネージャーがクランクだけど狭苦しくない」ということは成り立つ」ということは成り立たないとすればそのデュアルフューエルエンジンは歪曲する
事実19: そのデュアルフューエルエンジンはクランクだ
事実20: もしもそのアウトカムマネージャーは微笑むとすれば「クランクだ一方で狭苦しくない」ということは間違っている
事実21: もしそのアウトカムマネージャーは物憂いならば「「それは狭苦しくてクランクであるということはない」ということは成り立つ」ということは間違いだ
事実22: もしもそのデュアルフューエルエンジンは歪曲するとすると「この編著書所収は歪曲しなくて物憂くない」ということは成り立たない

仮説: 「この編著書所収は歪曲するということはないし物憂くない」ということは偽である
1. 事実20と事実7から、推論1: "「そのアウトカムマネージャーはクランクであるが狭苦しいということはない」ということは誤っている"が導かれる
2. 推論1と事実18から、推論2: "そのデュアルフューエルエンジンは歪曲する"が導かれる
3. 推論2と事実22から、仮説が導かれる

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