あの本番前は交わせる
fact1: その夜景モードは交わせない fact2: あの本番前は柔い一方で新しくない fact3: このベースボールは軽い fact4: その電子制御は交わせないかもしくはそれは聞き及ぶ fact5: そのデイリープログラムは軽くないとすれば「「あの本番前は交わせるがしかし追い込まない」ということは成り立つ」ということは嘘である fact6: そのＳＳＬプロトコルは交わせる fact7: 仮になにかは品川区役所でないとしたら「それは逞しい一方で騒々しくない」ということは確かだ fact8: もし仮にその電子制御は品川区役所でないとしたらそれは騒々しいということはない fact9: もし仮にあの本番前は逞しいとすれば「その電子制御は図太くないかもしくはそれは交わせるかもしくはどちらもである」ということは成り立つ fact10: その電子制御はドラマーでない fact11: もしもそのデイリープログラムは運び易いならば「その電子制御は柔いということはないかもしくはそれは図太いかまたは両方だ」ということは偽でない fact12: 逞しいものが騒々しくないならあの本番前は交わせる fact13: もしもとあるものは騒々しいなら「それは品川区役所である一方で軽くない」ということは成り立つ fact14: あの本番前は柔い fact15: 仮になにがしかの物が追い込まないかもしくはそれは軽いということはないかまたは両方ともだとしたらそれは品川区役所でない fact16: もし仮になにかは憤死しないならば生じ得る一方で読み進めない fact17: 「この病児は柔い」ということは真実である fact18: そのデイリープログラムは運び易い fact19: なんらかのものは神経幹・前駆細胞であるということはないならばそれは口論しない fact20: そのデイリープログラムは逞しくないかもしくはしつこくないかあるいはどちらもだ fact21: なにかはカレントバージョンだ fact22: その電子制御は泣き始めない fact23: 柔くないかもしくは図太いかあるいは両方ともである物は追い込まない fact24: あの本番前は逞しくないかもしくは交わせるかあるいは両方だ fact25: 「この悲痛は夜逃げする」ということは真実だ fact26: 「比較時点な」ものはある
fact23 -> int1: もし仮にその電子制御は柔くないかあるいは図太いかもしくは両方ともであるとするとそれは追い込まない; fact11 & fact18 -> int2: その電子制御は柔くないかあるいは図太いかあるいは両方ともだ; int1 & int2 -> int3: その電子制御は追い込むということはない; int3 -> int4: その電子制御は追い込まないかもしくは軽くないかあるいは両方だ; fact15 -> int5: 仮にその電子制御が追い込まないかあるいは軽いということはないとすれば「品川区役所でない」ということは真実だ; int4 & int5 -> int6: その電子制御は品川区役所でない; fact7 -> int7: もし仮にその電子制御が品川区役所でないとすればそれが逞しいしその上それは騒々しいということはない; int6 & int7 -> int8: その電子制御は逞しいが騒々しくない; int8 -> int9: 何らかのものは逞しい一方で騒々しくない; int9 & fact12 -> hypothesis;
あの本番前は交わせない
fact27 -> 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: あの本番前は逞しくないかもしくは交わせるかあるいは両方だ fact25: 「この悲痛は夜逃げする」ということは真実だ fact26: 「比較時点な」ものはある ; $hypothesis$ = あの本番前は交わせる ; $proof$ = 
fact23 -> int1: もし仮にその電子制御は柔くないかあるいは図太いかもしくは両方ともであるとするとそれは追い込まない; fact11 & fact18 -> int2: その電子制御は柔くないかあるいは図太いかあるいは両方ともだ; int1 & int2 -> int3: その電子制御は追い込むということはない; int3 -> int4: その電子制御は追い込まないかもしくは軽くないかあるいは両方だ; fact15 -> int5: 仮にその電子制御が追い込まないかあるいは軽いということはないとすれば「品川区役所でない」ということは真実だ; int4 & int5 -> int6: その電子制御は品川区役所でない; fact7 -> int7: もし仮にその電子制御が品川区役所でないとすればそれが逞しいしその上それは騒々しいということはない; int6 & int7 -> int8: その電子制御は逞しいが騒々しくない; int8 -> int9: 何らかのものは逞しい一方で騒々しくない; int9 & fact12 -> 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: あの本番前は逞しくないかもしくは交わせるかあるいは両方だ
事実25: 「この悲痛は夜逃げする」ということは真実だ
事実26: 「比較時点な」ものはある

仮説: あの本番前は交わせる
1. 事実23から、推論1: "もし仮にその電子制御は柔くないかあるいは図太いかもしくは両方ともであるとするとそれは追い込まない"が導かれる
2. 事実11と事実18から、推論2: "その電子制御は柔くないかあるいは図太いかあるいは両方ともだ"が導かれる
3. 推論1と推論2から、推論3: "その電子制御は追い込むということはない"が導かれる
4. 推論3から、推論4: "その電子制御は追い込まないかもしくは軽くないかあるいは両方だ"が導かれる
5. 事実15から、推論5: "仮にその電子制御が追い込まないかあるいは軽いということはないとすれば「品川区役所でない」ということは真実だ"が導かれる
6. 推論4と推論5から、推論6: "その電子制御は品川区役所でない"が導かれる
7. 事実7から、推論7: "もし仮にその電子制御が品川区役所でないとすればそれが逞しいしその上それは騒々しいということはない"が導かれる
8. 推論6と推論7から、推論8: "その電子制御は逞しいが騒々しくない"が導かれる
9. 推論8から、推論9: "何らかのものは逞しい一方で騒々しくない"が導かれる
10. 推論9と事実12から、仮説が導かれる

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