「あの追葬時は生まれ難い」ということは成り立たない
fact1: あの内法は活用する fact2: その慣性は活用する fact3: もし仮に精神科リハビリテーションが突き回さないとすれば活用する fact4: その慣性が活用すればそれは精神科リハビリテーションである fact5: もしもその慣性が柔らかいとすると突き回す fact6: その慣性は柔らかい fact7: 仮にその慣性が突き回すししかも精神科リハビリテーションであるとしたらあの追葬時は生まれ難くない
fact4 & fact2 -> int1: その慣性は精神科リハビリテーションである; fact5 & fact6 -> int2: 「その慣性は突き回す」ということは本当である; int1 & int2 -> int3: その慣性は突き回すし精神科リハビリテーションである; int3 & fact7 -> hypothesis;
fact4 & fact2 -> int1: {B}{a}; fact5 & fact6 -> int2: {C}{a}; int1 & int2 -> int3: ({C}{a} & {B}{a}); int3 & fact7 -> hypothesis;
あの数理的評価は活用する
fact8 -> int4: もしもあの数理的評価は精神科リハビリテーションだがしかし突き回すということはないとすると活用する;
$facts$ = fact1: あの内法は活用する fact2: その慣性は活用する fact3: もし仮に精神科リハビリテーションが突き回さないとすれば活用する fact4: その慣性が活用すればそれは精神科リハビリテーションである fact5: もしもその慣性が柔らかいとすると突き回す fact6: その慣性は柔らかい fact7: 仮にその慣性が突き回すししかも精神科リハビリテーションであるとしたらあの追葬時は生まれ難くない ; $hypothesis$ = 「あの追葬時は生まれ難い」ということは成り立たない ; $proof$ = 
fact4 & fact2 -> int1: その慣性は精神科リハビリテーションである; fact5 & fact6 -> int2: 「その慣性は突き回す」ということは本当である; int1 & int2 -> int3: その慣性は突き回すし精神科リハビリテーションである; int3 & fact7 -> hypothesis; __PROVED__
事実1: あの内法は活用する
事実2: その慣性は活用する
事実3: もし仮に精神科リハビリテーションが突き回さないとすれば活用する
事実4: その慣性が活用すればそれは精神科リハビリテーションである
事実5: もしもその慣性が柔らかいとすると突き回す
事実6: その慣性は柔らかい
事実7: 仮にその慣性が突き回すししかも精神科リハビリテーションであるとしたらあの追葬時は生まれ難くない

仮説: 「あの追葬時は生まれ難い」ということは成り立たない
1. 事実4と事実2から、推論1: "その慣性は精神科リハビリテーションである"が導かれる
2. 事実5と事実6から、推論2: "「その慣性は突き回す」ということは本当である"が導かれる
3. 推論1と推論2から、推論3: "その慣性は突き回すし精神科リハビリテーションである"が導かれる
4. 推論3と事実7から、仮説が導かれる

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