「「ＰＲＡでない一方で果てし無いなら散開しない」物はある」ということは間違いである
fact1: 仮にこの不注意はＰＲＡであるしまた果てし無いならば散開しない fact2: 「もし頭痛だということはないがめぼしいならば損益な」ものはある fact3: 仮にこのマルチ商法が果てし無いしその上選挙用ならばそれは何気無いということはない fact4: 仮にこの不注意は損益でないがしかし有限責任会社だとするとＰＲＡでない fact5: 何らかのものが責め苛むということはないがしかしそれが弱々しいとすればそれは渡し場でない fact6: もし仮にこの不注意がＰＲＡでないけどそれが果てし無いとするとそれは散開しない fact7: 「もしＰＲＡでないがしかし果てし無いなら散開する」物はある
fact6 -> hypothesis;
fact6 -> hypothesis;
「もし責め苛まないけど弱々しいとすると渡し場でない」物はある
fact8 -> int1: この僧籍が責め苛まないけれど弱々しいならば渡し場でない; int1 -> hypothesis;
$facts$ = fact1: 仮にこの不注意はＰＲＡであるしまた果てし無いならば散開しない fact2: 「もし頭痛だということはないがめぼしいならば損益な」ものはある fact3: 仮にこのマルチ商法が果てし無いしその上選挙用ならばそれは何気無いということはない fact4: 仮にこの不注意は損益でないがしかし有限責任会社だとするとＰＲＡでない fact5: 何らかのものが責め苛むということはないがしかしそれが弱々しいとすればそれは渡し場でない fact6: もし仮にこの不注意がＰＲＡでないけどそれが果てし無いとするとそれは散開しない fact7: 「もしＰＲＡでないがしかし果てし無いなら散開する」物はある ; $hypothesis$ = 「「ＰＲＡでない一方で果てし無いなら散開しない」物はある」ということは間違いである ; $proof$ = 
fact6 -> hypothesis; __DISPROVED__
事実1: 仮にこの不注意はＰＲＡであるしまた果てし無いならば散開しない
事実2: 「もし頭痛だということはないがめぼしいならば損益な」ものはある
事実3: 仮にこのマルチ商法が果てし無いしその上選挙用ならばそれは何気無いということはない
事実4: 仮にこの不注意は損益でないがしかし有限責任会社だとするとＰＲＡでない
事実5: 何らかのものが責め苛むということはないがしかしそれが弱々しいとすればそれは渡し場でない
事実6: もし仮にこの不注意がＰＲＡでないけどそれが果てし無いとするとそれは散開しない
事実7: 「もしＰＲＡでないがしかし果てし無いなら散開する」物はある

仮説: 「「ＰＲＡでない一方で果てし無いなら散開しない」物はある」ということは間違いである
1. 事実6から、仮説が否定される

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