このナイロンロープは人懐こい
fact1: 「あのアマリリスは人懐こくないがしかし嬉しがる」ということは成り立つということはない fact2: 「あのアマリリスは嬉しがらないがしかし変身出来る」ということは成り立たない fact3: 「この喉奥は誤解するということはないが開陳する」ということは間違いである fact4: 仮になんらかのものが挑戦すとするとこの喉奥は寄寓するしさらに掛かり易い fact5: 仮にあのアマリリスは変身出来ないとしたら「このナイロンロープは成り易くないけれど嬉しがる」ということは間違いである fact6: 仮にあのアマリリスが人懐こいならこの商法改正は成り易い fact7: なにがしかのものは挑戦す fact8: 「この喉奥は開陳するということはないがそれは誤解する」ということは成り立たない fact9: 「もしも「あのアマリリスは開陳しないがしかし人懐こい」ということは成り立たないならばあのナイロンロープは変身出来ない」ということは確かである fact10: 仮に何かは誤解するなら開陳する fact11: もしもあのアマリリスが開陳しないとすればあのナイロンロープは人懐こい fact12: 「このナイロンロープは変身出来ないが成り易い」ということは成り立つということはない fact13: もしこの喉奥は誤解するということはないとすると「このナイロンロープは開陳しないけど成り易い」ということは成り立たない fact14: 掛かり易い物は考察する fact15: 「このナイロンロープは開陳しないけど成り易い」ということは事実と異なるとしたら人懐こくない fact16: この喉奥は変身出来ない fact17: 「あのアマリリスは嬉しがるし更にそれは変身出来る」ということは本当でない fact18: もしもなんらかの物は開陳するとすると「財政保障でないし参加し易い」ということは成り立たない fact19: あのアマリリスは嬉しがるとすると「この喉奥は誤解しない」ということは成り立つ fact20: もしも「「あのアマリリスは嬉しがらないけど変身出来る」ということは成り立たない」ということは成り立つならばあの喉奥は誤解しない fact21: もしこのナイロンロープが成り易くないとしたらそれは人懐こくない fact22: このナイロンロープは有性生殖しない fact23: この喉奥が考察するとしたらあのアマリリスは人懐こい fact24: 「このナイロンロープは嬉しがらないけど人懐こい」ということは間違いだ
fact20 & fact2 -> int1: この喉奥は誤解するということはない; int1 & fact13 -> int2: 「このナイロンロープは開陳しないが成り易い」ということは成り立たない; int2 & fact15 -> hypothesis;
「この商法改正は財政保障でないけれどそれは参加し易い」ということは誤っている
fact31 -> int3: もし仮にこの商法改正は開陳するとすれば「それは財政保障でない一方で参加し易い」ということは正しくない; fact27 -> int4: もし「この商法改正は誤解する」ということは成り立つとするとそれは開陳する; fact30 -> int5: もし仮にこの喉奥が掛かり易いとすると考察する; fact26 & fact28 -> int6: 「この喉奥は寄寓するし加えてそれは掛かり易い」ということは事実である; int6 -> int7: この喉奥は掛かり易い; int5 & int7 -> int8: この喉奥は考察する; fact25 & int8 -> int9: あのアマリリスは人懐こい; fact29 & int9 -> int10: 「この商法改正は成り易いということはない」ということは成り立たない;
$facts$ = fact1: 「あのアマリリスは人懐こくないがしかし嬉しがる」ということは成り立つということはない fact2: 「あのアマリリスは嬉しがらないがしかし変身出来る」ということは成り立たない fact3: 「この喉奥は誤解するということはないが開陳する」ということは間違いである fact4: 仮になんらかのものが挑戦すとするとこの喉奥は寄寓するしさらに掛かり易い fact5: 仮にあのアマリリスは変身出来ないとしたら「このナイロンロープは成り易くないけれど嬉しがる」ということは間違いである fact6: 仮にあのアマリリスが人懐こいならこの商法改正は成り易い fact7: なにがしかのものは挑戦す fact8: 「この喉奥は開陳するということはないがそれは誤解する」ということは成り立たない fact9: 「もしも「あのアマリリスは開陳しないがしかし人懐こい」ということは成り立たないならばあのナイロンロープは変身出来ない」ということは確かである fact10: 仮に何かは誤解するなら開陳する fact11: もしもあのアマリリスが開陳しないとすればあのナイロンロープは人懐こい fact12: 「このナイロンロープは変身出来ないが成り易い」ということは成り立つということはない fact13: もしこの喉奥は誤解するということはないとすると「このナイロンロープは開陳しないけど成り易い」ということは成り立たない fact14: 掛かり易い物は考察する fact15: 「このナイロンロープは開陳しないけど成り易い」ということは事実と異なるとしたら人懐こくない fact16: この喉奥は変身出来ない fact17: 「あのアマリリスは嬉しがるし更にそれは変身出来る」ということは本当でない fact18: もしもなんらかの物は開陳するとすると「財政保障でないし参加し易い」ということは成り立たない fact19: あのアマリリスは嬉しがるとすると「この喉奥は誤解しない」ということは成り立つ fact20: もしも「「あのアマリリスは嬉しがらないけど変身出来る」ということは成り立たない」ということは成り立つならばあの喉奥は誤解しない fact21: もしこのナイロンロープが成り易くないとしたらそれは人懐こくない fact22: このナイロンロープは有性生殖しない fact23: この喉奥が考察するとしたらあのアマリリスは人懐こい fact24: 「このナイロンロープは嬉しがらないけど人懐こい」ということは間違いだ ; $hypothesis$ = このナイロンロープは人懐こい ; $proof$ = 
fact20 & fact2 -> int1: この喉奥は誤解するということはない; int1 & fact13 -> int2: 「このナイロンロープは開陳しないが成り易い」ということは成り立たない; int2 & fact15 -> hypothesis; __DISPROVED__
事実1: 「あのアマリリスは人懐こくないがしかし嬉しがる」ということは成り立つということはない
事実2: 「あのアマリリスは嬉しがらないがしかし変身出来る」ということは成り立たない
事実3: 「この喉奥は誤解するということはないが開陳する」ということは間違いである
事実4: 仮になんらかのものが挑戦すとするとこの喉奥は寄寓するしさらに掛かり易い
事実5: 仮にあのアマリリスは変身出来ないとしたら「このナイロンロープは成り易くないけれど嬉しがる」ということは間違いである
事実6: 仮にあのアマリリスが人懐こいならこの商法改正は成り易い
事実7: なにがしかのものは挑戦す
事実8: 「この喉奥は開陳するということはないがそれは誤解する」ということは成り立たない
事実9: 「もしも「あのアマリリスは開陳しないがしかし人懐こい」ということは成り立たないならばあのナイロンロープは変身出来ない」ということは確かである
事実10: 仮に何かは誤解するなら開陳する
事実11: もしもあのアマリリスが開陳しないとすればあのナイロンロープは人懐こい
事実12: 「このナイロンロープは変身出来ないが成り易い」ということは成り立つということはない
事実13: もしこの喉奥は誤解するということはないとすると「このナイロンロープは開陳しないけど成り易い」ということは成り立たない
事実14: 掛かり易い物は考察する
事実15: 「このナイロンロープは開陳しないけど成り易い」ということは事実と異なるとしたら人懐こくない
事実16: この喉奥は変身出来ない
事実17: 「あのアマリリスは嬉しがるし更にそれは変身出来る」ということは本当でない
事実18: もしもなんらかの物は開陳するとすると「財政保障でないし参加し易い」ということは成り立たない
事実19: あのアマリリスは嬉しがるとすると「この喉奥は誤解しない」ということは成り立つ
事実20: もしも「「あのアマリリスは嬉しがらないけど変身出来る」ということは成り立たない」ということは成り立つならばあの喉奥は誤解しない
事実21: もしこのナイロンロープが成り易くないとしたらそれは人懐こくない
事実22: このナイロンロープは有性生殖しない
事実23: この喉奥が考察するとしたらあのアマリリスは人懐こい
事実24: 「このナイロンロープは嬉しがらないけど人懐こい」ということは間違いだ

仮説: このナイロンロープは人懐こい
1. 事実20と事実2から、推論1: "この喉奥は誤解するということはない"が導かれる
2. 推論1と事実13から、推論2: "「このナイロンロープは開陳しないが成り易い」ということは成り立たない"が導かれる
3. 推論2と事実15から、仮説が否定される

よって、仮説が否定されました。