「もしあの捕り物が嘆ずるとするとこの棒鑢は乗り難い」ということは間違っている
fact1: あるものが美しくてそれが嘆ずるとすればこの棒鑢は乗り難い fact2: もしも「あの捕り物は嘆ぜない」ということは正しいとしたらこの煤渡りは落ち易くて美しい fact3: この棒鑢は演題でまた伝え難い fact4: とあるものは美しい fact5: あの物権・担保物権は美しい fact6: あの捕り物は落ち易いしそれに美しい fact7: 「ある物は落ち易いしその上嘆ずる」ということは本当だ fact8: あの捕り物は落ち易い fact9: 「嘆ずる」ものはある fact10: あの労働者等は形容し難いしさらに美しい fact11: あの資本主義企業が法則概念だしそれは凛々しい fact12: 仮にあの捕り物が乗り難いとしたらこの棒鑢は落ち易い fact13: もし仮になんらかの物が落ち易くておまけに美しいならあの捕り物は嘆ずる fact14: なんらかの物は嘆ずるし落ち易い fact15: なんらかのものは乗り難くてまたそれは美しい
fact6 -> int1: あの捕り物は美しい; void -> assump1: 以下のように仮定する。あの捕り物は嘆ずる; int1 & assump1 -> int2: あの捕り物は美しいしおまけに嘆ずる; int2 -> int3: 「美しいし嘆ずる」物はある; int3 & fact1 -> int4: この棒鑢は乗り難い; [assump1] & int4 -> hypothesis;
この煤渡りは落ち易い
$facts$ = fact1: あるものが美しくてそれが嘆ずるとすればこの棒鑢は乗り難い fact2: もしも「あの捕り物は嘆ぜない」ということは正しいとしたらこの煤渡りは落ち易くて美しい fact3: この棒鑢は演題でまた伝え難い fact4: とあるものは美しい fact5: あの物権・担保物権は美しい fact6: あの捕り物は落ち易いしそれに美しい fact7: 「ある物は落ち易いしその上嘆ずる」ということは本当だ fact8: あの捕り物は落ち易い fact9: 「嘆ずる」ものはある fact10: あの労働者等は形容し難いしさらに美しい fact11: あの資本主義企業が法則概念だしそれは凛々しい fact12: 仮にあの捕り物が乗り難いとしたらこの棒鑢は落ち易い fact13: もし仮になんらかの物が落ち易くておまけに美しいならあの捕り物は嘆ずる fact14: なんらかの物は嘆ずるし落ち易い fact15: なんらかのものは乗り難くてまたそれは美しい ; $hypothesis$ = 「もしあの捕り物が嘆ずるとするとこの棒鑢は乗り難い」ということは間違っている ; $proof$ = 
fact6 -> int1: あの捕り物は美しい; void -> assump1: 以下のように仮定する。あの捕り物は嘆ずる; int1 & assump1 -> int2: あの捕り物は美しいしおまけに嘆ずる; int2 -> int3: 「美しいし嘆ずる」物はある; int3 & fact1 -> int4: この棒鑢は乗り難い; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: あるものが美しくてそれが嘆ずるとすればこの棒鑢は乗り難い
事実2: もしも「あの捕り物は嘆ぜない」ということは正しいとしたらこの煤渡りは落ち易くて美しい
事実3: この棒鑢は演題でまた伝え難い
事実4: とあるものは美しい
事実5: あの物権・担保物権は美しい
事実6: あの捕り物は落ち易いしそれに美しい
事実7: 「ある物は落ち易いしその上嘆ずる」ということは本当だ
事実8: あの捕り物は落ち易い
事実9: 「嘆ずる」ものはある
事実10: あの労働者等は形容し難いしさらに美しい
事実11: あの資本主義企業が法則概念だしそれは凛々しい
事実12: 仮にあの捕り物が乗り難いとしたらこの棒鑢は落ち易い
事実13: もし仮になんらかの物が落ち易くておまけに美しいならあの捕り物は嘆ずる
事実14: なんらかの物は嘆ずるし落ち易い
事実15: なんらかのものは乗り難くてまたそれは美しい

仮説: 「もしあの捕り物が嘆ずるとするとこの棒鑢は乗り難い」ということは間違っている
1. 事実6から、推論1: "あの捕り物は美しい"が導かれる
2. 仮定1: 以下のように仮定する。あの捕り物は嘆ずる
3. 推論1と仮定1から、推論2: "あの捕り物は美しいしおまけに嘆ずる"が導かれる
4. 推論2から、推論3: "「美しいし嘆ずる」物はある"が導かれる
5. 推論3と事実1から、推論4: "この棒鑢は乗り難い"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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