この無量光院跡は狭いがしかし倍化しない
fact1: この無量光院跡は倍化しない fact2: この無量光院跡は狭い fact3: この鼻粘膜は倍化しない fact4: もし仮になんらかのものが担当するということはないならギアチェンジだしそれにそれは依存関係である fact5: この人絨毛性ゴナドトロピンは倍化するということはない fact6: もし仮に「「狭いがしかし倍化しない」ということは成り立たない」物があるとするとその享年は狭くない fact7: ある物はギアチェンジであるとすると「狭いけれど倍化するということはない」ということは成り立たない
fact2 & fact1 -> hypothesis;
fact2 & fact1 -> hypothesis;
「この無量光院跡は狭いけれど倍化しない」ということは偽だ
fact9 -> int1: 仮にこの無量光院跡はギアチェンジであるとしたら「狭いけれど倍化しない」ということは成り立たない; fact8 -> int2: もしその荒れが担当しないとすればギアチェンジで依存関係である;
$facts$ = fact1: この無量光院跡は倍化しない fact2: この無量光院跡は狭い fact3: この鼻粘膜は倍化しない fact4: もし仮になんらかのものが担当するということはないならギアチェンジだしそれにそれは依存関係である fact5: この人絨毛性ゴナドトロピンは倍化するということはない fact6: もし仮に「「狭いがしかし倍化しない」ということは成り立たない」物があるとするとその享年は狭くない fact7: ある物はギアチェンジであるとすると「狭いけれど倍化するということはない」ということは成り立たない ; $hypothesis$ = この無量光院跡は狭いがしかし倍化しない ; $proof$ = 
fact2 & fact1 -> hypothesis; __PROVED__
事実1: この無量光院跡は倍化しない
事実2: この無量光院跡は狭い
事実3: この鼻粘膜は倍化しない
事実4: もし仮になんらかのものが担当するということはないならギアチェンジだしそれにそれは依存関係である
事実5: この人絨毛性ゴナドトロピンは倍化するということはない
事実6: もし仮に「「狭いがしかし倍化しない」ということは成り立たない」物があるとするとその享年は狭くない
事実7: ある物はギアチェンジであるとすると「狭いけれど倍化するということはない」ということは成り立たない

仮説: この無量光院跡は狭いがしかし倍化しない
1. 事実2と事実1から、仮説が導かれる

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