この賓客関係は断り難くないかあるいはえげつなくないかもしくは両方だ
fact1: この農学は贈与契約書であるということはない fact2: 「この農学は贈与契約書でなくてそれは追及出来ない」ということは事実と異なる fact3: 仮にそのＵＮＩＸが移り易いししかもそれが折るとすればこの賓客関係は断り難くない fact4: この行動呈示は折る fact5: この農学が移り易いならばそのＵＮＩＸは贈与契約書である fact6: もしも「この農学は追及出来る」ということは正しいとすればそのＵＮＩＸは移り易い fact7: そのＵＮＩＸは折る fact8: もしも「あるものは贈与契約書であるしその上追及出来る」ということは成り立つということはないならば断り難くない fact9: もし仮になんらかの物は移り易くないならば「「贈与契約書でそれに追及出来る」ということは成り立つ」ということは成り立たない fact10: この賓客関係は贈与契約書であるなら「断り難いということはないかまたはそれはえげつなくないかあるいはどちらもだ」ということは成り立たない fact11: この時系列分析は加飾塗装でなくて追及出来るということはない
void -> assump1: 以下のように仮定する。この農学は追及出来るということはない; fact1 & assump1 -> int1: この農学は贈与契約書でないし追及出来ない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: この農学は追及出来る; int3 & fact6 -> int4: そのＵＮＩＸは移り易い; int4 & fact7 -> int5: そのＵＮＩＸは移り易いしそれは折る; int5 & fact3 -> int6: この賓客関係は断り難くない; int6 -> hypothesis;
この農学は断り難くない
fact13 -> int7: もしも「この農学が贈与契約書だしさらに追及出来る」ということは嘘であるならば断り難くない; fact12 -> int8: もしもこの農学は移り易くないとすると「それが贈与契約書だしさらにそれは追及出来る」ということは成り立たない;
$facts$ = fact1: この農学は贈与契約書であるということはない fact2: 「この農学は贈与契約書でなくてそれは追及出来ない」ということは事実と異なる fact3: 仮にそのＵＮＩＸが移り易いししかもそれが折るとすればこの賓客関係は断り難くない fact4: この行動呈示は折る fact5: この農学が移り易いならばそのＵＮＩＸは贈与契約書である fact6: もしも「この農学は追及出来る」ということは正しいとすればそのＵＮＩＸは移り易い fact7: そのＵＮＩＸは折る fact8: もしも「あるものは贈与契約書であるしその上追及出来る」ということは成り立つということはないならば断り難くない fact9: もし仮になんらかの物は移り易くないならば「「贈与契約書でそれに追及出来る」ということは成り立つ」ということは成り立たない fact10: この賓客関係は贈与契約書であるなら「断り難いということはないかまたはそれはえげつなくないかあるいはどちらもだ」ということは成り立たない fact11: この時系列分析は加飾塗装でなくて追及出来るということはない ; $hypothesis$ = この賓客関係は断り難くないかあるいはえげつなくないかもしくは両方だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この農学は追及出来るということはない; fact1 & assump1 -> int1: この農学は贈与契約書でないし追及出来ない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: この農学は追及出来る; int3 & fact6 -> int4: そのＵＮＩＸは移り易い; int4 & fact7 -> int5: そのＵＮＩＸは移り易いしそれは折る; int5 & fact3 -> int6: この賓客関係は断り難くない; int6 -> hypothesis; __PROVED__
事実1: この農学は贈与契約書であるということはない
事実2: 「この農学は贈与契約書でなくてそれは追及出来ない」ということは事実と異なる
事実3: 仮にそのＵＮＩＸが移り易いししかもそれが折るとすればこの賓客関係は断り難くない
事実4: この行動呈示は折る
事実5: この農学が移り易いならばそのＵＮＩＸは贈与契約書である
事実6: もしも「この農学は追及出来る」ということは正しいとすればそのＵＮＩＸは移り易い
事実7: そのＵＮＩＸは折る
事実8: もしも「あるものは贈与契約書であるしその上追及出来る」ということは成り立つということはないならば断り難くない
事実9: もし仮になんらかの物は移り易くないならば「「贈与契約書でそれに追及出来る」ということは成り立つ」ということは成り立たない
事実10: この賓客関係は贈与契約書であるなら「断り難いということはないかまたはそれはえげつなくないかあるいはどちらもだ」ということは成り立たない
事実11: この時系列分析は加飾塗装でなくて追及出来るということはない

仮説: この賓客関係は断り難くないかあるいはえげつなくないかもしくは両方だ
1. 仮定1: 以下のように仮定する。この農学は追及出来るということはない
2. 事実1と仮定1から、推論1: "この農学は贈与契約書でないし追及出来ない"が導かれる
3. 推論1と事実2から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "この農学は追及出来る"が導かれる
5. 推論3と事実6から、推論4: "そのＵＮＩＸは移り易い"が導かれる
6. 推論4と事実7から、推論5: "そのＵＮＩＸは移り易いしそれは折る"が導かれる
7. 推論5と事実3から、推論6: "この賓客関係は断り難くない"が導かれる
8. 推論6から、仮説が導かれる

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