この差し縺れは古書でない
fact1: その励起光がメーターケーブルだしそれは一望出来る fact2: もしもこの特性時間が常連らしいならその励起光は押さえ難い fact3: その励起光が一望出来るし押さえ難いとすればこの差し縺れは古書でない fact4: この特性時間は常連らしい fact5: 常連らしくないものは押さえ難いかあるいは一望出来ない fact6: 「もしその励起光が押さえ難いかもしくは一望出来ないならその励起光はメーターケーブルである」ということは正しい
fact1 -> int1: その励起光は一望出来る; fact2 & fact4 -> int2: その励起光は押さえ難い; int1 & int2 -> int3: その励起光は一望出来るしさらに押さえ難い; int3 & fact3 -> hypothesis;
fact1 -> int1: {B}{a}; fact2 & fact4 -> int2: {C}{a}; int1 & int2 -> int3: ({B}{a} & {C}{a}); int3 & fact3 -> hypothesis;
この差し縺れは古書だ
fact7 -> int4: もし仮にその励起光が常連らしくないとするとそれは押さえ難いかまたは一望出来ないかどちらもである;
$facts$ = fact1: その励起光がメーターケーブルだしそれは一望出来る fact2: もしもこの特性時間が常連らしいならその励起光は押さえ難い fact3: その励起光が一望出来るし押さえ難いとすればこの差し縺れは古書でない fact4: この特性時間は常連らしい fact5: 常連らしくないものは押さえ難いかあるいは一望出来ない fact6: 「もしその励起光が押さえ難いかもしくは一望出来ないならその励起光はメーターケーブルである」ということは正しい ; $hypothesis$ = この差し縺れは古書でない ; $proof$ = 
fact1 -> int1: その励起光は一望出来る; fact2 & fact4 -> int2: その励起光は押さえ難い; int1 & int2 -> int3: その励起光は一望出来るしさらに押さえ難い; int3 & fact3 -> hypothesis; __PROVED__
事実1: その励起光がメーターケーブルだしそれは一望出来る
事実2: もしもこの特性時間が常連らしいならその励起光は押さえ難い
事実3: その励起光が一望出来るし押さえ難いとすればこの差し縺れは古書でない
事実4: この特性時間は常連らしい
事実5: 常連らしくないものは押さえ難いかあるいは一望出来ない
事実6: 「もしその励起光が押さえ難いかもしくは一望出来ないならその励起光はメーターケーブルである」ということは正しい

仮説: この差し縺れは古書でない
1. 事実1から、推論1: "その励起光は一望出来る"が導かれる
2. 事実2と事実4から、推論2: "その励起光は押さえ難い"が導かれる
3. 推論1と推論2から、推論3: "その励起光は一望出来るしさらに押さえ難い"が導かれる
4. 推論3と事実3から、仮説が導かれる

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