あの資本移動は移建しないがしかし猛る
fact1: もしあの資本移動は見送るということはないならば「広し」ということは事実だ fact2: もしあの資本移動は見送らないなら「それは移建しなくてそれは広し」ということは確かだ fact3: もしもその約款が起こり難くないならこの十字峡は震え出すかもしくはゴルフ界であるか両方である fact4: その約款は起こり難くない fact5: 「あの資本移動は見送らない」ということは正しい fact6: もしもなにかは見送るとしたら「移建しないが猛る」ということは成り立たない fact7: あるものが仮退院するとすればそれは猛る fact8: この十字峡が震え出すならあの伊集院家は震え出す fact9: あの資本移動は仮退院するしそれは震え出す
fact2 & fact5 -> int1: あの資本移動は移建しないけれど広し; int1 -> int2: あの資本移動は移建しない; fact7 -> int3: もしあの資本移動が仮退院すれば猛る; fact9 -> int4: あの資本移動は仮退院する; int3 & int4 -> int5: あの資本移動は猛る; int2 & int5 -> hypothesis;
fact2 & fact5 -> int1: (¬{AA}{a} & {AB}{a}); int1 -> int2: ¬{AA}{a}; fact7 -> int3: {C}{a} -> {B}{a}; fact9 -> int4: {C}{a}; int3 & int4 -> int5: {B}{a}; int2 & int5 -> hypothesis;
「あの資本移動は移建しないけどそれは猛る」ということは本当でない
fact10 -> int6: もしあの資本移動は見送るとすると「それは移建しないけれど猛る」ということは確かでない;
$facts$ = fact1: もしあの資本移動は見送るということはないならば「広し」ということは事実だ fact2: もしあの資本移動は見送らないなら「それは移建しなくてそれは広し」ということは確かだ fact3: もしもその約款が起こり難くないならこの十字峡は震え出すかもしくはゴルフ界であるか両方である fact4: その約款は起こり難くない fact5: 「あの資本移動は見送らない」ということは正しい fact6: もしもなにかは見送るとしたら「移建しないが猛る」ということは成り立たない fact7: あるものが仮退院するとすればそれは猛る fact8: この十字峡が震え出すならあの伊集院家は震え出す fact9: あの資本移動は仮退院するしそれは震え出す ; $hypothesis$ = あの資本移動は移建しないがしかし猛る ; $proof$ = 
fact2 & fact5 -> int1: あの資本移動は移建しないけれど広し; int1 -> int2: あの資本移動は移建しない; fact7 -> int3: もしあの資本移動が仮退院すれば猛る; fact9 -> int4: あの資本移動は仮退院する; int3 & int4 -> int5: あの資本移動は猛る; int2 & int5 -> hypothesis; __PROVED__
事実1: もしあの資本移動は見送るということはないならば「広し」ということは事実だ
事実2: もしあの資本移動は見送らないなら「それは移建しなくてそれは広し」ということは確かだ
事実3: もしもその約款が起こり難くないならこの十字峡は震え出すかもしくはゴルフ界であるか両方である
事実4: その約款は起こり難くない
事実5: 「あの資本移動は見送らない」ということは正しい
事実6: もしもなにかは見送るとしたら「移建しないが猛る」ということは成り立たない
事実7: あるものが仮退院するとすればそれは猛る
事実8: この十字峡が震え出すならあの伊集院家は震え出す
事実9: あの資本移動は仮退院するしそれは震え出す

仮説: あの資本移動は移建しないがしかし猛る
1. 事実2と事実5から、推論1: "あの資本移動は移建しないけれど広し"が導かれる
2. 推論1から、推論2: "あの資本移動は移建しない"が導かれる
3. 事実7から、推論3: "もしあの資本移動が仮退院すれば猛る"が導かれる
4. 事実9から、推論4: "あの資本移動は仮退院する"が導かれる
5. 推論3と推論4から、推論5: "あの資本移動は猛る"が導かれる
6. 推論2と推論5から、仮説が導かれる

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