その五割以上は訪問し合わない
fact1: 生まれ難い物があればその信号音はライセンスしないし捜査段階だということはない fact2: 「生まれ難い」ものはある fact3: もしもその信号音が捜査段階でないとすればその御恩は頼もしくないかもしくは磨かないかもしくはどちらもだ fact4: もし仮にその御恩が頼もしくないとすればその五割以上は訪問し合わない fact5: もしもなんらかの物が頼もしくないとするとそれは捜査段階であるかあるいは磨く fact6: もしその信号音が生まれ難くないかもしくはライセンスするかもしくは両方ともであるとすればあの五割以上は訪問し合う fact7: もし仮にその御恩が磨かないとしたらその五割以上は訪問し合う fact8: その御恩が磨かないならばあの五割以上は訪問し合わない
fact2 & fact1 -> int1: その信号音はライセンスしなくてしかも捜査段階でない; int1 -> int2: 「その信号音は捜査段階でない」ということは本当である; int2 & fact3 -> int3: その御恩は頼もしくないかそれは磨かないかまたはどちらもだ; int3 & fact4 & fact8 -> hypothesis;
その五割以上は訪問し合う
fact10 -> int4: もしその信号音が頼もしいということはないとすればそれは捜査段階であるかもしくは磨くかもしくはどちらもだ;
$facts$ = fact1: 生まれ難い物があればその信号音はライセンスしないし捜査段階だということはない fact2: 「生まれ難い」ものはある fact3: もしもその信号音が捜査段階でないとすればその御恩は頼もしくないかもしくは磨かないかもしくはどちらもだ fact4: もし仮にその御恩が頼もしくないとすればその五割以上は訪問し合わない fact5: もしもなんらかの物が頼もしくないとするとそれは捜査段階であるかあるいは磨く fact6: もしその信号音が生まれ難くないかもしくはライセンスするかもしくは両方ともであるとすればあの五割以上は訪問し合う fact7: もし仮にその御恩が磨かないとしたらその五割以上は訪問し合う fact8: その御恩が磨かないならばあの五割以上は訪問し合わない ; $hypothesis$ = その五割以上は訪問し合わない ; $proof$ = 
fact2 & fact1 -> int1: その信号音はライセンスしなくてしかも捜査段階でない; int1 -> int2: 「その信号音は捜査段階でない」ということは本当である; int2 & fact3 -> int3: その御恩は頼もしくないかそれは磨かないかまたはどちらもだ; int3 & fact4 & fact8 -> hypothesis; __PROVED__
事実1: 生まれ難い物があればその信号音はライセンスしないし捜査段階だということはない
事実2: 「生まれ難い」ものはある
事実3: もしもその信号音が捜査段階でないとすればその御恩は頼もしくないかもしくは磨かないかもしくはどちらもだ
事実4: もし仮にその御恩が頼もしくないとすればその五割以上は訪問し合わない
事実5: もしもなんらかの物が頼もしくないとするとそれは捜査段階であるかあるいは磨く
事実6: もしその信号音が生まれ難くないかもしくはライセンスするかもしくは両方ともであるとすればあの五割以上は訪問し合う
事実7: もし仮にその御恩が磨かないとしたらその五割以上は訪問し合う
事実8: その御恩が磨かないならばあの五割以上は訪問し合わない

仮説: その五割以上は訪問し合わない
1. 事実2と事実1から、推論1: "その信号音はライセンスしなくてしかも捜査段階でない"が導かれる
2. 推論1から、推論2: "「その信号音は捜査段階でない」ということは本当である"が導かれる
3. 推論2と事実3から、推論3: "その御恩は頼もしくないかそれは磨かないかまたはどちらもだ"が導かれる
4. 推論3と事実4と事実8から、仮説が導かれる

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