あの福島事件は映り込まない
fact1: もし仮にその王政が幼しとするとあの福島事件は育て易い fact2: その王政は幼し fact3: 仮にあの福島事件は洗い清めないなら「それは映り込まない」ということは偽である fact4: その視野欠損は出易い fact5: 仮にあの福島事件が洗い清めるし育て易いとするとその視野欠損は出易くない
fact1 & fact2 -> int1: あの福島事件は育て易い; void -> assump1: 以下のように仮定する。あの福島事件は洗い清める; int1 & assump1 -> int2: あの福島事件は洗い清めるし育て易い; int2 & fact5 -> int3: その視野欠損は出易くない; int3 & fact4 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの福島事件は洗い清めない; int5 & fact3 -> hypothesis;
$facts$ = fact1: もし仮にその王政が幼しとするとあの福島事件は育て易い fact2: その王政は幼し fact3: 仮にあの福島事件は洗い清めないなら「それは映り込まない」ということは偽である fact4: その視野欠損は出易い fact5: 仮にあの福島事件が洗い清めるし育て易いとするとその視野欠損は出易くない ; $hypothesis$ = あの福島事件は映り込まない ; $proof$ = 
fact1 & fact2 -> int1: あの福島事件は育て易い; void -> assump1: 以下のように仮定する。あの福島事件は洗い清める; int1 & assump1 -> int2: あの福島事件は洗い清めるし育て易い; int2 & fact5 -> int3: その視野欠損は出易くない; int3 & fact4 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの福島事件は洗い清めない; int5 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮にその王政が幼しとするとあの福島事件は育て易い
事実2: その王政は幼し
事実3: 仮にあの福島事件は洗い清めないなら「それは映り込まない」ということは偽である
事実4: その視野欠損は出易い
事実5: 仮にあの福島事件が洗い清めるし育て易いとするとその視野欠損は出易くない

仮説: あの福島事件は映り込まない
1. 事実1と事実2から、推論1: "あの福島事件は育て易い"が導かれる
2. 仮定1: 以下のように仮定する。あの福島事件は洗い清める
3. 推論1と仮定1から、推論2: "あの福島事件は洗い清めるし育て易い"が導かれる
4. 推論2と事実5から、推論3: "その視野欠損は出易くない"が導かれる
5. 推論3と事実4から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの福島事件は洗い清めない"が導かれる
7. 推論5と事実3から、仮説が否定される

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