あのカロテン類は煙たいということはない
fact1: 仮に「何らかの物は捩じれないし無声化し易くない」ということは成り立たないとすれば付け過ぎない fact2: もしもなんらかの物が指名ホステスでないなら付け過ぎるしまた煙たい fact3: その弖爾乎波は捩じれるけど無声化し易くないとするとそれは指名ホステスでない fact4: その弖爾乎波は指名ホステスだ fact5: 仮にその弖爾乎波は無声化し易くないしおまけに煙たくないとすれば付け過ぎない fact6: もしその弖爾乎波が煙たくないとしたらこの肝障害は付け過ぎるしそれは指名ホステスだ fact7: 「その弖爾乎波は捩じれない一方で無声化し易い」ということは誤りである fact8: もし何らかの物は付け過ぎれば「それは揺すり上げないしおまけにそれは高次化しない」ということは成り立たない fact9: 「その弖爾乎波はＡＳＫであるということはない」ということは正しい fact10: 面映ゆいということはなくてまた確からしくない物は解凍するということはない fact11: もし「その弖爾乎波は捩じれないけど無声化し易い」ということは成り立つとすると指名ホステスでない fact12: もしその弖爾乎波は煙たくないしおまけに捩じれないとすると高次化しない fact13: その弖爾乎波は押さえ難くないしおまけに失踪者でない fact14: 仮になんらかのものが付け過ぎないとするとそれは高次化しない fact15: 「その弖爾乎波は捩じれる一方で無声化し易いということはない」ということは成り立たない fact16: もしも「何かはＤＩＶＸエンコードでない」ということは事実であるならそれは下降でない fact17: もしあのカロテン類が求まないならばその弖爾乎波は面映ゆかないし確からしくない fact18: その弖爾乎波は平和教育だ fact19: あのカロテン類は付け過ぎない fact20: あのカロテン類が煙たくないなら付け過ぎない fact21: 仮にその弖爾乎波が高次化しないとしたらあのカロテン類は煙たくない fact22: もし仮にその弖爾乎波が捩じれるということはないし更に無声化し易いということはないなら指名ホステスでない fact23: 仮にその弖爾乎波が獣医師でなくてそれが煙たくないとしたら楽しない fact24: もし仮にとある物が解凍するということはないとすればそれは煙たくない
void -> assump1: 以下のように仮定する。その弖爾乎波は捩じれないしそれに無声化し易いということはない; fact22 & assump1 -> int1: その弖爾乎波は指名ホステスだということはない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その弖爾乎波が捩じれないしさらに無声化し易くない」ということは成り立たない; fact1 -> int4: もし「「その弖爾乎波が捩じれるということはないしその上それは無声化し易いということはない」ということは成り立つ」ということは嘘ならそれは付け過ぎない; int3 & int4 -> int5: 「その弖爾乎波は付け過ぎない」ということは成り立つ; fact14 -> int6: 仮にその弖爾乎波は付け過ぎないならばそれは高次化するということはない; int5 & int6 -> int7: その弖爾乎波は高次化しない; int7 & fact21 -> hypothesis;
「「この肝障害は揺すり上げないしまた高次化するということはない」ということは偽だ」ということは誤っていない
fact26 -> int8: 仮にこの肝障害は付け過ぎるとすると「揺すり上げないし高次化しない」ということは誤りである; fact27 -> int9: もしもその弖爾乎波が解凍するということはないなら煙たくない; fact29 -> int10: もしもその弖爾乎波は面映ゆかないし更に確からしくないなら解凍しない;
$facts$ = fact1: 仮に「何らかの物は捩じれないし無声化し易くない」ということは成り立たないとすれば付け過ぎない fact2: もしもなんらかの物が指名ホステスでないなら付け過ぎるしまた煙たい fact3: その弖爾乎波は捩じれるけど無声化し易くないとするとそれは指名ホステスでない fact4: その弖爾乎波は指名ホステスだ fact5: 仮にその弖爾乎波は無声化し易くないしおまけに煙たくないとすれば付け過ぎない fact6: もしその弖爾乎波が煙たくないとしたらこの肝障害は付け過ぎるしそれは指名ホステスだ fact7: 「その弖爾乎波は捩じれない一方で無声化し易い」ということは誤りである fact8: もし何らかの物は付け過ぎれば「それは揺すり上げないしおまけにそれは高次化しない」ということは成り立たない fact9: 「その弖爾乎波はＡＳＫであるということはない」ということは正しい fact10: 面映ゆいということはなくてまた確からしくない物は解凍するということはない fact11: もし「その弖爾乎波は捩じれないけど無声化し易い」ということは成り立つとすると指名ホステスでない fact12: もしその弖爾乎波は煙たくないしおまけに捩じれないとすると高次化しない fact13: その弖爾乎波は押さえ難くないしおまけに失踪者でない fact14: 仮になんらかのものが付け過ぎないとするとそれは高次化しない fact15: 「その弖爾乎波は捩じれる一方で無声化し易いということはない」ということは成り立たない fact16: もしも「何かはＤＩＶＸエンコードでない」ということは事実であるならそれは下降でない fact17: もしあのカロテン類が求まないならばその弖爾乎波は面映ゆかないし確からしくない fact18: その弖爾乎波は平和教育だ fact19: あのカロテン類は付け過ぎない fact20: あのカロテン類が煙たくないなら付け過ぎない fact21: 仮にその弖爾乎波が高次化しないとしたらあのカロテン類は煙たくない fact22: もし仮にその弖爾乎波が捩じれるということはないし更に無声化し易いということはないなら指名ホステスでない fact23: 仮にその弖爾乎波が獣医師でなくてそれが煙たくないとしたら楽しない fact24: もし仮にとある物が解凍するということはないとすればそれは煙たくない ; $hypothesis$ = あのカロテン類は煙たいということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その弖爾乎波は捩じれないしそれに無声化し易いということはない; fact22 & assump1 -> int1: その弖爾乎波は指名ホステスだということはない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その弖爾乎波が捩じれないしさらに無声化し易くない」ということは成り立たない; fact1 -> int4: もし「「その弖爾乎波が捩じれるということはないしその上それは無声化し易いということはない」ということは成り立つ」ということは嘘ならそれは付け過ぎない; int3 & int4 -> int5: 「その弖爾乎波は付け過ぎない」ということは成り立つ; fact14 -> int6: 仮にその弖爾乎波は付け過ぎないならばそれは高次化するということはない; int5 & int6 -> int7: その弖爾乎波は高次化しない; int7 & fact21 -> hypothesis; __PROVED__
事実1: 仮に「何らかの物は捩じれないし無声化し易くない」ということは成り立たないとすれば付け過ぎない
事実2: もしもなんらかの物が指名ホステスでないなら付け過ぎるしまた煙たい
事実3: その弖爾乎波は捩じれるけど無声化し易くないとするとそれは指名ホステスでない
事実4: その弖爾乎波は指名ホステスだ
事実5: 仮にその弖爾乎波は無声化し易くないしおまけに煙たくないとすれば付け過ぎない
事実6: もしその弖爾乎波が煙たくないとしたらこの肝障害は付け過ぎるしそれは指名ホステスだ
事実7: 「その弖爾乎波は捩じれない一方で無声化し易い」ということは誤りである
事実8: もし何らかの物は付け過ぎれば「それは揺すり上げないしおまけにそれは高次化しない」ということは成り立たない
事実9: 「その弖爾乎波はＡＳＫであるということはない」ということは正しい
事実10: 面映ゆいということはなくてまた確からしくない物は解凍するということはない
事実11: もし「その弖爾乎波は捩じれないけど無声化し易い」ということは成り立つとすると指名ホステスでない
事実12: もしその弖爾乎波は煙たくないしおまけに捩じれないとすると高次化しない
事実13: その弖爾乎波は押さえ難くないしおまけに失踪者でない
事実14: 仮になんらかのものが付け過ぎないとするとそれは高次化しない
事実15: 「その弖爾乎波は捩じれる一方で無声化し易いということはない」ということは成り立たない
事実16: もしも「何かはＤＩＶＸエンコードでない」ということは事実であるならそれは下降でない
事実17: もしあのカロテン類が求まないならばその弖爾乎波は面映ゆかないし確からしくない
事実18: その弖爾乎波は平和教育だ
事実19: あのカロテン類は付け過ぎない
事実20: あのカロテン類が煙たくないなら付け過ぎない
事実21: 仮にその弖爾乎波が高次化しないとしたらあのカロテン類は煙たくない
事実22: もし仮にその弖爾乎波が捩じれるということはないし更に無声化し易いということはないなら指名ホステスでない
事実23: 仮にその弖爾乎波が獣医師でなくてそれが煙たくないとしたら楽しない
事実24: もし仮にとある物が解凍するということはないとすればそれは煙たくない

仮説: あのカロテン類は煙たいということはない
1. 仮定1: 以下のように仮定する。その弖爾乎波は捩じれないしそれに無声化し易いということはない
2. 事実22と仮定1から、推論1: "その弖爾乎波は指名ホステスだということはない"が導かれる
3. 推論1と事実4から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「その弖爾乎波が捩じれないしさらに無声化し易くない」ということは成り立たない"が導かれる
5. 事実1から、推論4: "もし「「その弖爾乎波が捩じれるということはないしその上それは無声化し易いということはない」ということは成り立つ」ということは嘘ならそれは付け過ぎない"が導かれる
6. 推論3と推論4から、推論5: "「その弖爾乎波は付け過ぎない」ということは成り立つ"が導かれる
7. 事実14から、推論6: "仮にその弖爾乎波は付け過ぎないならばそれは高次化するということはない"が導かれる
8. 推論5と推論6から、推論7: "その弖爾乎波は高次化しない"が導かれる
9. 推論7と事実21から、仮説が導かれる

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