この本屋敷さんは溶かしバターであるしおまけにそれは名義尺度だ
fact1: もしもこのモニタリング・レポートが安っぽいということはないとすればその開窓術は名義尺度だし失神する fact2: もしその開窓術が名義尺度であるかあるいはそれが炸裂するということはないか両方だとすればこの本屋敷さんは送還する fact3: 仮にこのフェアリーが言い触らせばこの本屋敷さんは溶かしバターだ fact4: その開発チームは送還する fact5: もし仮にこの本屋敷さんが失神するか名義尺度だということはないかあるいは両方ともだとしたらこのモニタリング・レポートは炸裂する fact6: その低減は名義尺度だ fact7: このフェアリーは外膜だ fact8: もしもその開窓術が送還するかそれが炸裂しないか両方ともならばあのモニタリング・レポートは失神する fact9: もしこのフェアリーが言い触らさないならばその開窓術は送還するかあるいは炸裂しないかあるいは両方である fact10: もしその開窓術が言い触らすとすればこのフェアリーは送還する fact11: もしもこの本屋敷さんは失神しないならば「このモニタリング・レポートは送還するかもしくはそれは名義尺度でないかあるいはどちらもである」ということは真実である fact12: 「この本屋敷さんは名義尺度である」ということは成り立つ fact13: 「このモニタリング・レポートは送還しない」ということは成り立つ fact14: このモニタリング・レポートは炸裂する fact15: その開窓術は言い触らすか送還するかあるいは両方ともだ fact16: その連邦通常裁判所は失神するかあるいは外膜でないかあるいはどちらもだ fact17: その連邦通常裁判所は外膜でない fact18: もしこのモニタリング・レポートが失神するとしたらその連邦通常裁判所は外膜である fact19: 「この本屋敷さんは三十九ページ参照だ」ということは成り立つ fact20: もし仮に何かは言い触らさないなら「溶かしバターでおまけにそれは名義尺度である」ということは事実と異なる fact21: その開窓術は言い触らす fact22: このフェアリーが失神するということはないとしたらこの日本小児外科学会指導医は言い触らすが外膜でない fact23: もしその開窓術が失神するしおまけにそれが溶かしバターだとするとこのフェアリーは失神しない
void -> assump1: 以下のように仮定する。このフェアリーは言い触らさない; fact9 & assump1 -> int1: その開窓術は送還するかまたは炸裂しないかもしくは両方だ; int1 & fact8 -> int2: このモニタリング・レポートは失神する; int2 & fact18 -> int3: その連邦通常裁判所は外膜だ; int3 & fact17 -> int4: これは矛盾である; [assump1] & int4 -> int5: このフェアリーは言い触らす; int5 & fact3 -> int6: この本屋敷さんは溶かしバターである; int6 & fact12 -> hypothesis;
「この本屋敷さんは溶かしバターであるし名義尺度である」ということは間違いである
fact24 -> int7: もしもこの本屋敷さんは言い触らすということはないとすると「それは溶かしバターだし名義尺度だ」ということは成り立たない;
$facts$ = fact1: もしもこのモニタリング・レポートが安っぽいということはないとすればその開窓術は名義尺度だし失神する fact2: もしその開窓術が名義尺度であるかあるいはそれが炸裂するということはないか両方だとすればこの本屋敷さんは送還する fact3: 仮にこのフェアリーが言い触らせばこの本屋敷さんは溶かしバターだ fact4: その開発チームは送還する fact5: もし仮にこの本屋敷さんが失神するか名義尺度だということはないかあるいは両方ともだとしたらこのモニタリング・レポートは炸裂する fact6: その低減は名義尺度だ fact7: このフェアリーは外膜だ fact8: もしもその開窓術が送還するかそれが炸裂しないか両方ともならばあのモニタリング・レポートは失神する fact9: もしこのフェアリーが言い触らさないならばその開窓術は送還するかあるいは炸裂しないかあるいは両方である fact10: もしその開窓術が言い触らすとすればこのフェアリーは送還する fact11: もしもこの本屋敷さんは失神しないならば「このモニタリング・レポートは送還するかもしくはそれは名義尺度でないかあるいはどちらもである」ということは真実である fact12: 「この本屋敷さんは名義尺度である」ということは成り立つ fact13: 「このモニタリング・レポートは送還しない」ということは成り立つ fact14: このモニタリング・レポートは炸裂する fact15: その開窓術は言い触らすか送還するかあるいは両方ともだ fact16: その連邦通常裁判所は失神するかあるいは外膜でないかあるいはどちらもだ fact17: その連邦通常裁判所は外膜でない fact18: もしこのモニタリング・レポートが失神するとしたらその連邦通常裁判所は外膜である fact19: 「この本屋敷さんは三十九ページ参照だ」ということは成り立つ fact20: もし仮に何かは言い触らさないなら「溶かしバターでおまけにそれは名義尺度である」ということは事実と異なる fact21: その開窓術は言い触らす fact22: このフェアリーが失神するということはないとしたらこの日本小児外科学会指導医は言い触らすが外膜でない fact23: もしその開窓術が失神するしおまけにそれが溶かしバターだとするとこのフェアリーは失神しない ; $hypothesis$ = この本屋敷さんは溶かしバターであるしおまけにそれは名義尺度だ ; $proof$ = 
void -> assump1: 以下のように仮定する。このフェアリーは言い触らさない; fact9 & assump1 -> int1: その開窓術は送還するかまたは炸裂しないかもしくは両方だ; int1 & fact8 -> int2: このモニタリング・レポートは失神する; int2 & fact18 -> int3: その連邦通常裁判所は外膜だ; int3 & fact17 -> int4: これは矛盾である; [assump1] & int4 -> int5: このフェアリーは言い触らす; int5 & fact3 -> int6: この本屋敷さんは溶かしバターである; int6 & fact12 -> hypothesis; __PROVED__
事実1: もしもこのモニタリング・レポートが安っぽいということはないとすればその開窓術は名義尺度だし失神する
事実2: もしその開窓術が名義尺度であるかあるいはそれが炸裂するということはないか両方だとすればこの本屋敷さんは送還する
事実3: 仮にこのフェアリーが言い触らせばこの本屋敷さんは溶かしバターだ
事実4: その開発チームは送還する
事実5: もし仮にこの本屋敷さんが失神するか名義尺度だということはないかあるいは両方ともだとしたらこのモニタリング・レポートは炸裂する
事実6: その低減は名義尺度だ
事実7: このフェアリーは外膜だ
事実8: もしもその開窓術が送還するかそれが炸裂しないか両方ともならばあのモニタリング・レポートは失神する
事実9: もしこのフェアリーが言い触らさないならばその開窓術は送還するかあるいは炸裂しないかあるいは両方である
事実10: もしその開窓術が言い触らすとすればこのフェアリーは送還する
事実11: もしもこの本屋敷さんは失神しないならば「このモニタリング・レポートは送還するかもしくはそれは名義尺度でないかあるいはどちらもである」ということは真実である
事実12: 「この本屋敷さんは名義尺度である」ということは成り立つ
事実13: 「このモニタリング・レポートは送還しない」ということは成り立つ
事実14: このモニタリング・レポートは炸裂する
事実15: その開窓術は言い触らすか送還するかあるいは両方ともだ
事実16: その連邦通常裁判所は失神するかあるいは外膜でないかあるいはどちらもだ
事実17: その連邦通常裁判所は外膜でない
事実18: もしこのモニタリング・レポートが失神するとしたらその連邦通常裁判所は外膜である
事実19: 「この本屋敷さんは三十九ページ参照だ」ということは成り立つ
事実20: もし仮に何かは言い触らさないなら「溶かしバターでおまけにそれは名義尺度である」ということは事実と異なる
事実21: その開窓術は言い触らす
事実22: このフェアリーが失神するということはないとしたらこの日本小児外科学会指導医は言い触らすが外膜でない
事実23: もしその開窓術が失神するしおまけにそれが溶かしバターだとするとこのフェアリーは失神しない

仮説: この本屋敷さんは溶かしバターであるしおまけにそれは名義尺度だ
1. 仮定1: 以下のように仮定する。このフェアリーは言い触らさない
2. 事実9と仮定1から、推論1: "その開窓術は送還するかまたは炸裂しないかもしくは両方だ"が導かれる
3. 推論1と事実8から、推論2: "このモニタリング・レポートは失神する"が導かれる
4. 推論2と事実18から、推論3: "その連邦通常裁判所は外膜だ"が導かれる
5. 推論3と事実17から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "このフェアリーは言い触らす"が導かれる
7. 推論5と事実3から、推論6: "この本屋敷さんは溶かしバターである"が導かれる
8. 推論6と事実12から、仮説が導かれる

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