「「欲しいとしたら抗し難くない」物はある」ということは間違いだ
fact1: あの拡散が欲しいとするとそれは抗し難くない fact2: 「もしも「様良くない」ということは成り立たないなら書き分けない」ものはある fact3: もしあの拡散が欲しいとしたらそれは抗し難い fact4: 欲しい物はファイルシステムでない fact5: もしあの拡散が欲しいならばＲＦでない fact6: この予約承継は御酒ならば「支払い不能でない」ということは確かだ fact7: あのココが溶け難いならば欲しかない fact8: 「もし欲しいならば抗し難い」物はある fact9: もしもあの拡散が利き難いとするとそれは発生し易くない fact10: もしもあの拡散が欲しいとすると創発しない
fact1 -> hypothesis;
もしもあの拡散が欲しいならばファイルシステムでない
fact11 -> hypothesis;
$facts$ = fact1: あの拡散が欲しいとするとそれは抗し難くない fact2: 「もしも「様良くない」ということは成り立たないなら書き分けない」ものはある fact3: もしあの拡散が欲しいとしたらそれは抗し難い fact4: 欲しい物はファイルシステムでない fact5: もしあの拡散が欲しいならばＲＦでない fact6: この予約承継は御酒ならば「支払い不能でない」ということは確かだ fact7: あのココが溶け難いならば欲しかない fact8: 「もし欲しいならば抗し難い」物はある fact9: もしもあの拡散が利き難いとするとそれは発生し易くない fact10: もしもあの拡散が欲しいとすると創発しない ; $hypothesis$ = 「「欲しいとしたら抗し難くない」物はある」ということは間違いだ ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: あの拡散が欲しいとするとそれは抗し難くない
事実2: 「もしも「様良くない」ということは成り立たないなら書き分けない」ものはある
事実3: もしあの拡散が欲しいとしたらそれは抗し難い
事実4: 欲しい物はファイルシステムでない
事実5: もしあの拡散が欲しいならばＲＦでない
事実6: この予約承継は御酒ならば「支払い不能でない」ということは確かだ
事実7: あのココが溶け難いならば欲しかない
事実8: 「もし欲しいならば抗し難い」物はある
事実9: もしもあの拡散が利き難いとするとそれは発生し易くない
事実10: もしもあの拡散が欲しいとすると創発しない

仮説: 「「欲しいとしたら抗し難くない」物はある」ということは間違いだ
1. 事実1から、仮説が否定される

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