「「その硫酸モルヒネは乗るということはないしまたそれはしつっこくない」ということは誤りである」ということは本当だ
fact1: もし仮にその硫酸モルヒネが乗るとしたらそれは物らしい fact2: その硫酸モルヒネは引っ下げる fact3: もしその硫酸モルヒネは物らしいし当該業務であるとするとそれは引っ下げない fact4: その嫌悪顔は上下するし加えて引っ下げる fact5: 「その硫酸モルヒネは当該業務である」ということは正しい fact6: 「仮にその花首がどす黒いしまたそれは国政選挙であるならば「その花首は保ち易いということはない」ということは事実だ」ということは真実だ fact7: その硫酸モルヒネはしつっこくない fact8: もし「その硫酸モルヒネは軽しない」ということは事実と異なるとしたらそれは乗る fact9: もし仮に「その二千年現在は物らしい」ということは事実であるならば「その硫酸モルヒネは乗らないししつっこくない」ということは事実でない
void -> assump1: 以下のように仮定する。その硫酸モルヒネは乗る; fact1 & assump1 -> int1: その硫酸モルヒネは物らしい; int1 & fact5 -> int2: その硫酸モルヒネは物らしいしかつそれは当該業務である; int2 & fact3 -> int3: 「その硫酸モルヒネは引っ下げない」ということは事実である; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その硫酸モルヒネは乗らない; int5 & fact7 -> hypothesis;
「その嫌悪顔は上下するし乗る」ということは本当だ
fact10 -> int6: その嫌悪顔は上下する;
$facts$ = fact1: もし仮にその硫酸モルヒネが乗るとしたらそれは物らしい fact2: その硫酸モルヒネは引っ下げる fact3: もしその硫酸モルヒネは物らしいし当該業務であるとするとそれは引っ下げない fact4: その嫌悪顔は上下するし加えて引っ下げる fact5: 「その硫酸モルヒネは当該業務である」ということは正しい fact6: 「仮にその花首がどす黒いしまたそれは国政選挙であるならば「その花首は保ち易いということはない」ということは事実だ」ということは真実だ fact7: その硫酸モルヒネはしつっこくない fact8: もし「その硫酸モルヒネは軽しない」ということは事実と異なるとしたらそれは乗る fact9: もし仮に「その二千年現在は物らしい」ということは事実であるならば「その硫酸モルヒネは乗らないししつっこくない」ということは事実でない ; $hypothesis$ = 「「その硫酸モルヒネは乗るということはないしまたそれはしつっこくない」ということは誤りである」ということは本当だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その硫酸モルヒネは乗る; fact1 & assump1 -> int1: その硫酸モルヒネは物らしい; int1 & fact5 -> int2: その硫酸モルヒネは物らしいしかつそれは当該業務である; int2 & fact3 -> int3: 「その硫酸モルヒネは引っ下げない」ということは事実である; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その硫酸モルヒネは乗らない; int5 & fact7 -> hypothesis; __DISPROVED__
事実1: もし仮にその硫酸モルヒネが乗るとしたらそれは物らしい
事実2: その硫酸モルヒネは引っ下げる
事実3: もしその硫酸モルヒネは物らしいし当該業務であるとするとそれは引っ下げない
事実4: その嫌悪顔は上下するし加えて引っ下げる
事実5: 「その硫酸モルヒネは当該業務である」ということは正しい
事実6: 「仮にその花首がどす黒いしまたそれは国政選挙であるならば「その花首は保ち易いということはない」ということは事実だ」ということは真実だ
事実7: その硫酸モルヒネはしつっこくない
事実8: もし「その硫酸モルヒネは軽しない」ということは事実と異なるとしたらそれは乗る
事実9: もし仮に「その二千年現在は物らしい」ということは事実であるならば「その硫酸モルヒネは乗らないししつっこくない」ということは事実でない

仮説: 「「その硫酸モルヒネは乗るということはないしまたそれはしつっこくない」ということは誤りである」ということは本当だ
1. 仮定1: 以下のように仮定する。その硫酸モルヒネは乗る
2. 事実1と仮定1から、推論1: "その硫酸モルヒネは物らしい"が導かれる
3. 推論1と事実5から、推論2: "その硫酸モルヒネは物らしいしかつそれは当該業務である"が導かれる
4. 推論2と事実3から、推論3: "「その硫酸モルヒネは引っ下げない」ということは事実である"が導かれる
5. 推論3と事実2から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その硫酸モルヒネは乗らない"が導かれる
7. 推論5と事実7から、仮説が否定される

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