その成功者は焼香しない
fact1: もし仮にとあるものが重大事であるとすればあのエンコードは舌舐りする fact2: もしあのエンコードが舌舐りするとするとそれは討議すらない fact3: もし仮に何かは自失するしさらに討議すならそれは賢しい fact4: もしもなんらかの物は騒がしいなら「それは焼香する」ということは偽でない fact5: 「「物理現象だ一方で重大事でない」ということは成り立つということはない」物はある fact6: もしとあるものが舌舐りするならそれは自失するし加えてそれは討議すらない fact7: 「「物理現象でなくて重大事でない」ということは成り立つということはない」物はある fact8: もし仮にあるものは自失するが討議すらないなら賢しい fact9: 仮に「「物理現象でなくて重大事でない」ということは確かでない」物があるとするとあのエンコードは舌舐りする fact10: あのエンコードは討議すらない fact11: とあるものが舌舐りするならそれは討議すらない fact12: ある物が舌舐りするかあるいは討議すかまたはどちらもであるならそれは焼香しない fact13: 仮にあのエンコードが自失するしそれが討議すとすると賢しい fact14: もしもあのエンコードは賢しいとすると「その成功者は騒がしい」ということは真実である fact15: ある物は物理現象だということはないしおまけにそれは重大事でない
fact7 & fact9 -> int1: あのエンコードは舌舐りする; fact6 -> int2: もし「あのエンコードは舌舐りする」ということは成り立つとすれば自失するしおまけに討議すらない; int1 & int2 -> int3: あのエンコードは自失するが討議すらない; fact8 -> int4: もしもあのエンコードは自失するがしかし討議すらないとしたら賢しい; int3 & int4 -> int5: あのエンコードは賢しい; int5 & fact14 -> int6: その成功者は騒がしい; fact4 -> int7: その成功者は騒がしいとすると「焼香する」ということは正しい; int6 & int7 -> hypothesis;
その成功者は焼香しない
fact16 -> int8: 「その成功者が舌舐りするかそれが討議すかまたは両方ともだとすればその成功者は焼香しない」ということは本当だ;
$facts$ = fact1: もし仮にとあるものが重大事であるとすればあのエンコードは舌舐りする fact2: もしあのエンコードが舌舐りするとするとそれは討議すらない fact3: もし仮に何かは自失するしさらに討議すならそれは賢しい fact4: もしもなんらかの物は騒がしいなら「それは焼香する」ということは偽でない fact5: 「「物理現象だ一方で重大事でない」ということは成り立つということはない」物はある fact6: もしとあるものが舌舐りするならそれは自失するし加えてそれは討議すらない fact7: 「「物理現象でなくて重大事でない」ということは成り立つということはない」物はある fact8: もし仮にあるものは自失するが討議すらないなら賢しい fact9: 仮に「「物理現象でなくて重大事でない」ということは確かでない」物があるとするとあのエンコードは舌舐りする fact10: あのエンコードは討議すらない fact11: とあるものが舌舐りするならそれは討議すらない fact12: ある物が舌舐りするかあるいは討議すかまたはどちらもであるならそれは焼香しない fact13: 仮にあのエンコードが自失するしそれが討議すとすると賢しい fact14: もしもあのエンコードは賢しいとすると「その成功者は騒がしい」ということは真実である fact15: ある物は物理現象だということはないしおまけにそれは重大事でない ; $hypothesis$ = その成功者は焼香しない ; $proof$ = 
fact7 & fact9 -> int1: あのエンコードは舌舐りする; fact6 -> int2: もし「あのエンコードは舌舐りする」ということは成り立つとすれば自失するしおまけに討議すらない; int1 & int2 -> int3: あのエンコードは自失するが討議すらない; fact8 -> int4: もしもあのエンコードは自失するがしかし討議すらないとしたら賢しい; int3 & int4 -> int5: あのエンコードは賢しい; int5 & fact14 -> int6: その成功者は騒がしい; fact4 -> int7: その成功者は騒がしいとすると「焼香する」ということは正しい; int6 & int7 -> hypothesis; __DISPROVED__
事実1: もし仮にとあるものが重大事であるとすればあのエンコードは舌舐りする
事実2: もしあのエンコードが舌舐りするとするとそれは討議すらない
事実3: もし仮に何かは自失するしさらに討議すならそれは賢しい
事実4: もしもなんらかの物は騒がしいなら「それは焼香する」ということは偽でない
事実5: 「「物理現象だ一方で重大事でない」ということは成り立つということはない」物はある
事実6: もしとあるものが舌舐りするならそれは自失するし加えてそれは討議すらない
事実7: 「「物理現象でなくて重大事でない」ということは成り立つということはない」物はある
事実8: もし仮にあるものは自失するが討議すらないなら賢しい
事実9: 仮に「「物理現象でなくて重大事でない」ということは確かでない」物があるとするとあのエンコードは舌舐りする
事実10: あのエンコードは討議すらない
事実11: とあるものが舌舐りするならそれは討議すらない
事実12: ある物が舌舐りするかあるいは討議すかまたはどちらもであるならそれは焼香しない
事実13: 仮にあのエンコードが自失するしそれが討議すとすると賢しい
事実14: もしもあのエンコードは賢しいとすると「その成功者は騒がしい」ということは真実である
事実15: ある物は物理現象だということはないしおまけにそれは重大事でない

仮説: その成功者は焼香しない
1. 事実7と事実9から、推論1: "あのエンコードは舌舐りする"が導かれる
2. 事実6から、推論2: "もし「あのエンコードは舌舐りする」ということは成り立つとすれば自失するしおまけに討議すらない"が導かれる
3. 推論1と推論2から、推論3: "あのエンコードは自失するが討議すらない"が導かれる
4. 事実8から、推論4: "もしもあのエンコードは自失するがしかし討議すらないとしたら賢しい"が導かれる
5. 推論3と推論4から、推論5: "あのエンコードは賢しい"が導かれる
6. 推論5と事実14から、推論6: "その成功者は騒がしい"が導かれる
7. 事実4から、推論7: "その成功者は騒がしいとすると「焼香する」ということは正しい"が導かれる
8. 推論6と推論7から、仮説が否定される

よって、仮説が否定されました。