「「仮に「年長さんでない」ということは成り立てば不味いが読み合わせない」ものはある」ということは成り立つということはない
fact1: 「もしも遅しならば手堅いけれど難しかない」物はある fact2: 「「もしも「年長さんである」ということは成り立つとすれば不味いけれど読み合わせない」物はある」ということは事実だ fact3: 手堅くない物は支給するが下山するということはない fact4: 「約束出来ないとすれば済ま無くない」ものはある fact5: 「もし仮に「年長さんだということはない」ということは本当だとすると不味い」物はある fact6: 仮になにかは年長さんでないならばそれは不味くてそれは読み合わせない fact7: なにがしかの物が摂取するとしたらそれは夢心地だ一方でラベリングでない fact8: なにかは年長さんだということはないなら不味くてさらに読み合わせる
fact6 -> int1: この単位組合は年長さんでないとしたら不味いが読み合わせない; int1 -> hypothesis;
「仮に手堅くないならば支給するしおまけに下山しない」ものはある
fact9 -> int2: もし仮にこの二十ＦＴコンテナが手堅くないとするとそれは支給するがしかし下山するということはない; int2 -> hypothesis;
$facts$ = fact1: 「もしも遅しならば手堅いけれど難しかない」物はある fact2: 「「もしも「年長さんである」ということは成り立つとすれば不味いけれど読み合わせない」物はある」ということは事実だ fact3: 手堅くない物は支給するが下山するということはない fact4: 「約束出来ないとすれば済ま無くない」ものはある fact5: 「もし仮に「年長さんだということはない」ということは本当だとすると不味い」物はある fact6: 仮になにかは年長さんでないならばそれは不味くてそれは読み合わせない fact7: なにがしかの物が摂取するとしたらそれは夢心地だ一方でラベリングでない fact8: なにかは年長さんだということはないなら不味くてさらに読み合わせる ; $hypothesis$ = 「「仮に「年長さんでない」ということは成り立てば不味いが読み合わせない」ものはある」ということは成り立つということはない ; $proof$ = 
fact6 -> int1: この単位組合は年長さんでないとしたら不味いが読み合わせない; int1 -> hypothesis; __DISPROVED__
事実1: 「もしも遅しならば手堅いけれど難しかない」物はある
事実2: 「「もしも「年長さんである」ということは成り立つとすれば不味いけれど読み合わせない」物はある」ということは事実だ
事実3: 手堅くない物は支給するが下山するということはない
事実4: 「約束出来ないとすれば済ま無くない」ものはある
事実5: 「もし仮に「年長さんだということはない」ということは本当だとすると不味い」物はある
事実6: 仮になにかは年長さんでないならばそれは不味くてそれは読み合わせない
事実7: なにがしかの物が摂取するとしたらそれは夢心地だ一方でラベリングでない
事実8: なにかは年長さんだということはないなら不味くてさらに読み合わせる

仮説: 「「仮に「年長さんでない」ということは成り立てば不味いが読み合わせない」ものはある」ということは成り立つということはない
1. 事実6から、推論1: "この単位組合は年長さんでないとしたら不味いが読み合わせない"が導かれる
2. 推論1から、仮説が否定される

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