「このネティズンは障るということはないけれど読み熟す」ということは事実と異なる
fact1: その人知は実施しない fact2: このネティズンは力説する fact3: その○○裁判所が実施しないとすればこのネティズンは読み熟すしそれにそれは縁遠い fact4: 「ドリルダウン機能な」ものはある fact5: 「このネティズンはセット出来る」ということは本当だ fact6: もしもこのネティズンが力説しないとするとこの四神図は障らないけれど長ったらしい fact7: もし仮にある物は力説するしまたセット出来るとすれば「障らない」ということは確かだ fact8: この変更理由は力説する fact9: 「あのボディワークはセット出来る」ということは本当だ fact10: もしも何らかの物がドリルダウン機能だとしたらこのネティズンは縁遠いし加えてそれは実施する fact11: その○○裁判所は実施しない
fact2 & fact5 -> int1: このネティズンは力説するしセット出来る; fact7 -> int2: もしもこのネティズンは力説するしセット出来るなら「障るということはない」ということは成り立つ; int1 & int2 -> int3: このネティズンは障らない; fact3 & fact11 -> int4: このネティズンは読み熟すし更に縁遠い; int4 -> int5: このネティズンは読み熟す; int3 & int5 -> hypothesis;
fact2 & fact5 -> int1: ({A}{a} & {B}{a}); fact7 -> int2: ({A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> int3: ¬{C}{a}; fact3 & fact11 -> int4: ({D}{a} & {E}{a}); int4 -> int5: {D}{a}; int3 & int5 -> hypothesis;
この四神図は障らないけど長ったらしい
fact13 & fact12 -> int6: このネティズンは縁遠くてそれは実施する; int6 -> int7: このネティズンは縁遠い;
$facts$ = fact1: その人知は実施しない fact2: このネティズンは力説する fact3: その○○裁判所が実施しないとすればこのネティズンは読み熟すしそれにそれは縁遠い fact4: 「ドリルダウン機能な」ものはある fact5: 「このネティズンはセット出来る」ということは本当だ fact6: もしもこのネティズンが力説しないとするとこの四神図は障らないけれど長ったらしい fact7: もし仮にある物は力説するしまたセット出来るとすれば「障らない」ということは確かだ fact8: この変更理由は力説する fact9: 「あのボディワークはセット出来る」ということは本当だ fact10: もしも何らかの物がドリルダウン機能だとしたらこのネティズンは縁遠いし加えてそれは実施する fact11: その○○裁判所は実施しない ; $hypothesis$ = 「このネティズンは障るということはないけれど読み熟す」ということは事実と異なる ; $proof$ = 
fact2 & fact5 -> int1: このネティズンは力説するしセット出来る; fact7 -> int2: もしもこのネティズンは力説するしセット出来るなら「障るということはない」ということは成り立つ; int1 & int2 -> int3: このネティズンは障らない; fact3 & fact11 -> int4: このネティズンは読み熟すし更に縁遠い; int4 -> int5: このネティズンは読み熟す; int3 & int5 -> hypothesis; __DISPROVED__
事実1: その人知は実施しない
事実2: このネティズンは力説する
事実3: その○○裁判所が実施しないとすればこのネティズンは読み熟すしそれにそれは縁遠い
事実4: 「ドリルダウン機能な」ものはある
事実5: 「このネティズンはセット出来る」ということは本当だ
事実6: もしもこのネティズンが力説しないとするとこの四神図は障らないけれど長ったらしい
事実7: もし仮にある物は力説するしまたセット出来るとすれば「障らない」ということは確かだ
事実8: この変更理由は力説する
事実9: 「あのボディワークはセット出来る」ということは本当だ
事実10: もしも何らかの物がドリルダウン機能だとしたらこのネティズンは縁遠いし加えてそれは実施する
事実11: その○○裁判所は実施しない

仮説: 「このネティズンは障るということはないけれど読み熟す」ということは事実と異なる
1. 事実2と事実5から、推論1: "このネティズンは力説するしセット出来る"が導かれる
2. 事実7から、推論2: "もしもこのネティズンは力説するしセット出来るなら「障るということはない」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "このネティズンは障らない"が導かれる
4. 事実3と事実11から、推論4: "このネティズンは読み熟すし更に縁遠い"が導かれる
5. 推論4から、推論5: "このネティズンは読み熟す"が導かれる
6. 推論3と推論5から、仮説が否定される

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