そのシャフトは投棄する一方で間に合わない
fact1: その鍛えは話し易い fact2: もしもその肋膜は危ないとすれば「そのシャフトは投棄するけれど間に合わない」ということは間違いである fact3: もしもその肋膜はジャッジであるけれど味気無くないとすれば「それは投棄するということはない」ということは確かである fact4: 仮に何らかの物は薄青くないとしたら「それは乗り組むしそれに切り裂く」ということは嘘だ fact5: 「話し易い」物があるならその地質体は骨っぽい一方で欲深くない fact6: 「なにかは乗り組むししかもそれは切り裂く」ということは真実だということはないならばそれは目的無しない fact7: 仮にそのシャフトが間に合わないとするとその肋膜は間に合うが投棄しない fact8: もし仮にその溝加工が禁じ得るならその肋膜は間に合う fact9: もしもその肋膜は味気無いがしかし間に合わないとしたらジャッジでない fact10: もし仮に「骨っぽくて加えて欲深いということはない」物があるとするとその介護老人保健施設は薄青くない fact11: もし仮にその肋膜が投棄するということはないならばそのシャフトは投棄する一方で間に合わない fact12: 「その溝加工はし辛いということはないが禁じ得る」ということは偽ならその肋膜は危ない fact13: 「その肋膜はジャッジであるけど味気無くない」ということは真実である fact14: そのシャフトがジャッジである一方でそれが間に合わないならば投棄しない
fact3 & fact13 -> int1: その肋膜は投棄しない; int1 & fact11 -> hypothesis;
「そのシャフトは投棄するけれど間に合わない」ということは本当でない
fact20 -> int2: もし「その介護老人保健施設は乗り組むしまた切り裂く」ということは成り立たないとしたらそれは目的無しない; fact17 -> int3: もし仮にその介護老人保健施設は薄青いということはないなら「それは乗り組むしまたそれは切り裂く」ということは事実と異なる; fact19 -> int4: 「「話し易い」物はある」ということは真実である; int4 & fact15 -> int5: その地質体は骨っぽい一方でそれは欲深くない; int5 -> int6: 骨っぽいししかも欲深くないものはある; int6 & fact21 -> int7: その介護老人保健施設は薄青くない; int3 & int7 -> int8: 「その介護老人保健施設が乗り組むしその上それは切り裂く」ということは正しいということはない; int2 & int8 -> int9: その介護老人保健施設は目的無しない; int9 -> int10: とある物は目的無しということはない;
$facts$ = fact1: その鍛えは話し易い fact2: もしもその肋膜は危ないとすれば「そのシャフトは投棄するけれど間に合わない」ということは間違いである fact3: もしもその肋膜はジャッジであるけれど味気無くないとすれば「それは投棄するということはない」ということは確かである fact4: 仮に何らかの物は薄青くないとしたら「それは乗り組むしそれに切り裂く」ということは嘘だ fact5: 「話し易い」物があるならその地質体は骨っぽい一方で欲深くない fact6: 「なにかは乗り組むししかもそれは切り裂く」ということは真実だということはないならばそれは目的無しない fact7: 仮にそのシャフトが間に合わないとするとその肋膜は間に合うが投棄しない fact8: もし仮にその溝加工が禁じ得るならその肋膜は間に合う fact9: もしもその肋膜は味気無いがしかし間に合わないとしたらジャッジでない fact10: もし仮に「骨っぽくて加えて欲深いということはない」物があるとするとその介護老人保健施設は薄青くない fact11: もし仮にその肋膜が投棄するということはないならばそのシャフトは投棄する一方で間に合わない fact12: 「その溝加工はし辛いということはないが禁じ得る」ということは偽ならその肋膜は危ない fact13: 「その肋膜はジャッジであるけど味気無くない」ということは真実である fact14: そのシャフトがジャッジである一方でそれが間に合わないならば投棄しない ; $hypothesis$ = そのシャフトは投棄する一方で間に合わない ; $proof$ = 
fact3 & fact13 -> int1: その肋膜は投棄しない; int1 & fact11 -> hypothesis; __PROVED__
事実1: その鍛えは話し易い
事実2: もしもその肋膜は危ないとすれば「そのシャフトは投棄するけれど間に合わない」ということは間違いである
事実3: もしもその肋膜はジャッジであるけれど味気無くないとすれば「それは投棄するということはない」ということは確かである
事実4: 仮に何らかの物は薄青くないとしたら「それは乗り組むしそれに切り裂く」ということは嘘だ
事実5: 「話し易い」物があるならその地質体は骨っぽい一方で欲深くない
事実6: 「なにかは乗り組むししかもそれは切り裂く」ということは真実だということはないならばそれは目的無しない
事実7: 仮にそのシャフトが間に合わないとするとその肋膜は間に合うが投棄しない
事実8: もし仮にその溝加工が禁じ得るならその肋膜は間に合う
事実9: もしもその肋膜は味気無いがしかし間に合わないとしたらジャッジでない
事実10: もし仮に「骨っぽくて加えて欲深いということはない」物があるとするとその介護老人保健施設は薄青くない
事実11: もし仮にその肋膜が投棄するということはないならばそのシャフトは投棄する一方で間に合わない
事実12: 「その溝加工はし辛いということはないが禁じ得る」ということは偽ならその肋膜は危ない
事実13: 「その肋膜はジャッジであるけど味気無くない」ということは真実である
事実14: そのシャフトがジャッジである一方でそれが間に合わないならば投棄しない

仮説: そのシャフトは投棄する一方で間に合わない
1. 事実3と事実13から、推論1: "その肋膜は投棄しない"が導かれる
2. 推論1と事実11から、仮説が導かれる

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