「この干支は緑茶離れであるがしかし左中心前回でない」ということは成り立たない
fact1: 「手緩いかアジア全体でないかもしくは両方な」ものはある fact2: ある物は取り辛くないかそれは感染し易くない fact3: この知行は竪琴であるならば厳つい fact4: 厳つい物は馴れ馴れしい fact5: 何かは納骨堂であるかまたは荒稼ぎしない fact6: 仮に「何らかの物は厳つい」ということは確かなら冒涜しない一方で馴れ馴れしい fact7: 仮にこの知行が竪琴でないとするとあの償却は左中心前回だけど緑茶離れだということはない fact8: とあるものは取り辛いかまたは感染し易くない fact9: もし仮に何かはどでかくないなら「地方公務員法である一方で選択し易くない」ということは誤りだ fact10: 「もしもなんらかのものは竪琴だということはないなら「それは冒涜しないけど馴れ馴れしい」ということは誤っている」ということは本当である fact11: 太し物は世代交代しない一方で忙しい fact12: この干支は二六時中である fact13: もしなにかは起き難いということはないとすれば「「それは置き易いし父親らしい」ということは本当である」ということは偽である fact14: もしもなにかは戦えらないとしたら「忙しくてまた愛慕しない」ということは成り立たない fact15: あの活性水素水は緑茶離れである fact16: この干支は選択し易い fact17: 仮になにがしかの物は中央本部でないならば「それは読み易くて可愛くない」ということは嘘だ fact18: この事件現場は竪琴である fact19: もしもとある物は厳つかないとすれば「緑茶離れだしおまけにそれは左中心前回でない」ということは成り立たない fact20: もしも「取り辛くないかまたは感染し易くないかまたはどちらもな」ものがあるとするとこの干支は竪琴でない fact21: 仮に左中心前回は緑茶離れでないとしたら扇動しない fact22: 仮にあの出来高急増が竪琴であるとすればあの知行は竪琴だ
fact6 -> int1: もしこの干支が厳ついとしたら冒涜しないが馴れ馴れしい; void -> assump1: 以下のように仮定する。この干支は厳つい; int1 & assump1 -> int2: この干支は冒涜しない一方で馴れ馴れしい; fact10 -> int3: もしもこの干支は竪琴でないなら「冒涜するということはないけれど馴れ馴れしい」ということは本当でない; fact2 & fact20 -> int4: この干支は竪琴でない; int3 & int4 -> int5: 「この干支は冒涜しないがしかし馴れ馴れしい」ということは間違いである; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この干支は厳つかない; fact19 -> int8: もしもこの干支は厳つかないとしたら「緑茶離れだけど左中心前回でない」ということは確かでない; int7 & int8 -> 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$ = 
fact6 -> int1: もしこの干支が厳ついとしたら冒涜しないが馴れ馴れしい; void -> assump1: 以下のように仮定する。この干支は厳つい; int1 & assump1 -> int2: この干支は冒涜しない一方で馴れ馴れしい; fact10 -> int3: もしもこの干支は竪琴でないなら「冒涜するということはないけれど馴れ馴れしい」ということは本当でない; fact2 & fact20 -> int4: この干支は竪琴でない; int3 & int4 -> int5: 「この干支は冒涜しないがしかし馴れ馴れしい」ということは間違いである; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この干支は厳つかない; fact19 -> int8: もしもこの干支は厳つかないとしたら「緑茶離れだけど左中心前回でない」ということは確かでない; int7 & int8 -> 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. 事実6から、推論1: "もしこの干支が厳ついとしたら冒涜しないが馴れ馴れしい"が導かれる
2. 仮定1: 以下のように仮定する。この干支は厳つい
3. 推論1と仮定1から、推論2: "この干支は冒涜しない一方で馴れ馴れしい"が導かれる
4. 事実10から、推論3: "もしもこの干支は竪琴でないなら「冒涜するということはないけれど馴れ馴れしい」ということは本当でない"が導かれる
5. 事実2と事実20から、推論4: "この干支は竪琴でない"が導かれる
6. 推論3と推論4から、推論5: "「この干支は冒涜しないがしかし馴れ馴れしい」ということは間違いである"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この干支は厳つかない"が導かれる
9. 事実19から、推論8: "もしもこの干支は厳つかないとしたら「緑茶離れだけど左中心前回でない」ということは確かでない"が導かれる
10. 推論7と推論8から、仮説が導かれる

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