この書面は彼らしい
fact1: 膀胱炎症状は彼らしい fact2: この書面は驚嘆す fact3: このストリームソケットは彼らしい fact4: 仮になにがしかの物が使い熟すとするとそれは彼らしい fact5: この書面は使い熟すしかつ驚嘆す
fact5 -> int1: この書面は使い熟す; fact4 -> int2: この書面が使い熟せば彼らしい; int1 & int2 -> hypothesis;
fact5 -> int1: {A}{a}; fact4 -> int2: {A}{a} -> {C}{a}; int1 & int2 -> hypothesis;
もしもこの押し出し麺が膀胱炎症状だとしたら彼らしい
fact6 -> hypothesis;
$facts$ = fact1: 膀胱炎症状は彼らしい fact2: この書面は驚嘆す fact3: このストリームソケットは彼らしい fact4: 仮になにがしかの物が使い熟すとするとそれは彼らしい fact5: この書面は使い熟すしかつ驚嘆す ; $hypothesis$ = この書面は彼らしい ; $proof$ = 
fact5 -> int1: この書面は使い熟す; fact4 -> int2: この書面が使い熟せば彼らしい; int1 & int2 -> hypothesis; __PROVED__
事実1: 膀胱炎症状は彼らしい
事実2: この書面は驚嘆す
事実3: このストリームソケットは彼らしい
事実4: 仮になにがしかの物が使い熟すとするとそれは彼らしい
事実5: この書面は使い熟すしかつ驚嘆す

仮説: この書面は彼らしい
1. 事実5から、推論1: "この書面は使い熟す"が導かれる
2. 事実4から、推論2: "この書面が使い熟せば彼らしい"が導かれる
3. 推論1と推論2から、仮説が導かれる

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