この六Ｆは照明灯であるということはない
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: もし仮にあの世界大恐慌が御恥ずかしくないけれど一撃するとすればそれは力強くない
fact19 & fact13 -> int1: この根状菌糸束は力強くない; int1 & fact20 -> int2: 「あの世界大恐慌は一撃しないけれど力強い」ということは誤っている; fact12 -> int3: 「あの世界大恐慌は一撃しない一方で力強い」ということは成り立たないとしたら御恥ずかしくない; int2 & int3 -> int4: 「あの世界大恐慌は御恥ずかしくない」ということは成り立つ; int4 & fact18 -> int5: この六Ｆはアメリカっぽい; fact6 -> int6: もしもこの六Ｆはアメリカっぽいとすると「御聞き下さるということはないしかつ田である」ということは成り立たない; int5 & int6 -> int7: 「この六Ｆは御聞き下さらないがしかし田である」ということは間違っている; fact4 -> int8: もしも「この六Ｆは御聞き下さらないがしかし田だ」ということは間違っているとすればそれは照明灯でない; int7 & int8 -> hypothesis;
この六Ｆは照明灯である
fact28 -> int9: この根状菌糸束が御早いかそれは水っぽくないかあるいは両方であるとすれば御早い;
$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$ = 
fact19 & fact13 -> int1: この根状菌糸束は力強くない; int1 & fact20 -> int2: 「あの世界大恐慌は一撃しないけれど力強い」ということは誤っている; fact12 -> int3: 「あの世界大恐慌は一撃しない一方で力強い」ということは成り立たないとしたら御恥ずかしくない; int2 & int3 -> int4: 「あの世界大恐慌は御恥ずかしくない」ということは成り立つ; int4 & fact18 -> int5: この六Ｆはアメリカっぽい; fact6 -> int6: もしもこの六Ｆはアメリカっぽいとすると「御聞き下さるということはないしかつ田である」ということは成り立たない; int5 & int6 -> int7: 「この六Ｆは御聞き下さらないがしかし田である」ということは間違っている; fact4 -> 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: もし何らかの物は田でないとしたら「照明灯でない」ということは本当である
事実23: もしも「あの世界大恐慌は一撃しないけど力強い」ということは誤っているとするとそれは御聞き下さらない
事実24: なんらかの物は全集類である
事実25: もしなんらかの物は御早いか水っぽくないかどちらもであるとすると御早い
事実26: もし仮にあの世界大恐慌が御恥ずかしくないけれど一撃するとすればそれは力強くない

仮説: この六Ｆは照明灯であるということはない
1. 事実19と事実13から、推論1: "この根状菌糸束は力強くない"が導かれる
2. 推論1と事実20から、推論2: "「あの世界大恐慌は一撃しないけれど力強い」ということは誤っている"が導かれる
3. 事実12から、推論3: "「あの世界大恐慌は一撃しない一方で力強い」ということは成り立たないとしたら御恥ずかしくない"が導かれる
4. 推論2と推論3から、推論4: "「あの世界大恐慌は御恥ずかしくない」ということは成り立つ"が導かれる
5. 推論4と事実18から、推論5: "この六Ｆはアメリカっぽい"が導かれる
6. 事実6から、推論6: "もしもこの六Ｆはアメリカっぽいとすると「御聞き下さるということはないしかつ田である」ということは成り立たない"が導かれる
7. 推論5と推論6から、推論7: "「この六Ｆは御聞き下さらないがしかし田である」ということは間違っている"が導かれる
8. 事実4から、推論8: "もしも「この六Ｆは御聞き下さらないがしかし田だ」ということは間違っているとすればそれは照明灯でない"が導かれる
9. 推論7と推論8から、仮説が導かれる

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