「そのダブルベッドは出し難いしおまけにそれは標準装備する」ということは事実と異なる
fact1: 「煩い」物はある fact2: 「読み進む」物はある fact3: もし仮にあのＣＩＣが標準装備するならそのダブルベッドは標準装備する fact4: 何らかのものはめぼしいかまたは標準装備するかあるいはどちらもだとすれば入射フォトンでない fact5: この生活資材は出し難いということはない fact6: とある物が現前するかまたはそれは入射フォトンであるか両方ともならそれはめぼしいということはない fact7: 何らかの物は厳ついということはない fact8: ある物は増強する fact9: もしもこの生活資材が現前しないとしたらそのダブルベッドは否定し難くないがしかしそれは出し難い fact10: あのカナールは入射フォトンでない一方でめぼしい fact11: もし「めぼしくない」ものはあるとすると「そのダブルベッドは出し難くてそれは標準装備する」ということは成り立たない fact12: もしあのＣＩＣが否定し難いならばこの生活資材は現前する fact13: この生活資材は標準装備する fact14: 「あのＣＩＣは否定し難い」ということは成り立つ fact15: 「この生活資材はめぼしくて否定し難い」ということは成り立たない
fact12 & fact14 -> int1: 「この生活資材は現前する」ということは事実だ; int1 -> int2: この生活資材は現前するかあるいは入射フォトンだ; fact6 -> int3: この生活資材が現前するかもしくは入射フォトンであるかもしくは両方であるとするとそれはめぼしいということはない; int2 & int3 -> int4: この生活資材はめぼしくない; int4 -> int5: 「めぼしくない」ものはある; int5 & fact11 -> hypothesis;
そのダブルベッドは出し難いし更に標準装備する
fact16 -> int6: 「入射フォトンでないがしかしめぼしい」ものはある;
$facts$ = fact1: 「煩い」物はある fact2: 「読み進む」物はある fact3: もし仮にあのＣＩＣが標準装備するならそのダブルベッドは標準装備する fact4: 何らかのものはめぼしいかまたは標準装備するかあるいはどちらもだとすれば入射フォトンでない fact5: この生活資材は出し難いということはない fact6: とある物が現前するかまたはそれは入射フォトンであるか両方ともならそれはめぼしいということはない fact7: 何らかの物は厳ついということはない fact8: ある物は増強する fact9: もしもこの生活資材が現前しないとしたらそのダブルベッドは否定し難くないがしかしそれは出し難い fact10: あのカナールは入射フォトンでない一方でめぼしい fact11: もし「めぼしくない」ものはあるとすると「そのダブルベッドは出し難くてそれは標準装備する」ということは成り立たない fact12: もしあのＣＩＣが否定し難いならばこの生活資材は現前する fact13: この生活資材は標準装備する fact14: 「あのＣＩＣは否定し難い」ということは成り立つ fact15: 「この生活資材はめぼしくて否定し難い」ということは成り立たない ; $hypothesis$ = 「そのダブルベッドは出し難いしおまけにそれは標準装備する」ということは事実と異なる ; $proof$ = 
fact12 & fact14 -> int1: 「この生活資材は現前する」ということは事実だ; int1 -> int2: この生活資材は現前するかあるいは入射フォトンだ; fact6 -> int3: この生活資材が現前するかもしくは入射フォトンであるかもしくは両方であるとするとそれはめぼしいということはない; int2 & int3 -> int4: この生活資材はめぼしくない; int4 -> int5: 「めぼしくない」ものはある; int5 & fact11 -> hypothesis; __PROVED__
事実1: 「煩い」物はある
事実2: 「読み進む」物はある
事実3: もし仮にあのＣＩＣが標準装備するならそのダブルベッドは標準装備する
事実4: 何らかのものはめぼしいかまたは標準装備するかあるいはどちらもだとすれば入射フォトンでない
事実5: この生活資材は出し難いということはない
事実6: とある物が現前するかまたはそれは入射フォトンであるか両方ともならそれはめぼしいということはない
事実7: 何らかの物は厳ついということはない
事実8: ある物は増強する
事実9: もしもこの生活資材が現前しないとしたらそのダブルベッドは否定し難くないがしかしそれは出し難い
事実10: あのカナールは入射フォトンでない一方でめぼしい
事実11: もし「めぼしくない」ものはあるとすると「そのダブルベッドは出し難くてそれは標準装備する」ということは成り立たない
事実12: もしあのＣＩＣが否定し難いならばこの生活資材は現前する
事実13: この生活資材は標準装備する
事実14: 「あのＣＩＣは否定し難い」ということは成り立つ
事実15: 「この生活資材はめぼしくて否定し難い」ということは成り立たない

仮説: 「そのダブルベッドは出し難いしおまけにそれは標準装備する」ということは事実と異なる
1. 事実12と事実14から、推論1: "「この生活資材は現前する」ということは事実だ"が導かれる
2. 推論1から、推論2: "この生活資材は現前するかあるいは入射フォトンだ"が導かれる
3. 事実6から、推論3: "この生活資材が現前するかもしくは入射フォトンであるかもしくは両方であるとするとそれはめぼしいということはない"が導かれる
4. 推論2と推論3から、推論4: "この生活資材はめぼしくない"が導かれる
5. 推論4から、推論5: "「めぼしくない」ものはある"が導かれる
6. 推論5と事実11から、仮説が導かれる

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