この薬識は掻き直すしそれはパッセイジだ
fact1: もし仮になんらかの物は請け負えば「それはたどたどしい」ということは正しい fact2: もし仮にあるものは思い出深いならば「それは掻き直さないしパッセイジでない」ということは誤りである fact3: もし「何かは要しないかあるいはそれは関連付けないかもしくは両方だ」ということは偽だとすればそれはパッセイジだ fact4: 黒っぽいものは錆無い fact5: この薬識は関連付ける fact6: あの電源コードは黒っぽくない fact7: あの長期的動向がたどたどしいし底堅いならばあの利用権はたどたどしいということはない fact8: もしもあの長期的動向が打ち易くないとしたらそれは底堅くてまた青い fact9: この薬識は断れる fact10: もしあの内的可能性は断れるとすると「あの電源コードは錆無いがしかし思い出深くない」ということは偽だ fact11: なにかは黒っぽくないとしたら「掻き直すしパッセイジである」ということは成り立たない fact12: 仮にあの利用権がたどたどしいということはないとするとあの内的可能性は断れる fact13: 甘酸っぱい物はたどたどしい fact14: もしもなにがしかのものが断れないとしたらそれはたどたどしいか思い出深い fact15: もしこの薬識は断れるなら「「それは錆無くなくて思い出深くない」ということは真実である」ということは誤りである fact16: もし仮に「何かは錆無くなくて加えてそれは思い出深くない」ということは誤っていればそれは掻き直す fact17: もし仮に「あの電源コードは黒っぽくない」ということは正しいならば「この薬識は要するということはないかもしくはそれは関連付けない」ということは成り立つということはない fact18: もしもあの内的可能性が請け負うとすれば断れない fact19: あの長期的動向は甘酸っぱいかあるいはそれは請け負うかまたは両方である
fact17 & fact6 -> int1: 「この薬識は要しないかまたは関連付けないかもしくはどちらもである」ということは間違っている; fact3 -> int2: 「もし「この薬識は要しないかまたは関連付けないかもしくは両方である」ということは偽ならば「この薬識はパッセイジだ」ということは間違っていない」ということは間違っていない; int1 & int2 -> int3: この薬識はパッセイジである; fact15 & fact9 -> int4: 「この薬識は錆無くなくて思い出深くない」ということは嘘である; fact16 -> int5: 「この薬識は錆無いということはないしその上思い出深くない」ということは間違いであるならばそれは掻き直す; int4 & int5 -> int6: 「この薬識は掻き直す」ということは真実だ; int3 & int6 -> hypothesis;
fact17 & fact6 -> int1: ¬(¬{AA}{b} v ¬{AB}{b}); fact3 -> int2: ¬(¬{AA}{b} v ¬{AB}{b}) -> {B}{b}; int1 & int2 -> int3: {B}{b}; fact15 & fact9 -> int4: ¬(¬{D}{b} & ¬{E}{b}); fact16 -> int5: ¬(¬{D}{b} & ¬{E}{b}) -> {C}{b}; int4 & int5 -> int6: {C}{b}; int3 & int6 -> hypothesis;
「この薬識は掻き直すし更にパッセイジだ」ということは誤りだ
fact23 -> int7: この薬識は黒っぽくないなら「「それは掻き直すししかもパッセイジだ」ということは正しい」ということは事実と異なる; fact26 -> int8: もしもあの長期的動向が甘酸っぱいならばたどたどしい; fact27 -> int9: もしもあの長期的動向が請け負えばたどたどしい; fact21 & int8 & int9 -> int10: あの長期的動向はたどたどしい;
$facts$ = fact1: もし仮になんらかの物は請け負えば「それはたどたどしい」ということは正しい fact2: もし仮にあるものは思い出深いならば「それは掻き直さないしパッセイジでない」ということは誤りである fact3: もし「何かは要しないかあるいはそれは関連付けないかもしくは両方だ」ということは偽だとすればそれはパッセイジだ fact4: 黒っぽいものは錆無い fact5: この薬識は関連付ける fact6: あの電源コードは黒っぽくない fact7: あの長期的動向がたどたどしいし底堅いならばあの利用権はたどたどしいということはない fact8: もしもあの長期的動向が打ち易くないとしたらそれは底堅くてまた青い fact9: この薬識は断れる fact10: もしあの内的可能性は断れるとすると「あの電源コードは錆無いがしかし思い出深くない」ということは偽だ fact11: なにかは黒っぽくないとしたら「掻き直すしパッセイジである」ということは成り立たない fact12: 仮にあの利用権がたどたどしいということはないとするとあの内的可能性は断れる fact13: 甘酸っぱい物はたどたどしい fact14: もしもなにがしかのものが断れないとしたらそれはたどたどしいか思い出深い fact15: もしこの薬識は断れるなら「「それは錆無くなくて思い出深くない」ということは真実である」ということは誤りである fact16: もし仮に「何かは錆無くなくて加えてそれは思い出深くない」ということは誤っていればそれは掻き直す fact17: もし仮に「あの電源コードは黒っぽくない」ということは正しいならば「この薬識は要するということはないかもしくはそれは関連付けない」ということは成り立つということはない fact18: もしもあの内的可能性が請け負うとすれば断れない fact19: あの長期的動向は甘酸っぱいかあるいはそれは請け負うかまたは両方である ; $hypothesis$ = この薬識は掻き直すしそれはパッセイジだ ; $proof$ = 
fact17 & fact6 -> int1: 「この薬識は要しないかまたは関連付けないかもしくはどちらもである」ということは間違っている; fact3 -> int2: 「もし「この薬識は要しないかまたは関連付けないかもしくは両方である」ということは偽ならば「この薬識はパッセイジだ」ということは間違っていない」ということは間違っていない; int1 & int2 -> int3: この薬識はパッセイジである; fact15 & fact9 -> int4: 「この薬識は錆無くなくて思い出深くない」ということは嘘である; fact16 -> int5: 「この薬識は錆無いということはないしその上思い出深くない」ということは間違いであるならばそれは掻き直す; int4 & int5 -> int6: 「この薬識は掻き直す」ということは真実だ; int3 & int6 -> hypothesis; __PROVED__
事実1: もし仮になんらかの物は請け負えば「それはたどたどしい」ということは正しい
事実2: もし仮にあるものは思い出深いならば「それは掻き直さないしパッセイジでない」ということは誤りである
事実3: もし「何かは要しないかあるいはそれは関連付けないかもしくは両方だ」ということは偽だとすればそれはパッセイジだ
事実4: 黒っぽいものは錆無い
事実5: この薬識は関連付ける
事実6: あの電源コードは黒っぽくない
事実7: あの長期的動向がたどたどしいし底堅いならばあの利用権はたどたどしいということはない
事実8: もしもあの長期的動向が打ち易くないとしたらそれは底堅くてまた青い
事実9: この薬識は断れる
事実10: もしあの内的可能性は断れるとすると「あの電源コードは錆無いがしかし思い出深くない」ということは偽だ
事実11: なにかは黒っぽくないとしたら「掻き直すしパッセイジである」ということは成り立たない
事実12: 仮にあの利用権がたどたどしいということはないとするとあの内的可能性は断れる
事実13: 甘酸っぱい物はたどたどしい
事実14: もしもなにがしかのものが断れないとしたらそれはたどたどしいか思い出深い
事実15: もしこの薬識は断れるなら「「それは錆無くなくて思い出深くない」ということは真実である」ということは誤りである
事実16: もし仮に「何かは錆無くなくて加えてそれは思い出深くない」ということは誤っていればそれは掻き直す
事実17: もし仮に「あの電源コードは黒っぽくない」ということは正しいならば「この薬識は要するということはないかもしくはそれは関連付けない」ということは成り立つということはない
事実18: もしもあの内的可能性が請け負うとすれば断れない
事実19: あの長期的動向は甘酸っぱいかあるいはそれは請け負うかまたは両方である

仮説: この薬識は掻き直すしそれはパッセイジだ
1. 事実17と事実6から、推論1: "「この薬識は要しないかまたは関連付けないかもしくはどちらもである」ということは間違っている"が導かれる
2. 事実3から、推論2: "「もし「この薬識は要しないかまたは関連付けないかもしくは両方である」ということは偽ならば「この薬識はパッセイジだ」ということは間違っていない」ということは間違っていない"が導かれる
3. 推論1と推論2から、推論3: "この薬識はパッセイジである"が導かれる
4. 事実15と事実9から、推論4: "「この薬識は錆無くなくて思い出深くない」ということは嘘である"が導かれる
5. 事実16から、推論5: "「この薬識は錆無いということはないしその上思い出深くない」ということは間違いであるならばそれは掻き直す"が導かれる
6. 推論4と推論5から、推論6: "「この薬識は掻き直す」ということは真実だ"が導かれる
7. 推論3と推論6から、仮説が導かれる

よって、仮説が証明されました。