この頭字は未定義でない
fact1: あるものは多用するとしたら「練り香でないしそれは飼い殺さない」ということは成り立たない fact2: もしもその皆さん方が揮発し易くない一方でそれがイージーであるとするとあの秘薬は移行し易い fact3: もしもあの秘薬が移行し易いかもしくは生白いかまたは両方ともだとすればあの頭字は未定義でない fact4: その皆さん方はイージーだ fact5: 仮にあの秘薬が生白いならこの頭字は未定義でない fact6: 「振り乱すけど作り事でない」ものはあれば「あの秘薬は移行し易いということはない」ということは成り立つ fact7: 仮にその皆さん方が生白くないがしかしそれがイージーならばあの秘薬は移行し易い fact8: この独身が反啓蒙でないとしたらこの内宮は振り乱すがしかしそれは作り事でない fact9: あの秘薬は生白いかあるいは揮発し易いか両方である fact10: 「とある物は練り香でないしそれは飼い殺さない」ということは成り立たないとすればそれは反啓蒙でない fact11: 「この独身は既刊書でないがしかし花瓶である」ということは誤りだとすれば「それは波浪だ」ということは本当だ fact12: もしもとある物が振り乱さないならそれは移行し易くないが未定義だ fact13: 仮に「移行し易くない」ものはあるとすると「「その皆さん方は未定義でないしまた生白くない」ということは正しくない」ということは事実だ fact14: 何らかの物は作り事でないならば「振り乱さない」ということは偽でない fact15: この独身は波浪であるとするとそれは上がり易いが繋がり合うということはない fact16: その皆さん方は揮発し易くないがしかしイージーだ fact17: この頭字はイージーでないが未定義だとすると「その皆さん方は揮発し易い」ということは真実だ fact18: 仮になにがしかのものは移行し易くないがしかし未定義ならそれは生白くない fact19: 仮にこの独身は上がり易いがしかし繋がり合わないならば「多用しない」ということは事実でない fact20: もしもその皆さん方がイージーであるかまたは未定義であるならこの頭字は揮発し易くない
fact2 & fact16 -> int1: あの秘薬は移行し易い; int1 -> int2: あの秘薬は移行し易いかあるいは生白い; int2 & fact3 -> hypothesis;
fact2 & fact16 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {A}{b}); int2 & fact3 -> hypothesis;
この頭字は生白くない
fact21 -> int3: もし「この頭字は移行し易くないがしかし未定義だ」ということは確かならそれは生白くない; fact23 -> int4: もしも「この頭字は振り乱さない」ということは誤りでないとすればそれは移行し易くないけれど未定義だ; fact22 -> int5: もし仮に「この頭字は作り事でない」ということは真実だとしたら振り乱さない;
$facts$ = fact1: あるものは多用するとしたら「練り香でないしそれは飼い殺さない」ということは成り立たない fact2: もしもその皆さん方が揮発し易くない一方でそれがイージーであるとするとあの秘薬は移行し易い fact3: もしもあの秘薬が移行し易いかもしくは生白いかまたは両方ともだとすればあの頭字は未定義でない fact4: その皆さん方はイージーだ fact5: 仮にあの秘薬が生白いならこの頭字は未定義でない fact6: 「振り乱すけど作り事でない」ものはあれば「あの秘薬は移行し易いということはない」ということは成り立つ fact7: 仮にその皆さん方が生白くないがしかしそれがイージーならばあの秘薬は移行し易い fact8: この独身が反啓蒙でないとしたらこの内宮は振り乱すがしかしそれは作り事でない fact9: あの秘薬は生白いかあるいは揮発し易いか両方である fact10: 「とある物は練り香でないしそれは飼い殺さない」ということは成り立たないとすればそれは反啓蒙でない fact11: 「この独身は既刊書でないがしかし花瓶である」ということは誤りだとすれば「それは波浪だ」ということは本当だ fact12: もしもとある物が振り乱さないならそれは移行し易くないが未定義だ fact13: 仮に「移行し易くない」ものはあるとすると「「その皆さん方は未定義でないしまた生白くない」ということは正しくない」ということは事実だ fact14: 何らかの物は作り事でないならば「振り乱さない」ということは偽でない fact15: この独身は波浪であるとするとそれは上がり易いが繋がり合うということはない fact16: その皆さん方は揮発し易くないがしかしイージーだ fact17: この頭字はイージーでないが未定義だとすると「その皆さん方は揮発し易い」ということは真実だ fact18: 仮になにがしかのものは移行し易くないがしかし未定義ならそれは生白くない fact19: 仮にこの独身は上がり易いがしかし繋がり合わないならば「多用しない」ということは事実でない fact20: もしもその皆さん方がイージーであるかまたは未定義であるならこの頭字は揮発し易くない ; $hypothesis$ = この頭字は未定義でない ; $proof$ = 
fact2 & fact16 -> int1: あの秘薬は移行し易い; int1 -> int2: あの秘薬は移行し易いかあるいは生白い; int2 & fact3 -> hypothesis; __PROVED__
事実1: あるものは多用するとしたら「練り香でないしそれは飼い殺さない」ということは成り立たない
事実2: もしもその皆さん方が揮発し易くない一方でそれがイージーであるとするとあの秘薬は移行し易い
事実3: もしもあの秘薬が移行し易いかもしくは生白いかまたは両方ともだとすればあの頭字は未定義でない
事実4: その皆さん方はイージーだ
事実5: 仮にあの秘薬が生白いならこの頭字は未定義でない
事実6: 「振り乱すけど作り事でない」ものはあれば「あの秘薬は移行し易いということはない」ということは成り立つ
事実7: 仮にその皆さん方が生白くないがしかしそれがイージーならばあの秘薬は移行し易い
事実8: この独身が反啓蒙でないとしたらこの内宮は振り乱すがしかしそれは作り事でない
事実9: あの秘薬は生白いかあるいは揮発し易いか両方である
事実10: 「とある物は練り香でないしそれは飼い殺さない」ということは成り立たないとすればそれは反啓蒙でない
事実11: 「この独身は既刊書でないがしかし花瓶である」ということは誤りだとすれば「それは波浪だ」ということは本当だ
事実12: もしもとある物が振り乱さないならそれは移行し易くないが未定義だ
事実13: 仮に「移行し易くない」ものはあるとすると「「その皆さん方は未定義でないしまた生白くない」ということは正しくない」ということは事実だ
事実14: 何らかの物は作り事でないならば「振り乱さない」ということは偽でない
事実15: この独身は波浪であるとするとそれは上がり易いが繋がり合うということはない
事実16: その皆さん方は揮発し易くないがしかしイージーだ
事実17: この頭字はイージーでないが未定義だとすると「その皆さん方は揮発し易い」ということは真実だ
事実18: 仮になにがしかのものは移行し易くないがしかし未定義ならそれは生白くない
事実19: 仮にこの独身は上がり易いがしかし繋がり合わないならば「多用しない」ということは事実でない
事実20: もしもその皆さん方がイージーであるかまたは未定義であるならこの頭字は揮発し易くない

仮説: この頭字は未定義でない
1. 事実2と事実16から、推論1: "あの秘薬は移行し易い"が導かれる
2. 推論1から、推論2: "あの秘薬は移行し易いかあるいは生白い"が導かれる
3. 推論2と事実3から、仮説が導かれる

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