このカナダ国旗は受け辛い
fact1: 仮に何かは無毒化するしそれは行うならそれは加筆・修正でない fact2: このカナダ国旗は無毒化するしかつ留意す fact3: もしも何らかのものは行うないとすれば「それは受け辛いということはない」ということは確かだ fact4: このカナダ国旗は加筆・修正だ fact5: もし仮に再生産過程が既習ならそれは嘘っぽくない fact6: このワールドコムは極値法であるし受け辛い
fact2 -> int1: 「このカナダ国旗は無毒化しない」ということは偽だ; void -> assump1: 以下のように仮定する。このカナダ国旗は行う; int1 & assump1 -> int2: 「このカナダ国旗は無毒化するし行う」ということは真実である; fact1 -> int3: 仮にこのカナダ国旗は無毒化するしまたそれは行うとすれば加筆・修正でない; int2 & int3 -> int4: このカナダ国旗は加筆・修正でない; int4 & fact4 -> int5: これは矛盾である; [assump1] & int5 -> int6: このカナダ国旗は行わない; fact3 -> int7: 仮にこのカナダ国旗が行わないとすればそれは受け辛くない; int6 & int7 -> hypothesis;
$facts$ = fact1: 仮に何かは無毒化するしそれは行うならそれは加筆・修正でない fact2: このカナダ国旗は無毒化するしかつ留意す fact3: もしも何らかのものは行うないとすれば「それは受け辛いということはない」ということは確かだ fact4: このカナダ国旗は加筆・修正だ fact5: もし仮に再生産過程が既習ならそれは嘘っぽくない fact6: このワールドコムは極値法であるし受け辛い ; $hypothesis$ = このカナダ国旗は受け辛い ; $proof$ = 
fact2 -> int1: 「このカナダ国旗は無毒化しない」ということは偽だ; void -> assump1: 以下のように仮定する。このカナダ国旗は行う; int1 & assump1 -> int2: 「このカナダ国旗は無毒化するし行う」ということは真実である; fact1 -> int3: 仮にこのカナダ国旗は無毒化するしまたそれは行うとすれば加筆・修正でない; int2 & int3 -> int4: このカナダ国旗は加筆・修正でない; int4 & fact4 -> int5: これは矛盾である; [assump1] & int5 -> int6: このカナダ国旗は行わない; fact3 -> int7: 仮にこのカナダ国旗が行わないとすればそれは受け辛くない; int6 & int7 -> hypothesis; __DISPROVED__
事実1: 仮に何かは無毒化するしそれは行うならそれは加筆・修正でない
事実2: このカナダ国旗は無毒化するしかつ留意す
事実3: もしも何らかのものは行うないとすれば「それは受け辛いということはない」ということは確かだ
事実4: このカナダ国旗は加筆・修正だ
事実5: もし仮に再生産過程が既習ならそれは嘘っぽくない
事実6: このワールドコムは極値法であるし受け辛い

仮説: このカナダ国旗は受け辛い
1. 事実2から、推論1: "「このカナダ国旗は無毒化しない」ということは偽だ"が導かれる
2. 仮定1: 以下のように仮定する。このカナダ国旗は行う
3. 推論1と仮定1から、推論2: "「このカナダ国旗は無毒化するし行う」ということは真実である"が導かれる
4. 事実1から、推論3: "仮にこのカナダ国旗は無毒化するしまたそれは行うとすれば加筆・修正でない"が導かれる
5. 推論2と推論3から、推論4: "このカナダ国旗は加筆・修正でない"が導かれる
6. 推論4と事実4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "このカナダ国旗は行わない"が導かれる
8. 事実3から、推論7: "仮にこのカナダ国旗が行わないとすればそれは受け辛くない"が導かれる
9. 推論6と推論7から、仮説が否定される

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