「その新賃金は諸法則でないかもしくはデータ転送速度である」ということは真実である
fact1: その手摺子は憎くない fact2: あの鍍金文化は物語るかもしくはそれは憎い fact3: もし何かは煩いということはないとすれば「それは黒くないかまたは旋盤であるかもしくはどちらもである」ということは間違っている fact4: もし仮にあの鍍金文化が憎くないとするとその手摺子は諸法則であるということはないし更に物語らない fact5: もし仮にその新賃金がデータ転送速度だということはないとすればあの鍍金文化はデータ転送速度であるかあるいはそれはすげない fact6: もしあるものはビロードでないとするとそれは確かめ合わない fact7: 仮にその手摺子が憎くないとしたらあの鍍金文化はすげなくないしその上物語らない fact8: 何らかの物はデータ転送速度でないなら「それが転販するしその上黒くない」ということは成り立たない fact9: もしとあるものが物語らないとすればそれは晦まさないし諸法則でない fact10: もしなんらかの物が晦ませば憎くなくて加えて静大でない fact11: 仮に「なにかは黒くないか旋盤であるかもしくは両方だ」ということは間違いであるならばそれは転販しない fact12: もしもあの鍍金文化はデータ転送速度でないとすると「諸法則でなくておまけにすげなくない」ということは成り立つ fact13: 仮にあの鍍金文化が諸法則でないならばその新賃金は諸法則でないかあるいはデータ転送速度であるかもしくは両方ともだ fact14: 仮に「あの当はデータ転送速度であるけど旋盤でない」ということは偽ならそれはデータ転送速度でない fact15: もしも「ある物は転販するけれど黒くない」ということは成り立たないとすれば転販しない fact16: その新賃金は諸法則であるか憎い fact17: 他愛無い物は煩いということはなくて気安くない fact18: 「すべての物は他愛無い」ということは誤りでない fact19: 「あの当はデータ転送速度だけれどそれは旋盤でない」ということは間違っている fact20: もし仮にその新賃金が憎くないとしたらそれはデータ転送速度でない
fact7 & fact1 -> int1: あの鍍金文化はすげなくなくて更に物語るということはない; int1 -> int2: あの鍍金文化は物語らない; fact9 -> int3: あの鍍金文化が物語らないならば晦まさなくてそれは諸法則でない; int2 & int3 -> int4: 「あの鍍金文化は晦ますということはなくて諸法則でない」ということは本当である; int4 -> int5: あの鍍金文化は諸法則でない; int5 & fact13 -> hypothesis;
「その新賃金は諸法則でないかデータ転送速度であるかもしくはどちらもである」ということは間違っている
fact23 -> int6: もしもその開店当時が他愛無いならば煩くないしまた気安くない; fact22 -> int7: その開店当時は他愛無い; int6 & int7 -> int8: その開店当時は煩くないし気安くない; int8 -> int9: あらゆる物は煩いということはないし更にそれは気安くない; int9 -> int10: あのぽい捨ては煩くないし気安くない; int10 -> int11: 「あのぽい捨ては煩くない」ということは本当だ; int11 -> int12: 何もかもは煩くない; int12 -> int13: あの鍍金文化は煩くない; fact24 -> int14: 仮にあの鍍金文化は煩くないとすれば「黒いということはないかもしくは旋盤であるかあるいはどちらもである」ということは成り立つということはない; int13 & int14 -> int15: 「あの鍍金文化は黒くないかもしくは旋盤であるかあるいは両方ともだ」ということは誤りである; int15 -> int16: 黒くないかまたは旋盤であるかあるいはどちらもだというものはない; int16 -> int17: 「その手摺子は黒くないかあるいはそれは旋盤だ」ということは成り立たない; fact21 -> int18: もし「その手摺子は黒くないかそれは旋盤であるかまたはどちらもだ」ということは成り立たないとすればそれは転販しない; int17 & int18 -> int19: その手摺子は転販しない; int19 -> int20: なんらかのものは転販しない;
$facts$ = fact1: その手摺子は憎くない fact2: あの鍍金文化は物語るかもしくはそれは憎い fact3: もし何かは煩いということはないとすれば「それは黒くないかまたは旋盤であるかもしくはどちらもである」ということは間違っている fact4: もし仮にあの鍍金文化が憎くないとするとその手摺子は諸法則であるということはないし更に物語らない fact5: もし仮にその新賃金がデータ転送速度だということはないとすればあの鍍金文化はデータ転送速度であるかあるいはそれはすげない fact6: もしあるものはビロードでないとするとそれは確かめ合わない fact7: 仮にその手摺子が憎くないとしたらあの鍍金文化はすげなくないしその上物語らない fact8: 何らかの物はデータ転送速度でないなら「それが転販するしその上黒くない」ということは成り立たない fact9: もしとあるものが物語らないとすればそれは晦まさないし諸法則でない fact10: もしなんらかの物が晦ませば憎くなくて加えて静大でない fact11: 仮に「なにかは黒くないか旋盤であるかもしくは両方だ」ということは間違いであるならばそれは転販しない fact12: もしもあの鍍金文化はデータ転送速度でないとすると「諸法則でなくておまけにすげなくない」ということは成り立つ fact13: 仮にあの鍍金文化が諸法則でないならばその新賃金は諸法則でないかあるいはデータ転送速度であるかもしくは両方ともだ fact14: 仮に「あの当はデータ転送速度であるけど旋盤でない」ということは偽ならそれはデータ転送速度でない fact15: もしも「ある物は転販するけれど黒くない」ということは成り立たないとすれば転販しない fact16: その新賃金は諸法則であるか憎い fact17: 他愛無い物は煩いということはなくて気安くない fact18: 「すべての物は他愛無い」ということは誤りでない fact19: 「あの当はデータ転送速度だけれどそれは旋盤でない」ということは間違っている fact20: もし仮にその新賃金が憎くないとしたらそれはデータ転送速度でない ; $hypothesis$ = 「その新賃金は諸法則でないかもしくはデータ転送速度である」ということは真実である ; $proof$ = 
fact7 & fact1 -> int1: あの鍍金文化はすげなくなくて更に物語るということはない; int1 -> int2: あの鍍金文化は物語らない; fact9 -> int3: あの鍍金文化が物語らないならば晦まさなくてそれは諸法則でない; int2 & int3 -> int4: 「あの鍍金文化は晦ますということはなくて諸法則でない」ということは本当である; int4 -> int5: あの鍍金文化は諸法則でない; int5 & fact13 -> hypothesis; __PROVED__
事実1: その手摺子は憎くない
事実2: あの鍍金文化は物語るかもしくはそれは憎い
事実3: もし何かは煩いということはないとすれば「それは黒くないかまたは旋盤であるかもしくはどちらもである」ということは間違っている
事実4: もし仮にあの鍍金文化が憎くないとするとその手摺子は諸法則であるということはないし更に物語らない
事実5: もし仮にその新賃金がデータ転送速度だということはないとすればあの鍍金文化はデータ転送速度であるかあるいはそれはすげない
事実6: もしあるものはビロードでないとするとそれは確かめ合わない
事実7: 仮にその手摺子が憎くないとしたらあの鍍金文化はすげなくないしその上物語らない
事実8: 何らかの物はデータ転送速度でないなら「それが転販するしその上黒くない」ということは成り立たない
事実9: もしとあるものが物語らないとすればそれは晦まさないし諸法則でない
事実10: もしなんらかの物が晦ませば憎くなくて加えて静大でない
事実11: 仮に「なにかは黒くないか旋盤であるかもしくは両方だ」ということは間違いであるならばそれは転販しない
事実12: もしもあの鍍金文化はデータ転送速度でないとすると「諸法則でなくておまけにすげなくない」ということは成り立つ
事実13: 仮にあの鍍金文化が諸法則でないならばその新賃金は諸法則でないかあるいはデータ転送速度であるかもしくは両方ともだ
事実14: 仮に「あの当はデータ転送速度であるけど旋盤でない」ということは偽ならそれはデータ転送速度でない
事実15: もしも「ある物は転販するけれど黒くない」ということは成り立たないとすれば転販しない
事実16: その新賃金は諸法則であるか憎い
事実17: 他愛無い物は煩いということはなくて気安くない
事実18: 「すべての物は他愛無い」ということは誤りでない
事実19: 「あの当はデータ転送速度だけれどそれは旋盤でない」ということは間違っている
事実20: もし仮にその新賃金が憎くないとしたらそれはデータ転送速度でない

仮説: 「その新賃金は諸法則でないかもしくはデータ転送速度である」ということは真実である
1. 事実7と事実1から、推論1: "あの鍍金文化はすげなくなくて更に物語るということはない"が導かれる
2. 推論1から、推論2: "あの鍍金文化は物語らない"が導かれる
3. 事実9から、推論3: "あの鍍金文化が物語らないならば晦まさなくてそれは諸法則でない"が導かれる
4. 推論2と推論3から、推論4: "「あの鍍金文化は晦ますということはなくて諸法則でない」ということは本当である"が導かれる
5. 推論4から、推論5: "あの鍍金文化は諸法則でない"が導かれる
6. 推論5と事実13から、仮説が導かれる

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