この威嚇は即応でない
fact1: この威嚇は肉付けしないしかつそれは戦争以来でない fact2: この威嚇は届き難い fact3: この威嚇は丸写しであるしまた届き難い fact4: 「この威嚇が出来難いがそれは煎ずらないなら「この威嚇は丸写しである」ということは正しい」ということは本当である fact5: もし仮になんらかのものは修飾するということはないけれど肉付けするとしたら即応でない fact6: 仮にとあるものは御呉れないとすれば「それは修飾しないし加えてそれは肉付けする」ということは正しい fact7: 丸写しは戦争以来でないとしたら即応だ fact8: もしもこの耐性菌が即応でないとするとあの運転は届き難くない fact9: この任意抵当権は聞き返すけどそれは圧排しない fact10: 「この威嚇は肉付けしない」ということは成り立つ fact11: 「あの運転は即応だ」ということは確かであるとすればあの威嚇は即応でない fact12: 仮にあの運転が届き難くないとするとこの威嚇は戦争以来であるかあるいは丸写しであるかどちらもだ
fact3 -> int1: この威嚇は丸写しだ; fact1 -> int2: この威嚇は戦争以来でない; int1 & int2 -> int3: この威嚇は丸写しであるがしかしそれは戦争以来でない; fact7 -> int4: この威嚇が丸写しだがそれが戦争以来でないとすれば即応だ; int3 & int4 -> hypothesis;
fact3 -> int1: {A}{a}; fact1 -> int2: ¬{C}{a}; int1 & int2 -> int3: ({A}{a} & ¬{C}{a}); fact7 -> int4: ({A}{a} & ¬{C}{a}) -> {D}{a}; int3 & int4 -> hypothesis;
この威嚇は即応でない
$facts$ = fact1: この威嚇は肉付けしないしかつそれは戦争以来でない fact2: この威嚇は届き難い fact3: この威嚇は丸写しであるしまた届き難い fact4: 「この威嚇が出来難いがそれは煎ずらないなら「この威嚇は丸写しである」ということは正しい」ということは本当である fact5: もし仮になんらかのものは修飾するということはないけれど肉付けするとしたら即応でない fact6: 仮にとあるものは御呉れないとすれば「それは修飾しないし加えてそれは肉付けする」ということは正しい fact7: 丸写しは戦争以来でないとしたら即応だ fact8: もしもこの耐性菌が即応でないとするとあの運転は届き難くない fact9: この任意抵当権は聞き返すけどそれは圧排しない fact10: 「この威嚇は肉付けしない」ということは成り立つ fact11: 「あの運転は即応だ」ということは確かであるとすればあの威嚇は即応でない fact12: 仮にあの運転が届き難くないとするとこの威嚇は戦争以来であるかあるいは丸写しであるかどちらもだ ; $hypothesis$ = この威嚇は即応でない ; $proof$ = 
fact3 -> int1: この威嚇は丸写しだ; fact1 -> int2: この威嚇は戦争以来でない; int1 & int2 -> int3: この威嚇は丸写しであるがしかしそれは戦争以来でない; fact7 -> int4: この威嚇が丸写しだがそれが戦争以来でないとすれば即応だ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: この威嚇は肉付けしないしかつそれは戦争以来でない
事実2: この威嚇は届き難い
事実3: この威嚇は丸写しであるしまた届き難い
事実4: 「この威嚇が出来難いがそれは煎ずらないなら「この威嚇は丸写しである」ということは正しい」ということは本当である
事実5: もし仮になんらかのものは修飾するということはないけれど肉付けするとしたら即応でない
事実6: 仮にとあるものは御呉れないとすれば「それは修飾しないし加えてそれは肉付けする」ということは正しい
事実7: 丸写しは戦争以来でないとしたら即応だ
事実8: もしもこの耐性菌が即応でないとするとあの運転は届き難くない
事実9: この任意抵当権は聞き返すけどそれは圧排しない
事実10: 「この威嚇は肉付けしない」ということは成り立つ
事実11: 「あの運転は即応だ」ということは確かであるとすればあの威嚇は即応でない
事実12: 仮にあの運転が届き難くないとするとこの威嚇は戦争以来であるかあるいは丸写しであるかどちらもだ

仮説: この威嚇は即応でない
1. 事実3から、推論1: "この威嚇は丸写しだ"が導かれる
2. 事実1から、推論2: "この威嚇は戦争以来でない"が導かれる
3. 推論1と推論2から、推論3: "この威嚇は丸写しであるがしかしそれは戦争以来でない"が導かれる
4. 事実7から、推論4: "この威嚇が丸写しだがそれが戦争以来でないとすれば即応だ"が導かれる
5. 推論3と推論4から、仮説が否定される

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