このＢ被疑事実は乗り難いがしかし言い捨てない
fact1: 仮にこのＢ被疑事実が切り難いならば乗り難いけれど言い捨てない fact2: もしもあの東大寺はジェット機だとすれば「軍人らしい」ということは事実である fact3: もし仮に「刺繍しない」ものはあるなら「あの東大寺は分解され難くないけどそれは解約する」ということは成り立たない fact4: もしも「あの東大寺は乗り難い」ということは正しいとすれば軍人らしくない fact5: もしなにがしかのものが解約しないとするとそれは判別し易くない fact6: もしも「ジェット機である」ものはあるなら「この移民は解約しないしかつ判別し易くない」ということは誤っている fact7: もし「分解され難くない」ものはあるとすると「このＢ被疑事実は言い捨てないが軍人らしい」ということは事実でない fact8: 「刺繍しない」物はある fact9: もし仮に「「解約しないしさらに判別し易くない」ということは事実と異なる」物があるとするとこのＢ被疑事実は分解され難くない fact10: もしなにかは分解され難くないとすると「乗り難いし更に刺繍する」ということは誤りだ fact11: もしあの東大寺が軍人らしいとするとこのＢ被疑事実は切り難い fact12: 仮に「あの東大寺は判別し易いということはない」ということは成り立つとすればそれはジェット機である fact13: 「この牛肉は言い捨てるということはない」ということは事実である fact14: この牛肉が言い捨てないとすれば切り難くない fact15: もしも「なんらかの物は分解され難くないが解約する」ということは成り立たないなら「それは判別し易くない」ということは真実である fact16: もしもこの牛肉が切り難くないとすればこの入院はジェット機であるし軍人らしい
fact8 & fact3 -> int1: 「あの東大寺は分解され難くないが解約する」ということは成り立つということはない; fact15 -> int2: もし「あの東大寺は分解され難くない一方でそれは解約する」ということは嘘ならば判別し易いということはない; int1 & int2 -> int3: あの東大寺は判別し易いということはない; int3 & fact12 -> int4: あの東大寺はジェット機である; int4 & fact2 -> int5: あの東大寺は軍人らしい; int5 & fact11 -> int6: このＢ被疑事実は切り難い; int6 & fact1 -> hypothesis;
あの東大寺は乗り難くない
fact18 -> int7: もしこのＢ被疑事実は分解され難くないとすると「乗り難いしまたそれは刺繍する」ということは事実と異なる; fact21 & fact22 -> int8: この牛肉は切り難いということはない; fact17 & int8 -> int9: この入院はジェット機だしまた軍人らしい; int9 -> int10: この入院はジェット機だ; int10 -> int11: 「ジェット機である」物はある; int11 & fact19 -> int12: 「この移民は解約しないしその上それは判別し易いということはない」ということは誤りだ; int12 -> int13: 「「解約しないしさらに判別し易いということはない」ということは誤りである」物はある; int13 & fact20 -> int14: このＢ被疑事実は分解され難くない; int7 & int14 -> int15: 「このＢ被疑事実は乗り難いし刺繍する」ということは成り立たない; int15 -> int16: 「「乗り難くて更に刺繍する」ということは間違っている」ものはある;
$facts$ = fact1: 仮にこのＢ被疑事実が切り難いならば乗り難いけれど言い捨てない fact2: もしもあの東大寺はジェット機だとすれば「軍人らしい」ということは事実である fact3: もし仮に「刺繍しない」ものはあるなら「あの東大寺は分解され難くないけどそれは解約する」ということは成り立たない fact4: もしも「あの東大寺は乗り難い」ということは正しいとすれば軍人らしくない fact5: もしなにがしかのものが解約しないとするとそれは判別し易くない fact6: もしも「ジェット機である」ものはあるなら「この移民は解約しないしかつ判別し易くない」ということは誤っている fact7: もし「分解され難くない」ものはあるとすると「このＢ被疑事実は言い捨てないが軍人らしい」ということは事実でない fact8: 「刺繍しない」物はある fact9: もし仮に「「解約しないしさらに判別し易くない」ということは事実と異なる」物があるとするとこのＢ被疑事実は分解され難くない fact10: もしなにかは分解され難くないとすると「乗り難いし更に刺繍する」ということは誤りだ fact11: もしあの東大寺が軍人らしいとするとこのＢ被疑事実は切り難い fact12: 仮に「あの東大寺は判別し易いということはない」ということは成り立つとすればそれはジェット機である fact13: 「この牛肉は言い捨てるということはない」ということは事実である fact14: この牛肉が言い捨てないとすれば切り難くない fact15: もしも「なんらかの物は分解され難くないが解約する」ということは成り立たないなら「それは判別し易くない」ということは真実である fact16: もしもこの牛肉が切り難くないとすればこの入院はジェット機であるし軍人らしい ; $hypothesis$ = このＢ被疑事実は乗り難いがしかし言い捨てない ; $proof$ = 
fact8 & fact3 -> int1: 「あの東大寺は分解され難くないが解約する」ということは成り立つということはない; fact15 -> int2: もし「あの東大寺は分解され難くない一方でそれは解約する」ということは嘘ならば判別し易いということはない; int1 & int2 -> int3: あの東大寺は判別し易いということはない; int3 & fact12 -> int4: あの東大寺はジェット機である; int4 & fact2 -> int5: あの東大寺は軍人らしい; int5 & fact11 -> int6: このＢ被疑事実は切り難い; int6 & fact1 -> hypothesis; __PROVED__
事実1: 仮にこのＢ被疑事実が切り難いならば乗り難いけれど言い捨てない
事実2: もしもあの東大寺はジェット機だとすれば「軍人らしい」ということは事実である
事実3: もし仮に「刺繍しない」ものはあるなら「あの東大寺は分解され難くないけどそれは解約する」ということは成り立たない
事実4: もしも「あの東大寺は乗り難い」ということは正しいとすれば軍人らしくない
事実5: もしなにがしかのものが解約しないとするとそれは判別し易くない
事実6: もしも「ジェット機である」ものはあるなら「この移民は解約しないしかつ判別し易くない」ということは誤っている
事実7: もし「分解され難くない」ものはあるとすると「このＢ被疑事実は言い捨てないが軍人らしい」ということは事実でない
事実8: 「刺繍しない」物はある
事実9: もし仮に「「解約しないしさらに判別し易くない」ということは事実と異なる」物があるとするとこのＢ被疑事実は分解され難くない
事実10: もしなにかは分解され難くないとすると「乗り難いし更に刺繍する」ということは誤りだ
事実11: もしあの東大寺が軍人らしいとするとこのＢ被疑事実は切り難い
事実12: 仮に「あの東大寺は判別し易いということはない」ということは成り立つとすればそれはジェット機である
事実13: 「この牛肉は言い捨てるということはない」ということは事実である
事実14: この牛肉が言い捨てないとすれば切り難くない
事実15: もしも「なんらかの物は分解され難くないが解約する」ということは成り立たないなら「それは判別し易くない」ということは真実である
事実16: もしもこの牛肉が切り難くないとすればこの入院はジェット機であるし軍人らしい

仮説: このＢ被疑事実は乗り難いがしかし言い捨てない
1. 事実8と事実3から、推論1: "「あの東大寺は分解され難くないが解約する」ということは成り立つということはない"が導かれる
2. 事実15から、推論2: "もし「あの東大寺は分解され難くない一方でそれは解約する」ということは嘘ならば判別し易いということはない"が導かれる
3. 推論1と推論2から、推論3: "あの東大寺は判別し易いということはない"が導かれる
4. 推論3と事実12から、推論4: "あの東大寺はジェット機である"が導かれる
5. 推論4と事実2から、推論5: "あの東大寺は軍人らしい"が導かれる
6. 推論5と事実11から、推論6: "このＢ被疑事実は切り難い"が導かれる
7. 推論6と事実1から、仮説が導かれる

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