「あのマルチチャンネルはめんどい」ということは真実である
fact1: 「「チョコバナナであるしそれに試験問題だということはない」ということは事実と異なる」物はある fact2: この名目利子率は四ミリメートル算盤型である fact3: あのマルチチャンネルが塩抜きしないとするとそれは齟齬だ fact4: もしも齟齬が塩抜きしないとするとそれはめんどくない fact5: 「その製造会社はチョコバナナでない」ということは正しい fact6: 「「チョコバナナでなくておまけに試験問題でない」ということは確かでない」ものがあるとすればあのマルチチャンネルは母親業であるということはない fact7: 齟齬は母親業だ fact8: ある物はチョコバナナでないし更にそれは試験問題でない fact9: もしなんらかのものはチョコバナナでないならば「それは母親業であるししかも試験問題だ」ということは偽である fact10: もし仮になんらかの物が塩抜きするとするとめんどい fact11: もし「「チョコバナナである」ということは成り立つ」物があるとすればあのマルチチャンネルは母親業でない fact12: 「「チョコバナナだということはないし加えて試験問題である」ということは偽な」物はある fact13: 「「チョコバナナであるということはなくて試験問題だということはない」ということは嘘な」物はある
void -> assump1: 以下のように仮定する。あのマルチチャンネルは塩抜きしない; fact3 & assump1 -> int1: あのマルチチャンネルは齟齬である; fact7 -> int2: もしあのマルチチャンネルは齟齬であるとすれば母親業だ; int1 & int2 -> int3: あのマルチチャンネルは母親業である; fact13 & fact6 -> int4: 「あのマルチチャンネルは母親業でない」ということは成り立つ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あのマルチチャンネルは塩抜きする; fact10 -> int7: もしあのマルチチャンネルが塩抜きすればめんどい; int6 & int7 -> hypothesis;
あのマルチチャンネルはめんどくない
fact14 -> int8: 仮にあのマルチチャンネルが齟齬だけれどそれは塩抜きしないなら「それはめんどくない」ということは事実である; fact16 -> int9: 仮にその製造会社はチョコバナナでないならば「母親業であるしそれは試験問題だ」ということは誤っている; int9 & fact15 -> int10: 「その製造会社は母親業であるしその上試験問題だ」ということは誤っている;
$facts$ = fact1: 「「チョコバナナであるしそれに試験問題だということはない」ということは事実と異なる」物はある fact2: この名目利子率は四ミリメートル算盤型である fact3: あのマルチチャンネルが塩抜きしないとするとそれは齟齬だ fact4: もしも齟齬が塩抜きしないとするとそれはめんどくない fact5: 「その製造会社はチョコバナナでない」ということは正しい fact6: 「「チョコバナナでなくておまけに試験問題でない」ということは確かでない」ものがあるとすればあのマルチチャンネルは母親業であるということはない fact7: 齟齬は母親業だ fact8: ある物はチョコバナナでないし更にそれは試験問題でない fact9: もしなんらかのものはチョコバナナでないならば「それは母親業であるししかも試験問題だ」ということは偽である fact10: もし仮になんらかの物が塩抜きするとするとめんどい fact11: もし「「チョコバナナである」ということは成り立つ」物があるとすればあのマルチチャンネルは母親業でない fact12: 「「チョコバナナだということはないし加えて試験問題である」ということは偽な」物はある fact13: 「「チョコバナナであるということはなくて試験問題だということはない」ということは嘘な」物はある ; $hypothesis$ = 「あのマルチチャンネルはめんどい」ということは真実である ; $proof$ = 
void -> assump1: 以下のように仮定する。あのマルチチャンネルは塩抜きしない; fact3 & assump1 -> int1: あのマルチチャンネルは齟齬である; fact7 -> int2: もしあのマルチチャンネルは齟齬であるとすれば母親業だ; int1 & int2 -> int3: あのマルチチャンネルは母親業である; fact13 & fact6 -> int4: 「あのマルチチャンネルは母親業でない」ということは成り立つ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あのマルチチャンネルは塩抜きする; fact10 -> int7: もしあのマルチチャンネルが塩抜きすればめんどい; int6 & int7 -> hypothesis; __PROVED__
事実1: 「「チョコバナナであるしそれに試験問題だということはない」ということは事実と異なる」物はある
事実2: この名目利子率は四ミリメートル算盤型である
事実3: あのマルチチャンネルが塩抜きしないとするとそれは齟齬だ
事実4: もしも齟齬が塩抜きしないとするとそれはめんどくない
事実5: 「その製造会社はチョコバナナでない」ということは正しい
事実6: 「「チョコバナナでなくておまけに試験問題でない」ということは確かでない」ものがあるとすればあのマルチチャンネルは母親業であるということはない
事実7: 齟齬は母親業だ
事実8: ある物はチョコバナナでないし更にそれは試験問題でない
事実9: もしなんらかのものはチョコバナナでないならば「それは母親業であるししかも試験問題だ」ということは偽である
事実10: もし仮になんらかの物が塩抜きするとするとめんどい
事実11: もし「「チョコバナナである」ということは成り立つ」物があるとすればあのマルチチャンネルは母親業でない
事実12: 「「チョコバナナだということはないし加えて試験問題である」ということは偽な」物はある
事実13: 「「チョコバナナであるということはなくて試験問題だということはない」ということは嘘な」物はある

仮説: 「あのマルチチャンネルはめんどい」ということは真実である
1. 仮定1: 以下のように仮定する。あのマルチチャンネルは塩抜きしない
2. 事実3と仮定1から、推論1: "あのマルチチャンネルは齟齬である"が導かれる
3. 事実7から、推論2: "もしあのマルチチャンネルは齟齬であるとすれば母親業だ"が導かれる
4. 推論1と推論2から、推論3: "あのマルチチャンネルは母親業である"が導かれる
5. 事実13と事実6から、推論4: "「あのマルチチャンネルは母親業でない」ということは成り立つ"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あのマルチチャンネルは塩抜きする"が導かれる
8. 事実10から、推論7: "もしあのマルチチャンネルが塩抜きすればめんどい"が導かれる
9. 推論6と推論7から、仮説が導かれる

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