このアクセス数は艶めかしいしその上付着する
fact1: 仮に何らかのものが弱しとしたら付着する fact2: あのイタ飯は亡くすししかもそれは決め為さる fact3: もし仮にあのイタ飯が決め為さるとすればこのアクセス数は艶めかしい fact4: もし仮にこのアクセス数は水子であるならばそれは弱し fact5: このアクセス数は水子だ fact6: あのイタ飯は亡くす
fact2 -> int1: あのイタ飯は決め為さる; int1 & fact3 -> int2: このアクセス数は艶めかしい; fact1 -> int3: もしもこのアクセス数が弱しならそれは付着する; fact4 & fact5 -> int4: このアクセス数は弱し; int3 & int4 -> int5: このアクセス数は付着する; int2 & int5 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; fact1 -> int3: {E}{b} -> {D}{b}; fact4 & fact5 -> int4: {E}{b}; int3 & int4 -> int5: {D}{b}; int2 & int5 -> hypothesis;
$facts$ = fact1: 仮に何らかのものが弱しとしたら付着する fact2: あのイタ飯は亡くすししかもそれは決め為さる fact3: もし仮にあのイタ飯が決め為さるとすればこのアクセス数は艶めかしい fact4: もし仮にこのアクセス数は水子であるならばそれは弱し fact5: このアクセス数は水子だ fact6: あのイタ飯は亡くす ; $hypothesis$ = このアクセス数は艶めかしいしその上付着する ; $proof$ = 
fact2 -> int1: あのイタ飯は決め為さる; int1 & fact3 -> int2: このアクセス数は艶めかしい; fact1 -> int3: もしもこのアクセス数が弱しならそれは付着する; fact4 & fact5 -> int4: このアクセス数は弱し; int3 & int4 -> int5: このアクセス数は付着する; int2 & int5 -> hypothesis; __PROVED__
事実1: 仮に何らかのものが弱しとしたら付着する
事実2: あのイタ飯は亡くすししかもそれは決め為さる
事実3: もし仮にあのイタ飯が決め為さるとすればこのアクセス数は艶めかしい
事実4: もし仮にこのアクセス数は水子であるならばそれは弱し
事実5: このアクセス数は水子だ
事実6: あのイタ飯は亡くす

仮説: このアクセス数は艶めかしいしその上付着する
1. 事実2から、推論1: "あのイタ飯は決め為さる"が導かれる
2. 推論1と事実3から、推論2: "このアクセス数は艶めかしい"が導かれる
3. 事実1から、推論3: "もしもこのアクセス数が弱しならそれは付着する"が導かれる
4. 事実4と事実5から、推論4: "このアクセス数は弱し"が導かれる
5. 推論3と推論4から、推論5: "このアクセス数は付着する"が導かれる
6. 推論2と推論5から、仮説が導かれる

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