あの当該工業用機械等は御芋だ
fact1: あのカートラムは笑い合わないけれど転戦する fact2: 仮にあの伽耶諸国は起き難いなら「あのカートラムは転戦するけどそれは留任しない」ということは誤っている fact3: もしもある物が留任すればそれは益無し fact4: この遠大は御芋でないけどすりゃ良い fact5: あの当該工業用機械等は言い辛い fact6: この遠大は言い辛くてそれはすりゃ良い fact7: 仮に何らかの物は笑い合わないけど転戦するならそれは留任するということはない fact8: もし仮に何かは益無しとすれば「それは言い辛くないかあるいはすりゃ良いか両方ともである」ということは誤っている fact9: この遠大が言い辛いならばあの当該工業用機械等は御芋でないけど言い辛い fact10: そのホスト側はすりゃ良い fact11: もしもあの伽耶諸国が笑い合うとするとそれは起き難い fact12: あの伽耶諸国は族長達であるかまたは御爺ちゃん達である fact13: もし仮に何らかの物は留任するということはないとすると「起き難くないしそれは御芋だ」ということは誤っている fact14: もしもこの遠大は御芋でないとすれば「あの当該工業用機械等は言い辛くないしおまけに益無しない」ということは成り立たない fact15: 仮にこの遠大が言い辛いとするとあの当該工業用機械等は言い辛い fact16: もし「あのカートラムは転戦するがしかしそれは留任しない」ということは真実でないならこの遠大は留任する
fact6 -> int1: この遠大は言い辛い; int1 & fact9 -> int2: あの当該工業用機械等は御芋でないけど言い辛い; int2 -> hypothesis;
fact6 -> int1: {A}{a}; int1 & fact9 -> int2: (¬{D}{b} & {A}{b}); int2 -> hypothesis;
あの当該工業用機械等は御芋である
fact20 -> int3: もし仮にこの遠大は益無しとしたら「それは言い辛くないかあるいはそれはすりゃ良い」ということは成り立たない; fact22 -> int4: この遠大が留任するとしたら益無し;
$facts$ = fact1: あのカートラムは笑い合わないけれど転戦する fact2: 仮にあの伽耶諸国は起き難いなら「あのカートラムは転戦するけどそれは留任しない」ということは誤っている fact3: もしもある物が留任すればそれは益無し fact4: この遠大は御芋でないけどすりゃ良い fact5: あの当該工業用機械等は言い辛い fact6: この遠大は言い辛くてそれはすりゃ良い fact7: 仮に何らかの物は笑い合わないけど転戦するならそれは留任するということはない fact8: もし仮に何かは益無しとすれば「それは言い辛くないかあるいはすりゃ良いか両方ともである」ということは誤っている fact9: この遠大が言い辛いならばあの当該工業用機械等は御芋でないけど言い辛い fact10: そのホスト側はすりゃ良い fact11: もしもあの伽耶諸国が笑い合うとするとそれは起き難い fact12: あの伽耶諸国は族長達であるかまたは御爺ちゃん達である fact13: もし仮に何らかの物は留任するということはないとすると「起き難くないしそれは御芋だ」ということは誤っている fact14: もしもこの遠大は御芋でないとすれば「あの当該工業用機械等は言い辛くないしおまけに益無しない」ということは成り立たない fact15: 仮にこの遠大が言い辛いとするとあの当該工業用機械等は言い辛い fact16: もし「あのカートラムは転戦するがしかしそれは留任しない」ということは真実でないならこの遠大は留任する ; $hypothesis$ = あの当該工業用機械等は御芋だ ; $proof$ = 
fact6 -> int1: この遠大は言い辛い; int1 & fact9 -> int2: あの当該工業用機械等は御芋でないけど言い辛い; int2 -> hypothesis; __DISPROVED__
事実1: あのカートラムは笑い合わないけれど転戦する
事実2: 仮にあの伽耶諸国は起き難いなら「あのカートラムは転戦するけどそれは留任しない」ということは誤っている
事実3: もしもある物が留任すればそれは益無し
事実4: この遠大は御芋でないけどすりゃ良い
事実5: あの当該工業用機械等は言い辛い
事実6: この遠大は言い辛くてそれはすりゃ良い
事実7: 仮に何らかの物は笑い合わないけど転戦するならそれは留任するということはない
事実8: もし仮に何かは益無しとすれば「それは言い辛くないかあるいはすりゃ良いか両方ともである」ということは誤っている
事実9: この遠大が言い辛いならばあの当該工業用機械等は御芋でないけど言い辛い
事実10: そのホスト側はすりゃ良い
事実11: もしもあの伽耶諸国が笑い合うとするとそれは起き難い
事実12: あの伽耶諸国は族長達であるかまたは御爺ちゃん達である
事実13: もし仮に何らかの物は留任するということはないとすると「起き難くないしそれは御芋だ」ということは誤っている
事実14: もしもこの遠大は御芋でないとすれば「あの当該工業用機械等は言い辛くないしおまけに益無しない」ということは成り立たない
事実15: 仮にこの遠大が言い辛いとするとあの当該工業用機械等は言い辛い
事実16: もし「あのカートラムは転戦するがしかしそれは留任しない」ということは真実でないならこの遠大は留任する

仮説: あの当該工業用機械等は御芋だ
1. 事実6から、推論1: "この遠大は言い辛い"が導かれる
2. 推論1と事実9から、推論2: "あの当該工業用機械等は御芋でないけど言い辛い"が導かれる
3. 推論2から、仮説が否定される

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