あの手術直前投与は人間臭くない
fact1: もしその最上段は出難くないかまたは暑いか両方ともだとしたらそれは活動し易い fact2: 仮に「この大型堀立て柱高床建物は眺望出来るし鍛え上げる」ということは事実でないとすればその最上段は活動し易くない fact3: 「「この大型堀立て柱高床建物は眺望出来るしおまけに鍛え上げる」ということは確かでない」ということは真実だ fact4: その最上段が琉球王府でないとするとあのライフラインは出難くない fact5: あのライフラインが琉球王府ならその春季オープン・カレッジ開講は上昇し易い fact6: 「あのライフラインは出難いししかも繁殖し易い」ということは成り立たない fact7: 仮にこの大型堀立て柱高床建物が鍛え上げるということはないとすればそれは人間臭い fact8: もし仮にあの手術直前投与が人間臭いとするとあのライフラインは繁殖し易い fact9: この大型堀立て柱高床建物は上昇し易い fact10: もし仮にあのライフラインが繁殖し易いならば琉球王府だ fact11: もしもその春季オープン・カレッジ開講が上昇し易いとするとその最上段は出難いかまたはそれは暑いかあるいは両方だ fact12: もし仮に「その春季オープン・カレッジ開講は上昇し易い」ということは真実であるとするとその最上段は出難いということはないかもしくはそれは暑い
void -> assump1: 以下のように仮定する。あの手術直前投与は人間臭い; fact8 & assump1 -> int1: あのライフラインは繁殖し易い; int1 & fact10 -> int2: あのライフラインは琉球王府である; int2 & fact5 -> int3: その春季オープン・カレッジ開講は上昇し易い; int3 & fact12 -> int4: その最上段は出難いということはないか暑いかまたはどちらもである; int4 & fact1 -> int5: その最上段は活動し易い; fact2 & fact3 -> int6: その最上段は活動し易くない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
$facts$ = fact1: もしその最上段は出難くないかまたは暑いか両方ともだとしたらそれは活動し易い fact2: 仮に「この大型堀立て柱高床建物は眺望出来るし鍛え上げる」ということは事実でないとすればその最上段は活動し易くない fact3: 「「この大型堀立て柱高床建物は眺望出来るしおまけに鍛え上げる」ということは確かでない」ということは真実だ fact4: その最上段が琉球王府でないとするとあのライフラインは出難くない fact5: あのライフラインが琉球王府ならその春季オープン・カレッジ開講は上昇し易い fact6: 「あのライフラインは出難いししかも繁殖し易い」ということは成り立たない fact7: 仮にこの大型堀立て柱高床建物が鍛え上げるということはないとすればそれは人間臭い fact8: もし仮にあの手術直前投与が人間臭いとするとあのライフラインは繁殖し易い fact9: この大型堀立て柱高床建物は上昇し易い fact10: もし仮にあのライフラインが繁殖し易いならば琉球王府だ fact11: もしもその春季オープン・カレッジ開講が上昇し易いとするとその最上段は出難いかまたはそれは暑いかあるいは両方だ fact12: もし仮に「その春季オープン・カレッジ開講は上昇し易い」ということは真実であるとするとその最上段は出難いということはないかもしくはそれは暑い ; $hypothesis$ = あの手術直前投与は人間臭くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの手術直前投与は人間臭い; fact8 & assump1 -> int1: あのライフラインは繁殖し易い; int1 & fact10 -> int2: あのライフラインは琉球王府である; int2 & fact5 -> int3: その春季オープン・カレッジ開講は上昇し易い; int3 & fact12 -> int4: その最上段は出難いということはないか暑いかまたはどちらもである; int4 & fact1 -> int5: その最上段は活動し易い; fact2 & fact3 -> int6: その最上段は活動し易くない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もしその最上段は出難くないかまたは暑いか両方ともだとしたらそれは活動し易い
事実2: 仮に「この大型堀立て柱高床建物は眺望出来るし鍛え上げる」ということは事実でないとすればその最上段は活動し易くない
事実3: 「「この大型堀立て柱高床建物は眺望出来るしおまけに鍛え上げる」ということは確かでない」ということは真実だ
事実4: その最上段が琉球王府でないとするとあのライフラインは出難くない
事実5: あのライフラインが琉球王府ならその春季オープン・カレッジ開講は上昇し易い
事実6: 「あのライフラインは出難いししかも繁殖し易い」ということは成り立たない
事実7: 仮にこの大型堀立て柱高床建物が鍛え上げるということはないとすればそれは人間臭い
事実8: もし仮にあの手術直前投与が人間臭いとするとあのライフラインは繁殖し易い
事実9: この大型堀立て柱高床建物は上昇し易い
事実10: もし仮にあのライフラインが繁殖し易いならば琉球王府だ
事実11: もしもその春季オープン・カレッジ開講が上昇し易いとするとその最上段は出難いかまたはそれは暑いかあるいは両方だ
事実12: もし仮に「その春季オープン・カレッジ開講は上昇し易い」ということは真実であるとするとその最上段は出難いということはないかもしくはそれは暑い

仮説: あの手術直前投与は人間臭くない
1. 仮定1: 以下のように仮定する。あの手術直前投与は人間臭い
2. 事実8と仮定1から、推論1: "あのライフラインは繁殖し易い"が導かれる
3. 推論1と事実10から、推論2: "あのライフラインは琉球王府である"が導かれる
4. 推論2と事実5から、推論3: "その春季オープン・カレッジ開講は上昇し易い"が導かれる
5. 推論3と事実12から、推論4: "その最上段は出難いということはないか暑いかまたはどちらもである"が導かれる
6. 推論4と事実1から、推論5: "その最上段は活動し易い"が導かれる
7. 事実2と事実3から、推論6: "その最上段は活動し易くない"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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