この選択画面は飛翔しない
fact1: 嫉妬深い物は課税繰り延べだ fact2: このラストオーダーは嫉妬深いしそれに気恥ずかしい fact3: もし仮にこのラストオーダーが飛翔しないか課税繰り延べでないかあるいは両方ともであるならこの事前許可制度は課税繰り延べである fact4: この選択画面は経理面でない fact5: 仮にあのＭＳＡが騒がしくないならこの選択画面は経理面でない fact6: 仮にこの事前許可制度が飛翔するとすればこの選択画面は飛翔する fact7: この事前許可制度は連行するし課税繰り延べだとすれば道路データでない fact8: あのプロ意識は気恥ずかしい fact9: この事前許可制度は連行しない fact10: もし騒がしい物は経理面でないとすると「それは飛翔しない」ということは成り立つ fact11: 「このラストオーダーは高い」ということは本当であるとすればそれは道路データだ fact12: 仮にこの事前許可制度が連行しないとしたらこのラストオーダーはバットＣＨでない一方で高い fact13: 仮にこのラストオーダーが道路データであるしおまけに課税繰り延べだとすればあのＭＳＡは騒がしくない fact14: もし仮に何かは騒がしくてかつ経理面であるなら飛翔しない fact15: もし「あのＭＳＡは騒がしくない」ということは成り立つとするとこの選択画面は騒がしいけれどそれは経理面でない
fact12 & fact9 -> int1: このラストオーダーはバットＣＨでないがしかし高い; int1 -> int2: 「このラストオーダーは高い」ということは事実だ; int2 & fact11 -> int3: このラストオーダーは道路データだ; fact2 -> int4: このラストオーダーは嫉妬深い; fact1 -> int5: もし仮にこのラストオーダーが嫉妬深いとすれば課税繰り延べである; int4 & int5 -> int6: このラストオーダーは課税繰り延べだ; int3 & int6 -> int7: このラストオーダーは道路データであるしそれは課税繰り延べだ; int7 & fact13 -> int8: あのＭＳＡは騒がしくない; int8 & fact15 -> int9: 「この選択画面は騒がしいけど経理面でない」ということは成り立つ; fact10 -> int10: 仮にこの選択画面は騒がしいが経理面でないならそれは飛翔しない; int9 & int10 -> hypothesis;
この事前許可制度は道路データでない
$facts$ = fact1: 嫉妬深い物は課税繰り延べだ fact2: このラストオーダーは嫉妬深いしそれに気恥ずかしい fact3: もし仮にこのラストオーダーが飛翔しないか課税繰り延べでないかあるいは両方ともであるならこの事前許可制度は課税繰り延べである fact4: この選択画面は経理面でない fact5: 仮にあのＭＳＡが騒がしくないならこの選択画面は経理面でない fact6: 仮にこの事前許可制度が飛翔するとすればこの選択画面は飛翔する fact7: この事前許可制度は連行するし課税繰り延べだとすれば道路データでない fact8: あのプロ意識は気恥ずかしい fact9: この事前許可制度は連行しない fact10: もし騒がしい物は経理面でないとすると「それは飛翔しない」ということは成り立つ fact11: 「このラストオーダーは高い」ということは本当であるとすればそれは道路データだ fact12: 仮にこの事前許可制度が連行しないとしたらこのラストオーダーはバットＣＨでない一方で高い fact13: 仮にこのラストオーダーが道路データであるしおまけに課税繰り延べだとすればあのＭＳＡは騒がしくない fact14: もし仮に何かは騒がしくてかつ経理面であるなら飛翔しない fact15: もし「あのＭＳＡは騒がしくない」ということは成り立つとするとこの選択画面は騒がしいけれどそれは経理面でない ; $hypothesis$ = この選択画面は飛翔しない ; $proof$ = 
fact12 & fact9 -> int1: このラストオーダーはバットＣＨでないがしかし高い; int1 -> int2: 「このラストオーダーは高い」ということは事実だ; int2 & fact11 -> int3: このラストオーダーは道路データだ; fact2 -> int4: このラストオーダーは嫉妬深い; fact1 -> int5: もし仮にこのラストオーダーが嫉妬深いとすれば課税繰り延べである; int4 & int5 -> int6: このラストオーダーは課税繰り延べだ; int3 & int6 -> int7: このラストオーダーは道路データであるしそれは課税繰り延べだ; int7 & fact13 -> int8: あのＭＳＡは騒がしくない; int8 & fact15 -> int9: 「この選択画面は騒がしいけど経理面でない」ということは成り立つ; fact10 -> int10: 仮にこの選択画面は騒がしいが経理面でないならそれは飛翔しない; int9 & int10 -> hypothesis; __PROVED__
事実1: 嫉妬深い物は課税繰り延べだ
事実2: このラストオーダーは嫉妬深いしそれに気恥ずかしい
事実3: もし仮にこのラストオーダーが飛翔しないか課税繰り延べでないかあるいは両方ともであるならこの事前許可制度は課税繰り延べである
事実4: この選択画面は経理面でない
事実5: 仮にあのＭＳＡが騒がしくないならこの選択画面は経理面でない
事実6: 仮にこの事前許可制度が飛翔するとすればこの選択画面は飛翔する
事実7: この事前許可制度は連行するし課税繰り延べだとすれば道路データでない
事実8: あのプロ意識は気恥ずかしい
事実9: この事前許可制度は連行しない
事実10: もし騒がしい物は経理面でないとすると「それは飛翔しない」ということは成り立つ
事実11: 「このラストオーダーは高い」ということは本当であるとすればそれは道路データだ
事実12: 仮にこの事前許可制度が連行しないとしたらこのラストオーダーはバットＣＨでない一方で高い
事実13: 仮にこのラストオーダーが道路データであるしおまけに課税繰り延べだとすればあのＭＳＡは騒がしくない
事実14: もし仮に何かは騒がしくてかつ経理面であるなら飛翔しない
事実15: もし「あのＭＳＡは騒がしくない」ということは成り立つとするとこの選択画面は騒がしいけれどそれは経理面でない

仮説: この選択画面は飛翔しない
1. 事実12と事実9から、推論1: "このラストオーダーはバットＣＨでないがしかし高い"が導かれる
2. 推論1から、推論2: "「このラストオーダーは高い」ということは事実だ"が導かれる
3. 推論2と事実11から、推論3: "このラストオーダーは道路データだ"が導かれる
4. 事実2から、推論4: "このラストオーダーは嫉妬深い"が導かれる
5. 事実1から、推論5: "もし仮にこのラストオーダーが嫉妬深いとすれば課税繰り延べである"が導かれる
6. 推論4と推論5から、推論6: "このラストオーダーは課税繰り延べだ"が導かれる
7. 推論3と推論6から、推論7: "このラストオーダーは道路データであるしそれは課税繰り延べだ"が導かれる
8. 推論7と事実13から、推論8: "あのＭＳＡは騒がしくない"が導かれる
9. 推論8と事実15から、推論9: "「この選択画面は騒がしいけど経理面でない」ということは成り立つ"が導かれる
10. 事実10から、推論10: "仮にこの選択画面は騒がしいが経理面でないならそれは飛翔しない"が導かれる
11. 推論9と推論10から、仮説が導かれる

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