あの気分障害は御構い無い
fact1: その前掲書参照は御構い無くない fact2: 仮に「何かは確認し易い一方で御構い無いということはない」ということは間違いだとするとそれは御構い無い fact3: 仮にあの気分障害が荒いが大量殺人でないならばその前掲書参照は御構い無くない fact4: その前掲書参照は甲高いが依代でない fact5: その前掲書参照はダミー会社でない fact6: その前掲書参照が荒い大量殺人であるならあの気分障害は御構い無くない fact7: 「極まり悪い」ものはある fact8: その前掲書参照は荒い一方で大量殺人でない fact9: 仮にその前掲書参照が荒い一方で大量殺人だということはないならあの気分障害は御構い無くない fact10: 仮にあの気分障害が大量殺人だけれどそれが御構い無くないとしたらその前掲書参照は荒くない fact11: あの気分障害は荒い一方でそれは予習しない fact12: その前掲書参照は大量殺人でない
fact9 & fact8 -> hypothesis;
fact9 & fact8 -> hypothesis;
あの気分障害は御構い無い
fact13 -> int1: 仮に「あの気分障害は確認し易いけれどそれは御構い無くない」ということは間違っているとすればそれは御構い無い;
$facts$ = fact1: その前掲書参照は御構い無くない fact2: 仮に「何かは確認し易い一方で御構い無いということはない」ということは間違いだとするとそれは御構い無い fact3: 仮にあの気分障害が荒いが大量殺人でないならばその前掲書参照は御構い無くない fact4: その前掲書参照は甲高いが依代でない fact5: その前掲書参照はダミー会社でない fact6: その前掲書参照が荒い大量殺人であるならあの気分障害は御構い無くない fact7: 「極まり悪い」ものはある fact8: その前掲書参照は荒い一方で大量殺人でない fact9: 仮にその前掲書参照が荒い一方で大量殺人だということはないならあの気分障害は御構い無くない fact10: 仮にあの気分障害が大量殺人だけれどそれが御構い無くないとしたらその前掲書参照は荒くない fact11: あの気分障害は荒い一方でそれは予習しない fact12: その前掲書参照は大量殺人でない ; $hypothesis$ = あの気分障害は御構い無い ; $proof$ = 
fact9 & fact8 -> hypothesis; __DISPROVED__
事実1: その前掲書参照は御構い無くない
事実2: 仮に「何かは確認し易い一方で御構い無いということはない」ということは間違いだとするとそれは御構い無い
事実3: 仮にあの気分障害が荒いが大量殺人でないならばその前掲書参照は御構い無くない
事実4: その前掲書参照は甲高いが依代でない
事実5: その前掲書参照はダミー会社でない
事実6: その前掲書参照が荒い大量殺人であるならあの気分障害は御構い無くない
事実7: 「極まり悪い」ものはある
事実8: その前掲書参照は荒い一方で大量殺人でない
事実9: 仮にその前掲書参照が荒い一方で大量殺人だということはないならあの気分障害は御構い無くない
事実10: 仮にあの気分障害が大量殺人だけれどそれが御構い無くないとしたらその前掲書参照は荒くない
事実11: あの気分障害は荒い一方でそれは予習しない
事実12: その前掲書参照は大量殺人でない

仮説: あの気分障害は御構い無い
1. 事実9と事実8から、仮説が否定される

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