このピークは小分けするがしかしそれはマグナムでない
fact1: もし仮に何かは広範性発達障害であるならばあのミラノ蜂起は馬鹿らしいけれど掴めない fact2: もしも「あのミラノ蜂起は小分けしない」ということは真実であるとしたら「このピークは小分けするがしかしマグナムでない」ということは誤りだ fact3: 何かは広範性発達障害である fact4: 何かは馬鹿らしいがしかし掴めないとすると小分けするということはない
fact3 & fact1 -> int1: あのミラノ蜂起は馬鹿らしいけれどそれは掴めない; fact4 -> int2: もしあのミラノ蜂起が馬鹿らしいが掴めるということはないならば小分けしない; int1 & int2 -> int3: あのミラノ蜂起は小分けしない; int3 & fact2 -> hypothesis;
fact3 & fact1 -> int1: ({B}{a} & ¬{C}{a}); fact4 -> int2: ({B}{a} & ¬{C}{a}) -> ¬{D}{a}; int1 & int2 -> int3: ¬{D}{a}; int3 & fact2 -> hypothesis;
$facts$ = fact1: もし仮に何かは広範性発達障害であるならばあのミラノ蜂起は馬鹿らしいけれど掴めない fact2: もしも「あのミラノ蜂起は小分けしない」ということは真実であるとしたら「このピークは小分けするがしかしマグナムでない」ということは誤りだ fact3: 何かは広範性発達障害である fact4: 何かは馬鹿らしいがしかし掴めないとすると小分けするということはない ; $hypothesis$ = このピークは小分けするがしかしそれはマグナムでない ; $proof$ = 
fact3 & fact1 -> int1: あのミラノ蜂起は馬鹿らしいけれどそれは掴めない; fact4 -> int2: もしあのミラノ蜂起が馬鹿らしいが掴めるということはないならば小分けしない; int1 & int2 -> int3: あのミラノ蜂起は小分けしない; int3 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮に何かは広範性発達障害であるならばあのミラノ蜂起は馬鹿らしいけれど掴めない
事実2: もしも「あのミラノ蜂起は小分けしない」ということは真実であるとしたら「このピークは小分けするがしかしマグナムでない」ということは誤りだ
事実3: 何かは広範性発達障害である
事実4: 何かは馬鹿らしいがしかし掴めないとすると小分けするということはない

仮説: このピークは小分けするがしかしそれはマグナムでない
1. 事実3と事実1から、推論1: "あのミラノ蜂起は馬鹿らしいけれどそれは掴めない"が導かれる
2. 事実4から、推論2: "もしあのミラノ蜂起が馬鹿らしいが掴めるということはないならば小分けしない"が導かれる
3. 推論1と推論2から、推論3: "あのミラノ蜂起は小分けしない"が導かれる
4. 推論3と事実2から、仮説が否定される

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