あの車台は聞き従うしログインする
fact1: あの車台はレートだ fact2: もしとある物はレートであるならそれはログインする fact3: この一般路線バスが聞き従うとするとそれはログインする fact4: あの車台は聞き従う fact5: 仮に何かは激しいとしたらそれは茶色い
fact2 -> int1: もし仮にあの車台はレートであるとすればログインする; int1 & fact1 -> int2: あの車台はログインする; int2 & fact4 -> hypothesis;
fact2 -> int1: {A}{aa} -> {C}{aa}; int1 & fact1 -> int2: {C}{aa}; int2 & fact4 -> hypothesis;
この一般路線バスはログインするし守り継ぐ
$facts$ = fact1: あの車台はレートだ fact2: もしとある物はレートであるならそれはログインする fact3: この一般路線バスが聞き従うとするとそれはログインする fact4: あの車台は聞き従う fact5: 仮に何かは激しいとしたらそれは茶色い ; $hypothesis$ = あの車台は聞き従うしログインする ; $proof$ = 
fact2 -> int1: もし仮にあの車台はレートであるとすればログインする; int1 & fact1 -> int2: あの車台はログインする; int2 & fact4 -> hypothesis; __PROVED__
事実1: あの車台はレートだ
事実2: もしとある物はレートであるならそれはログインする
事実3: この一般路線バスが聞き従うとするとそれはログインする
事実4: あの車台は聞き従う
事実5: 仮に何かは激しいとしたらそれは茶色い

仮説: あの車台は聞き従うしログインする
1. 事実2から、推論1: "もし仮にあの車台はレートであるとすればログインする"が導かれる
2. 推論1と事実1から、推論2: "あの車台はログインする"が導かれる
3. 推論2と事実4から、仮説が導かれる

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