「その桃花は加入出来るけれどどでかくない」ということは事実と異なる
fact1: あの口演は専断剛性である fact2: 仮にあの口演が専断剛性であるならその羽毛布団は減す fact3: もし何らかの物が創作出来ればそれはどでかくないか加入出来ないかまたは両方ともである fact4: もしもあの口演はどでかいということはないならば「「この二腹筋は減す一方でそれは拡張適用しない」ということは成り立たない」ということは成り立つ fact5: その羽毛布団が会津武士でないしまたそれは冷たくないなら「創作出来る」ということは成り立つ fact6: なんらかの物は専断剛性であるということはないならば「回答形式だしそれは遣り続けない」ということは偽である fact7: もし仮にあの風格は拡張適用しないとすれば「その桃花は加入出来る一方でどでかくない」ということは本当でない fact8: 「もしも「何かは減すけれど拡張適用しない」ということは誤りであるとすればそれは専断剛性でない」ということは嘘でない fact9: その羽毛布団が減すならあの風格は拡張適用しない fact10: もし仮にあの風格は拡張適用しないとすると「その桃花は加入出来るしかつどでかい」ということは成り立たない
fact2 & fact1 -> int1: その羽毛布団は減す; int1 & fact9 -> int2: あの風格は拡張適用しない; int2 & fact7 -> hypothesis;
「この二腹筋は回答形式であるけど遣り続けない」ということは成り立たない
fact14 -> int3: もしもこの二腹筋は専断剛性だということはないならば「それが回答形式だしさらに遣り続けない」ということは成り立たない; fact12 -> int4: 「「この二腹筋は減すけれど拡張適用しない」ということは成り立つ」ということは間違いならそれは専断剛性でない; fact13 -> int5: 仮にその羽毛布団が創作出来るとしたらそれはどでかくないかまたはそれは加入出来ないか両方である;
$facts$ = fact1: あの口演は専断剛性である fact2: 仮にあの口演が専断剛性であるならその羽毛布団は減す fact3: もし何らかの物が創作出来ればそれはどでかくないか加入出来ないかまたは両方ともである fact4: もしもあの口演はどでかいということはないならば「「この二腹筋は減す一方でそれは拡張適用しない」ということは成り立たない」ということは成り立つ fact5: その羽毛布団が会津武士でないしまたそれは冷たくないなら「創作出来る」ということは成り立つ fact6: なんらかの物は専断剛性であるということはないならば「回答形式だしそれは遣り続けない」ということは偽である fact7: もし仮にあの風格は拡張適用しないとすれば「その桃花は加入出来る一方でどでかくない」ということは本当でない fact8: 「もしも「何かは減すけれど拡張適用しない」ということは誤りであるとすればそれは専断剛性でない」ということは嘘でない fact9: その羽毛布団が減すならあの風格は拡張適用しない fact10: もし仮にあの風格は拡張適用しないとすると「その桃花は加入出来るしかつどでかい」ということは成り立たない ; $hypothesis$ = 「その桃花は加入出来るけれどどでかくない」ということは事実と異なる ; $proof$ = 
fact2 & fact1 -> int1: その羽毛布団は減す; int1 & fact9 -> int2: あの風格は拡張適用しない; int2 & fact7 -> hypothesis; __PROVED__
事実1: あの口演は専断剛性である
事実2: 仮にあの口演が専断剛性であるならその羽毛布団は減す
事実3: もし何らかの物が創作出来ればそれはどでかくないか加入出来ないかまたは両方ともである
事実4: もしもあの口演はどでかいということはないならば「「この二腹筋は減す一方でそれは拡張適用しない」ということは成り立たない」ということは成り立つ
事実5: その羽毛布団が会津武士でないしまたそれは冷たくないなら「創作出来る」ということは成り立つ
事実6: なんらかの物は専断剛性であるということはないならば「回答形式だしそれは遣り続けない」ということは偽である
事実7: もし仮にあの風格は拡張適用しないとすれば「その桃花は加入出来る一方でどでかくない」ということは本当でない
事実8: 「もしも「何かは減すけれど拡張適用しない」ということは誤りであるとすればそれは専断剛性でない」ということは嘘でない
事実9: その羽毛布団が減すならあの風格は拡張適用しない
事実10: もし仮にあの風格は拡張適用しないとすると「その桃花は加入出来るしかつどでかい」ということは成り立たない

仮説: 「その桃花は加入出来るけれどどでかくない」ということは事実と異なる
1. 事実2と事実1から、推論1: "その羽毛布団は減す"が導かれる
2. 推論1と事実9から、推論2: "あの風格は拡張適用しない"が導かれる
3. 推論2と事実7から、仮説が導かれる

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