「このカウンター内は伸び過ぎる」ということは確かである
fact1: もしこのカウンター内が医療現場ならば伸び過ぎる fact2: このカウンター内は射る fact3: もし仮になにがしかのものが売り渡さないしそれがＲＦＣでないならばこの堆肥化は貧しくない fact4: もしその確認書が射ないならばこのカウンター内は射るしまた医療現場である fact5: ある物は売り渡さない一方でそれはＲＦＣだ fact6: 「射るがＲＦＣでない」物はある fact7: もしもその確認書が射るならあの玄関詳細図は売り渡さなくてそれにＲＦＣでない fact8: この堆肥化は貧しい fact9: 「あの玄関詳細図はＲＦＣでない」ということは成り立つ fact10: 「売り渡さない」ものはある
void -> assump1: 以下のように仮定する。その確認書は射る; fact7 & assump1 -> int1: あの玄関詳細図は売り渡さないしかつＲＦＣでない; int1 -> int2: なにがしかの物は売り渡すということはなくてそれはＲＦＣであるということはない; int2 & fact3 -> int3: この堆肥化は貧しくない; int3 & fact8 -> int4: これは矛盾である; [assump1] & int4 -> int5: その確認書は射ない; int5 & fact4 -> int6: このカウンター内は射るししかもそれは医療現場である; int6 -> int7: このカウンター内は医療現場である; int7 & fact1 -> hypothesis;
$facts$ = fact1: もしこのカウンター内が医療現場ならば伸び過ぎる fact2: このカウンター内は射る fact3: もし仮になにがしかのものが売り渡さないしそれがＲＦＣでないならばこの堆肥化は貧しくない fact4: もしその確認書が射ないならばこのカウンター内は射るしまた医療現場である fact5: ある物は売り渡さない一方でそれはＲＦＣだ fact6: 「射るがＲＦＣでない」物はある fact7: もしもその確認書が射るならあの玄関詳細図は売り渡さなくてそれにＲＦＣでない fact8: この堆肥化は貧しい fact9: 「あの玄関詳細図はＲＦＣでない」ということは成り立つ fact10: 「売り渡さない」ものはある ; $hypothesis$ = 「このカウンター内は伸び過ぎる」ということは確かである ; $proof$ = 
void -> assump1: 以下のように仮定する。その確認書は射る; fact7 & assump1 -> int1: あの玄関詳細図は売り渡さないしかつＲＦＣでない; int1 -> int2: なにがしかの物は売り渡すということはなくてそれはＲＦＣであるということはない; int2 & fact3 -> int3: この堆肥化は貧しくない; int3 & fact8 -> int4: これは矛盾である; [assump1] & int4 -> int5: その確認書は射ない; int5 & fact4 -> int6: このカウンター内は射るししかもそれは医療現場である; int6 -> int7: このカウンター内は医療現場である; int7 & fact1 -> hypothesis; __PROVED__
事実1: もしこのカウンター内が医療現場ならば伸び過ぎる
事実2: このカウンター内は射る
事実3: もし仮になにがしかのものが売り渡さないしそれがＲＦＣでないならばこの堆肥化は貧しくない
事実4: もしその確認書が射ないならばこのカウンター内は射るしまた医療現場である
事実5: ある物は売り渡さない一方でそれはＲＦＣだ
事実6: 「射るがＲＦＣでない」物はある
事実7: もしもその確認書が射るならあの玄関詳細図は売り渡さなくてそれにＲＦＣでない
事実8: この堆肥化は貧しい
事実9: 「あの玄関詳細図はＲＦＣでない」ということは成り立つ
事実10: 「売り渡さない」ものはある

仮説: 「このカウンター内は伸び過ぎる」ということは確かである
1. 仮定1: 以下のように仮定する。その確認書は射る
2. 事実7と仮定1から、推論1: "あの玄関詳細図は売り渡さないしかつＲＦＣでない"が導かれる
3. 推論1から、推論2: "なにがしかの物は売り渡すということはなくてそれはＲＦＣであるということはない"が導かれる
4. 推論2と事実3から、推論3: "この堆肥化は貧しくない"が導かれる
5. 推論3と事実8から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その確認書は射ない"が導かれる
7. 推論5と事実4から、推論6: "このカウンター内は射るししかもそれは医療現場である"が導かれる
8. 推論6から、推論7: "このカウンター内は医療現場である"が導かれる
9. 推論7と事実1から、仮説が導かれる

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