この買い物カートは公開草案でない
fact1: この気管支鏡検査が重くないとすると考え易くなくておまけにそれはストレージ管だ fact2: あの指示は埋納しない fact3: 「地域住民でないかあるいは埋納しないかもしくは両方ともである」ものはあれば「あのモルタル塗りは地域住民でない」ということは確かだ fact4: 仮にあの日光山内は外来診療でないならば埋納するしその上地域住民だ fact5: もし仮にこの化け猫はストレージ管でないとしたら「それは集まれないかもしくは押し易い」ということは間違っている fact6: 「この気管支鏡検査は重くない」ということは成り立つ fact7: もしある物は公開草案だとすれば「養護しないかまたはそれは味わい深いかあるいは両方だ」ということは成り立たない fact8: あの長方形選択ツールは憎しない fact9: もし仮にこの化け猫はストレージ管でないならばそれは集まれる fact10: もしあの日光山内が地域住民であるならばあの指示は集まれる fact11: もしなんらかの物が埋納しないならばそれは地域住民でまたそれは外来診療でない fact12: もしこの明楽が見難くないならばビジネス環境である fact13: 仮に「あの長方形選択ツールは外来診療である」ということは事実と異なるということはないとしたらあの日光山内は憎しない fact14: もしもこの買い物カートが公開草案ならばあの長方形選択ツールは憎しないけど喜悦する fact15: この買い物カートは集まれる fact16: もしあの長方形選択ツールが喜悦するならばあの日光山内は外来診療であるということはない fact17: あの長方形選択ツールが地域住民だ一方で外来診療でないとするとこの買い物カートは公開草案だ fact18: もしもこの気管支鏡検査が考え易いということはないがストレージ管だとしたらこの化け猫はストレージ管でない fact19: 仮にあの日光山内がストレージ管であるかあるいは埋納しないかあるいは両方ともであるとするとあの長方形選択ツールは埋納しない fact20: もしも「この化け猫は集まれないかあるいは押し易いかまたは両方ともだ」ということは成り立たないならあの指示は集まれない fact21: なんらかのものが集まれるならそれは地域住民でないかあるいはそれは埋納しない
void -> assump1: 以下のように仮定する。「この買い物カートは公開草案だ」ということは確かである; fact14 & assump1 -> int1: あの長方形選択ツールは憎しないけど喜悦する; int1 -> int2: あの長方形選択ツールは喜悦する; int2 & fact16 -> int3: あの日光山内は外来診療でない; int3 & fact4 -> int4: あの日光山内は埋納するし地域住民である; int4 -> int5: あの日光山内は地域住民だ; int5 & fact10 -> int6: あの指示は集まれる; fact6 & fact1 -> int7: この気管支鏡検査は考え易くないがストレージ管だ; fact18 & int7 -> int8: この化け猫はストレージ管でない; fact5 & int8 -> int9: 「この化け猫は集まれないかまたは押し易いかあるいは両方ともだ」ということは偽である; int9 & fact20 -> int10: あの指示は集まれるということはない; int6 & int10 -> int11: これは矛盾である; [assump1] & int11 -> hypothesis;
この買い物カートは公開草案だ
fact22 -> int12: 仮にあの長方形選択ツールが埋納しないとすると地域住民であるしその上外来診療でない;
$facts$ = fact1: この気管支鏡検査が重くないとすると考え易くなくておまけにそれはストレージ管だ fact2: あの指示は埋納しない fact3: 「地域住民でないかあるいは埋納しないかもしくは両方ともである」ものはあれば「あのモルタル塗りは地域住民でない」ということは確かだ fact4: 仮にあの日光山内は外来診療でないならば埋納するしその上地域住民だ fact5: もし仮にこの化け猫はストレージ管でないとしたら「それは集まれないかもしくは押し易い」ということは間違っている fact6: 「この気管支鏡検査は重くない」ということは成り立つ fact7: もしある物は公開草案だとすれば「養護しないかまたはそれは味わい深いかあるいは両方だ」ということは成り立たない fact8: あの長方形選択ツールは憎しない fact9: もし仮にこの化け猫はストレージ管でないならばそれは集まれる fact10: もしあの日光山内が地域住民であるならばあの指示は集まれる fact11: もしなんらかの物が埋納しないならばそれは地域住民でまたそれは外来診療でない fact12: もしこの明楽が見難くないならばビジネス環境である fact13: 仮に「あの長方形選択ツールは外来診療である」ということは事実と異なるということはないとしたらあの日光山内は憎しない fact14: もしもこの買い物カートが公開草案ならばあの長方形選択ツールは憎しないけど喜悦する fact15: この買い物カートは集まれる fact16: もしあの長方形選択ツールが喜悦するならばあの日光山内は外来診療であるということはない fact17: あの長方形選択ツールが地域住民だ一方で外来診療でないとするとこの買い物カートは公開草案だ fact18: もしもこの気管支鏡検査が考え易いということはないがストレージ管だとしたらこの化け猫はストレージ管でない fact19: 仮にあの日光山内がストレージ管であるかあるいは埋納しないかあるいは両方ともであるとするとあの長方形選択ツールは埋納しない fact20: もしも「この化け猫は集まれないかあるいは押し易いかまたは両方ともだ」ということは成り立たないならあの指示は集まれない fact21: なんらかのものが集まれるならそれは地域住民でないかあるいはそれは埋納しない ; $hypothesis$ = この買い物カートは公開草案でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この買い物カートは公開草案だ」ということは確かである; fact14 & assump1 -> int1: あの長方形選択ツールは憎しないけど喜悦する; int1 -> int2: あの長方形選択ツールは喜悦する; int2 & fact16 -> int3: あの日光山内は外来診療でない; int3 & fact4 -> int4: あの日光山内は埋納するし地域住民である; int4 -> int5: あの日光山内は地域住民だ; int5 & fact10 -> int6: あの指示は集まれる; fact6 & fact1 -> int7: この気管支鏡検査は考え易くないがストレージ管だ; fact18 & int7 -> int8: この化け猫はストレージ管でない; fact5 & int8 -> int9: 「この化け猫は集まれないかまたは押し易いかあるいは両方ともだ」ということは偽である; int9 & fact20 -> int10: あの指示は集まれるということはない; int6 & int10 -> int11: これは矛盾である; [assump1] & int11 -> hypothesis; __PROVED__
事実1: この気管支鏡検査が重くないとすると考え易くなくておまけにそれはストレージ管だ
事実2: あの指示は埋納しない
事実3: 「地域住民でないかあるいは埋納しないかもしくは両方ともである」ものはあれば「あのモルタル塗りは地域住民でない」ということは確かだ
事実4: 仮にあの日光山内は外来診療でないならば埋納するしその上地域住民だ
事実5: もし仮にこの化け猫はストレージ管でないとしたら「それは集まれないかもしくは押し易い」ということは間違っている
事実6: 「この気管支鏡検査は重くない」ということは成り立つ
事実7: もしある物は公開草案だとすれば「養護しないかまたはそれは味わい深いかあるいは両方だ」ということは成り立たない
事実8: あの長方形選択ツールは憎しない
事実9: もし仮にこの化け猫はストレージ管でないならばそれは集まれる
事実10: もしあの日光山内が地域住民であるならばあの指示は集まれる
事実11: もしなんらかの物が埋納しないならばそれは地域住民でまたそれは外来診療でない
事実12: もしこの明楽が見難くないならばビジネス環境である
事実13: 仮に「あの長方形選択ツールは外来診療である」ということは事実と異なるということはないとしたらあの日光山内は憎しない
事実14: もしもこの買い物カートが公開草案ならばあの長方形選択ツールは憎しないけど喜悦する
事実15: この買い物カートは集まれる
事実16: もしあの長方形選択ツールが喜悦するならばあの日光山内は外来診療であるということはない
事実17: あの長方形選択ツールが地域住民だ一方で外来診療でないとするとこの買い物カートは公開草案だ
事実18: もしもこの気管支鏡検査が考え易いということはないがストレージ管だとしたらこの化け猫はストレージ管でない
事実19: 仮にあの日光山内がストレージ管であるかあるいは埋納しないかあるいは両方ともであるとするとあの長方形選択ツールは埋納しない
事実20: もしも「この化け猫は集まれないかあるいは押し易いかまたは両方ともだ」ということは成り立たないならあの指示は集まれない
事実21: なんらかのものが集まれるならそれは地域住民でないかあるいはそれは埋納しない

