その真理探究は精神科学であるし更にフィールド術式である
fact1: そのツール群は格付け会社であるしまた喋り捲る fact2: なにがしかの物が思しないとしたら格付け会社だし喋り捲る fact3: もしもあるものが思しかもしくはそれは噴霧するかまたは両方ともであるならば組み込まない fact4: もしもそのツール群が格付け会社であるとしたらあの交感神経系は思し fact5: もしもあの交感神経系は組み込まないとすると「「その真理探究は精神科学でフィールド術式である」ということは成り立つ」ということは間違っている fact6: 格付け会社はフィールド術式である
fact1 -> int1: そのツール群は格付け会社だ; int1 & fact4 -> int2: あの交感神経系は思し; int2 -> int3: あの交感神経系は思しかまたはそれは噴霧する; fact3 -> int4: もしもあの交感神経系は思しかもしくは噴霧するかあるいはどちらもであるとすればそれは組み込まない; int3 & int4 -> int5: あの交感神経系は組み込まない; int5 & fact5 -> hypothesis;
この二十二日条はフィールド術式だし加えて休養する
fact8 -> int6: この二十二日条は格付け会社であるならばそれはフィールド術式である; fact7 -> int7: もしもこの二十二日条が思しないとしたらそれは格付け会社であるしさらにそれは喋り捲る;
$facts$ = fact1: そのツール群は格付け会社であるしまた喋り捲る fact2: なにがしかの物が思しないとしたら格付け会社だし喋り捲る fact3: もしもあるものが思しかもしくはそれは噴霧するかまたは両方ともであるならば組み込まない fact4: もしもそのツール群が格付け会社であるとしたらあの交感神経系は思し fact5: もしもあの交感神経系は組み込まないとすると「「その真理探究は精神科学でフィールド術式である」ということは成り立つ」ということは間違っている fact6: 格付け会社はフィールド術式である ; $hypothesis$ = その真理探究は精神科学であるし更にフィールド術式である ; $proof$ = 
fact1 -> int1: そのツール群は格付け会社だ; int1 & fact4 -> int2: あの交感神経系は思し; int2 -> int3: あの交感神経系は思しかまたはそれは噴霧する; fact3 -> int4: もしもあの交感神経系は思しかもしくは噴霧するかあるいはどちらもであるとすればそれは組み込まない; int3 & int4 -> int5: あの交感神経系は組み込まない; int5 & fact5 -> hypothesis; __DISPROVED__
事実1: そのツール群は格付け会社であるしまた喋り捲る
事実2: なにがしかの物が思しないとしたら格付け会社だし喋り捲る
事実3: もしもあるものが思しかもしくはそれは噴霧するかまたは両方ともであるならば組み込まない
事実4: もしもそのツール群が格付け会社であるとしたらあの交感神経系は思し
事実5: もしもあの交感神経系は組み込まないとすると「「その真理探究は精神科学でフィールド術式である」ということは成り立つ」ということは間違っている
事実6: 格付け会社はフィールド術式である

仮説: その真理探究は精神科学であるし更にフィールド術式である
1. 事実1から、推論1: "そのツール群は格付け会社だ"が導かれる
2. 推論1と事実4から、推論2: "あの交感神経系は思し"が導かれる
3. 推論2から、推論3: "あの交感神経系は思しかまたはそれは噴霧する"が導かれる
4. 事実3から、推論4: "もしもあの交感神経系は思しかもしくは噴霧するかあるいはどちらもであるとすればそれは組み込まない"が導かれる
5. 推論3と推論4から、推論5: "あの交感神経系は組み込まない"が導かれる
6. 推論5と事実5から、仮説が否定される

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