その検査場面は素っ気ないがしかしそれは子供っぽくない
fact1: この族長は上り易い fact2: この族長は送受信出来る fact3: もしこの族長は送受信出来ないとすれば「その検査場面は子供っぽいがしかし上り易いということはない」ということは誤りだ fact4: この増設は子供っぽい fact5: その検査場面は上り易い fact6: もしもこの都道府県警察は上り易くないとすると「それは送受信出来るし素っ気ない」ということは誤っている fact7: 「その検査場面はシェイプであるけれど素っ気なくない」ということは誤っている fact8: 仮にその検査場面はレッテルだとしたら「それは気化しなくてシェイプだ」ということは成り立たない fact9: 「その検査場面は素っ気なくて子供っぽい」ということは成り立たない fact10: この族長はシェイプでないなら「その検査場面は素っ気ないけどそれは子供っぽくない」ということは誤っている fact11: もしこの族長が送受信出来るし上り易いとするとシェイプでない fact12: この松安住は送受信出来る fact13: もし仮になにかは送受信出来ないとすればそれが素っ気ないしその上子供っぽくない
fact2 & fact1 -> int1: 「この族長は送受信出来るし上り易い」ということは本当である; int1 & fact11 -> int2: この族長はシェイプでない; int2 & fact10 -> hypothesis;
この都道府県警察は素っ気ないということはない
$facts$ = fact1: この族長は上り易い fact2: この族長は送受信出来る fact3: もしこの族長は送受信出来ないとすれば「その検査場面は子供っぽいがしかし上り易いということはない」ということは誤りだ fact4: この増設は子供っぽい fact5: その検査場面は上り易い fact6: もしもこの都道府県警察は上り易くないとすると「それは送受信出来るし素っ気ない」ということは誤っている fact7: 「その検査場面はシェイプであるけれど素っ気なくない」ということは誤っている fact8: 仮にその検査場面はレッテルだとしたら「それは気化しなくてシェイプだ」ということは成り立たない fact9: 「その検査場面は素っ気なくて子供っぽい」ということは成り立たない fact10: この族長はシェイプでないなら「その検査場面は素っ気ないけどそれは子供っぽくない」ということは誤っている fact11: もしこの族長が送受信出来るし上り易いとするとシェイプでない fact12: この松安住は送受信出来る fact13: もし仮になにかは送受信出来ないとすればそれが素っ気ないしその上子供っぽくない ; $hypothesis$ = その検査場面は素っ気ないがしかしそれは子供っぽくない ; $proof$ = 
fact2 & fact1 -> int1: 「この族長は送受信出来るし上り易い」ということは本当である; int1 & fact11 -> int2: この族長はシェイプでない; int2 & fact10 -> hypothesis; __DISPROVED__
事実1: この族長は上り易い
事実2: この族長は送受信出来る
事実3: もしこの族長は送受信出来ないとすれば「その検査場面は子供っぽいがしかし上り易いということはない」ということは誤りだ
事実4: この増設は子供っぽい
事実5: その検査場面は上り易い
事実6: もしもこの都道府県警察は上り易くないとすると「それは送受信出来るし素っ気ない」ということは誤っている
事実7: 「その検査場面はシェイプであるけれど素っ気なくない」ということは誤っている
事実8: 仮にその検査場面はレッテルだとしたら「それは気化しなくてシェイプだ」ということは成り立たない
事実9: 「その検査場面は素っ気なくて子供っぽい」ということは成り立たない
事実10: この族長はシェイプでないなら「その検査場面は素っ気ないけどそれは子供っぽくない」ということは誤っている
事実11: もしこの族長が送受信出来るし上り易いとするとシェイプでない
事実12: この松安住は送受信出来る
事実13: もし仮になにかは送受信出来ないとすればそれが素っ気ないしその上子供っぽくない

仮説: その検査場面は素っ気ないがしかしそれは子供っぽくない
1. 事実2と事実1から、推論1: "「この族長は送受信出来るし上り易い」ということは本当である"が導かれる
2. 推論1と事実11から、推論2: "この族長はシェイプでない"が導かれる
3. 推論2と事実10から、仮説が否定される

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