この稼働率指数は詮無い
fact1: 「仮に「このレーザーダイオードは目覚ましいかあるいは顕微受精だ」ということは事実でないとするとこのレーザーダイオードは反対しない」ということは誤っているということはない fact2: その鬼女は反対するし加えておろおろする fact3: 仮に「その鬼女は怒鳴り合うということはないが照れ臭い」ということは偽であるとすると「この稼働率指数は詮無い」ということは成り立つ fact4: もし仮にその鬼女が怒鳴り合わないが照れ臭いとしたらその商工業団体は顕微受精でない fact5: その鬼女が反対するし加えてそれが顕微受精だとしたらこの稼働率指数は反対しない fact6: あの政調会長は小麦胚芽でない fact7: 「その商工業団体は顕微受精でないなら「このレーザーダイオードは目覚ましいかまたはそれは顕微受精であるかまたは両方ともだ」ということは成り立つということはない」ということは真実だ fact8: もしこのレーザーダイオードは反対しないならば「「あの続日本後紀は遷延しないしさらにおろおろしない」ということは本当でない」ということは真実だ fact9: あの政調会長が小麦胚芽でないとすればこのテレビ台は蕎麦掻きでない fact10: もしある物が遷延しないとしたら目覚ましいし顕微受精だ fact11: もしも「あの続日本後紀は遷延しなくておろおろしない」ということは成り立たないとしたらこのテレビ台は蕎麦掻きである
void -> assump1: 以下のように仮定する。その鬼女は怒鳴り合わないがしかし照れ臭い; fact4 & assump1 -> int1: その商工業団体は顕微受精でない; int1 & fact7 -> int2: 「このレーザーダイオードは目覚ましいかまたは顕微受精であるかもしくは両方ともだ」ということは事実でない; int2 & fact1 -> int3: このレーザーダイオードは反対しない; int3 & fact8 -> int4: 「あの続日本後紀は遷延しなくてまたおろおろしない」ということは事実と異なる; int4 & fact11 -> int5: このテレビ台は蕎麦掻きだ; fact9 & fact6 -> int6: このテレビ台は蕎麦掻きであるということはない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「その鬼女は怒鳴り合わないけど照れ臭い」ということは間違っている; int8 & fact3 -> hypothesis;
この稼働率指数は反対しない
fact14 -> int9: その鬼女は反対する; fact13 -> int10: もしも「その鬼女は遷延しない」ということは事実だとすればそれは目覚ましくて更に顕微受精である;
$facts$ = fact1: 「仮に「このレーザーダイオードは目覚ましいかあるいは顕微受精だ」ということは事実でないとするとこのレーザーダイオードは反対しない」ということは誤っているということはない fact2: その鬼女は反対するし加えておろおろする fact3: 仮に「その鬼女は怒鳴り合うということはないが照れ臭い」ということは偽であるとすると「この稼働率指数は詮無い」ということは成り立つ fact4: もし仮にその鬼女が怒鳴り合わないが照れ臭いとしたらその商工業団体は顕微受精でない fact5: その鬼女が反対するし加えてそれが顕微受精だとしたらこの稼働率指数は反対しない fact6: あの政調会長は小麦胚芽でない fact7: 「その商工業団体は顕微受精でないなら「このレーザーダイオードは目覚ましいかまたはそれは顕微受精であるかまたは両方ともだ」ということは成り立つということはない」ということは真実だ fact8: もしこのレーザーダイオードは反対しないならば「「あの続日本後紀は遷延しないしさらにおろおろしない」ということは本当でない」ということは真実だ fact9: あの政調会長が小麦胚芽でないとすればこのテレビ台は蕎麦掻きでない fact10: もしある物が遷延しないとしたら目覚ましいし顕微受精だ fact11: もしも「あの続日本後紀は遷延しなくておろおろしない」ということは成り立たないとしたらこのテレビ台は蕎麦掻きである ; $hypothesis$ = この稼働率指数は詮無い ; $proof$ = 
void -> assump1: 以下のように仮定する。その鬼女は怒鳴り合わないがしかし照れ臭い; fact4 & assump1 -> int1: その商工業団体は顕微受精でない; int1 & fact7 -> int2: 「このレーザーダイオードは目覚ましいかまたは顕微受精であるかもしくは両方ともだ」ということは事実でない; int2 & fact1 -> int3: このレーザーダイオードは反対しない; int3 & fact8 -> int4: 「あの続日本後紀は遷延しなくてまたおろおろしない」ということは事実と異なる; int4 & fact11 -> int5: このテレビ台は蕎麦掻きだ; fact9 & fact6 -> int6: このテレビ台は蕎麦掻きであるということはない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「その鬼女は怒鳴り合わないけど照れ臭い」ということは間違っている; int8 & fact3 -> hypothesis; __PROVED__
事実1: 「仮に「このレーザーダイオードは目覚ましいかあるいは顕微受精だ」ということは事実でないとするとこのレーザーダイオードは反対しない」ということは誤っているということはない
事実2: その鬼女は反対するし加えておろおろする
事実3: 仮に「その鬼女は怒鳴り合うということはないが照れ臭い」ということは偽であるとすると「この稼働率指数は詮無い」ということは成り立つ
事実4: もし仮にその鬼女が怒鳴り合わないが照れ臭いとしたらその商工業団体は顕微受精でない
事実5: その鬼女が反対するし加えてそれが顕微受精だとしたらこの稼働率指数は反対しない
事実6: あの政調会長は小麦胚芽でない
事実7: 「その商工業団体は顕微受精でないなら「このレーザーダイオードは目覚ましいかまたはそれは顕微受精であるかまたは両方ともだ」ということは成り立つということはない」ということは真実だ
事実8: もしこのレーザーダイオードは反対しないならば「「あの続日本後紀は遷延しないしさらにおろおろしない」ということは本当でない」ということは真実だ
事実9: あの政調会長が小麦胚芽でないとすればこのテレビ台は蕎麦掻きでない
事実10: もしある物が遷延しないとしたら目覚ましいし顕微受精だ
事実11: もしも「あの続日本後紀は遷延しなくておろおろしない」ということは成り立たないとしたらこのテレビ台は蕎麦掻きである

仮説: この稼働率指数は詮無い
1. 仮定1: 以下のように仮定する。その鬼女は怒鳴り合わないがしかし照れ臭い
2. 事実4と仮定1から、推論1: "その商工業団体は顕微受精でない"が導かれる
3. 推論1と事実7から、推論2: "「このレーザーダイオードは目覚ましいかまたは顕微受精であるかもしくは両方ともだ」ということは事実でない"が導かれる
4. 推論2と事実1から、推論3: "このレーザーダイオードは反対しない"が導かれる
5. 推論3と事実8から、推論4: "「あの続日本後紀は遷延しなくてまたおろおろしない」ということは事実と異なる"が導かれる
6. 推論4と事実11から、推論5: "このテレビ台は蕎麦掻きだ"が導かれる
7. 事実9と事実6から、推論6: "このテレビ台は蕎麦掻きであるということはない"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「その鬼女は怒鳴り合わないけど照れ臭い」ということは間違っている"が導かれる
10. 推論8と事実3から、仮説が導かれる

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