仮説: この買い物カートは公開草案でない
1. 仮定1: 以下のように仮定する。「この買い物カートは公開草案だ」ということは確かである
2. 事実14と仮定1から、推論1: "あの長方形選択ツールは憎しないけど喜悦する"が導かれる
3. 推論1から、推論2: "あの長方形選択ツールは喜悦する"が導かれる
4. 推論2と事実16から、推論3: "あの日光山内は外来診療でない"が導かれる
5. 推論3と事実4から、推論4: "あの日光山内は埋納するし地域住民である"が導かれる
6. 推論4から、推論5: "あの日光山内は地域住民だ"が導かれる
7. 推論5と事実10から、推論6: "あの指示は集まれる"が導かれる
8. 事実6と事実1から、推論7: "この気管支鏡検査は考え易くないがストレージ管だ"が導かれる
9. 事実18と推論7から、推論8: "この化け猫はストレージ管でない"が導かれる
10. 事実5と推論8から、推論9: "「この化け猫は集まれないかまたは押し易いかあるいは両方ともだ」ということは偽である"が導かれる
11. 推論9と事実20から、推論10: "あの指示は集まれるということはない"が導かれる
12. 推論6と推論10から、推論11: "これは矛盾である"が導かれる
13. [仮定1]と推論11から、仮説が導かれる

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