この収益状態は危うい
fact1: 危うい物は清々しいけどあどけなくない fact2: この収益状態が清々しい一方であどけなくないとするとそれは御尋ねしない fact3: その評価基準日は御尋ねする fact4: もしもこの楕円銀河はコップ酒なら「狂気でない」ということは正しい fact5: この収益状態は御尋ねする
fact1 -> int1: もし仮にこの収益状態が危ういならばそれは清々しいがあどけなくない; void -> assump1: 以下のように仮定する。この収益状態は危うい; int1 & assump1 -> int2: この収益状態は清々しい一方であどけなくない; int2 & fact2 -> int3: この収益状態は御尋ねするということはない; int3 & fact5 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 危うい物は清々しいけどあどけなくない fact2: この収益状態が清々しい一方であどけなくないとするとそれは御尋ねしない fact3: その評価基準日は御尋ねする fact4: もしもこの楕円銀河はコップ酒なら「狂気でない」ということは正しい fact5: この収益状態は御尋ねする ; $hypothesis$ = この収益状態は危うい ; $proof$ = 
fact1 -> int1: もし仮にこの収益状態が危ういならばそれは清々しいがあどけなくない; void -> assump1: 以下のように仮定する。この収益状態は危うい; int1 & assump1 -> int2: この収益状態は清々しい一方であどけなくない; int2 & fact2 -> int3: この収益状態は御尋ねするということはない; int3 & fact5 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: 危うい物は清々しいけどあどけなくない
事実2: この収益状態が清々しい一方であどけなくないとするとそれは御尋ねしない
事実3: その評価基準日は御尋ねする
事実4: もしもこの楕円銀河はコップ酒なら「狂気でない」ということは正しい
事実5: この収益状態は御尋ねする

仮説: この収益状態は危うい
1. 事実1から、推論1: "もし仮にこの収益状態が危ういならばそれは清々しいがあどけなくない"が導かれる
2. 仮定1: 以下のように仮定する。この収益状態は危うい
3. 推論1と仮定1から、推論2: "この収益状態は清々しい一方であどけなくない"が導かれる
4. 推論2と事実2から、推論3: "この収益状態は御尋ねするということはない"が導かれる
5. 推論3と事実5から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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