あのアメリカ産牛肉は妬む
fact1: もしなんらかの物が妬むがしかしそれが押し黙らないならあのミニトライアルは這い蹲う fact2: とある物は生まれ出ないかまたは発効するということはないかあるいはどちらもだ fact3: 仮に「生まれ出るということはないか発効しないかもしくは両方である」ものがあるとすればこのブレーキは生まれ出ない fact4: 仮になにかは這い蹲うとすると侵入者である fact5: その人事担当は押し黙る fact6: もしもあるものは甘鯛であるとしたらそれは御美しい fact7: もし仮にあのミニトライアルが侵入者であるとすればこの角避比古神社は手っ取り早い fact8: このブレーキが生まれ出ないとするとその人事担当は生まれ出るということはない fact9: 仮にその人事担当は生まれ出ないとすると「この角避比古神社は御美しいがしかし手っ取り早いということはない」ということは本当だ fact10: なにかは妬むしかつ押し黙る fact11: あのアメリカ産牛肉は押し黙らない
void -> assump1: 以下のように仮定する。あのアメリカ産牛肉は妬む; assump1 & fact11 -> int1: あのアメリカ産牛肉は妬む一方でそれは押し黙るということはない; int1 -> int2: 何らかのものは妬むがそれは押し黙らない; int2 & fact1 -> int3: あのミニトライアルは這い蹲う; fact4 -> int4: もし仮にあのミニトライアルが這い蹲うとするとそれは侵入者である; int3 & int4 -> int5: あのミニトライアルは侵入者だ; int5 & fact7 -> int6: この角避比古神社は手っ取り早い; fact3 & fact2 -> int7: このブレーキは生まれ出ない; fact8 & int7 -> int8: その人事担当は生まれ出ない; int8 & fact9 -> int9: この角避比古神社は御美しい一方で手っ取り早くない; int9 -> int10: 「この角避比古神社は手っ取り早くない」ということは正しい; int6 & int10 -> int11: これは矛盾である; [assump1] & int11 -> hypothesis;
もしも「この角避比古神社は甘鯛である」ということは確かだとしたら「御美しい」ということは成り立つ
fact12 -> hypothesis;
$facts$ = fact1: もしなんらかの物が妬むがしかしそれが押し黙らないならあのミニトライアルは這い蹲う fact2: とある物は生まれ出ないかまたは発効するということはないかあるいはどちらもだ fact3: 仮に「生まれ出るということはないか発効しないかもしくは両方である」ものがあるとすればこのブレーキは生まれ出ない fact4: 仮になにかは這い蹲うとすると侵入者である fact5: その人事担当は押し黙る fact6: もしもあるものは甘鯛であるとしたらそれは御美しい fact7: もし仮にあのミニトライアルが侵入者であるとすればこの角避比古神社は手っ取り早い fact8: このブレーキが生まれ出ないとするとその人事担当は生まれ出るということはない fact9: 仮にその人事担当は生まれ出ないとすると「この角避比古神社は御美しいがしかし手っ取り早いということはない」ということは本当だ fact10: なにかは妬むしかつ押し黙る fact11: あのアメリカ産牛肉は押し黙らない ; $hypothesis$ = あのアメリカ産牛肉は妬む ; $proof$ = 
void -> assump1: 以下のように仮定する。あのアメリカ産牛肉は妬む; assump1 & fact11 -> int1: あのアメリカ産牛肉は妬む一方でそれは押し黙るということはない; int1 -> int2: 何らかのものは妬むがそれは押し黙らない; int2 & fact1 -> int3: あのミニトライアルは這い蹲う; fact4 -> int4: もし仮にあのミニトライアルが這い蹲うとするとそれは侵入者である; int3 & int4 -> int5: あのミニトライアルは侵入者だ; int5 & fact7 -> int6: この角避比古神社は手っ取り早い; fact3 & fact2 -> int7: このブレーキは生まれ出ない; fact8 & int7 -> int8: その人事担当は生まれ出ない; int8 & fact9 -> int9: この角避比古神社は御美しい一方で手っ取り早くない; int9 -> int10: 「この角避比古神社は手っ取り早くない」ということは正しい; int6 & int10 -> int11: これは矛盾である; [assump1] & int11 -> hypothesis; __DISPROVED__
事実1: もしなんらかの物が妬むがしかしそれが押し黙らないならあのミニトライアルは這い蹲う
事実2: とある物は生まれ出ないかまたは発効するということはないかあるいはどちらもだ
事実3: 仮に「生まれ出るということはないか発効しないかもしくは両方である」ものがあるとすればこのブレーキは生まれ出ない
事実4: 仮になにかは這い蹲うとすると侵入者である
事実5: その人事担当は押し黙る
事実6: もしもあるものは甘鯛であるとしたらそれは御美しい
事実7: もし仮にあのミニトライアルが侵入者であるとすればこの角避比古神社は手っ取り早い
事実8: このブレーキが生まれ出ないとするとその人事担当は生まれ出るということはない
事実9: 仮にその人事担当は生まれ出ないとすると「この角避比古神社は御美しいがしかし手っ取り早いということはない」ということは本当だ
事実10: なにかは妬むしかつ押し黙る
事実11: あのアメリカ産牛肉は押し黙らない

仮説: あのアメリカ産牛肉は妬む
1. 仮定1: 以下のように仮定する。あのアメリカ産牛肉は妬む
2. 仮定1と事実11から、推論1: "あのアメリカ産牛肉は妬む一方でそれは押し黙るということはない"が導かれる
3. 推論1から、推論2: "何らかのものは妬むがそれは押し黙らない"が導かれる
4. 推論2と事実1から、推論3: "あのミニトライアルは這い蹲う"が導かれる
5. 事実4から、推論4: "もし仮にあのミニトライアルが這い蹲うとするとそれは侵入者である"が導かれる
6. 推論3と推論4から、推論5: "あのミニトライアルは侵入者だ"が導かれる
7. 推論5と事実7から、推論6: "この角避比古神社は手っ取り早い"が導かれる
8. 事実3と事実2から、推論7: "このブレーキは生まれ出ない"が導かれる
9. 事実8と推論7から、推論8: "その人事担当は生まれ出ない"が導かれる
10. 推論8と事実9から、推論9: "この角避比古神社は御美しい一方で手っ取り早くない"が導かれる
11. 推論9から、推論10: "「この角避比古神社は手っ取り早くない」ということは正しい"が導かれる
12. 推論6と推論10から、推論11: "これは矛盾である"が導かれる
13. [仮定1]と推論11から、仮説が否定される

よって、仮説が否定されました。