「「もし仮に青っぽくないならばネイティブらしくないしださい」物はある」ということは事実と異なる
fact1: もし仮にこのスペイン戦争が青っぽくないとするとそれはネイティブらしいしださい fact2: このスペイン戦争が青っぽいならネイティブらしくないがしかしださい fact3: もしもこのスペイン戦争がアコーディオンだということはないならばそれは捗々しいしかつそれは届き難い fact4: 青っぽくない物はネイティブらしくないがださい fact5: 仮になにがしかの物はクッション部分であるとしたら為され得ない一方で図太い fact6: 「もしも国家レベルでないならば嗚咽しないがしかし国営化する」物はある fact7: なにかは青っぽくないとするとそれはネイティブらしいししかもださい fact8: なにかは原動力でないならシステムＳでないしそれにそれは捗々しい fact9: もし仮にその竣功当時が伐採しないとしたらそれは左回旋枝でないしそれはださい
fact4 -> int1: もしも「このスペイン戦争は青っぽいということはない」ということは事実であるならばネイティブらしくないしそれはださい; int1 -> hypothesis;
$facts$ = fact1: もし仮にこのスペイン戦争が青っぽくないとするとそれはネイティブらしいしださい fact2: このスペイン戦争が青っぽいならネイティブらしくないがしかしださい fact3: もしもこのスペイン戦争がアコーディオンだということはないならばそれは捗々しいしかつそれは届き難い fact4: 青っぽくない物はネイティブらしくないがださい fact5: 仮になにがしかの物はクッション部分であるとしたら為され得ない一方で図太い fact6: 「もしも国家レベルでないならば嗚咽しないがしかし国営化する」物はある fact7: なにかは青っぽくないとするとそれはネイティブらしいししかもださい fact8: なにかは原動力でないならシステムＳでないしそれにそれは捗々しい fact9: もし仮にその竣功当時が伐採しないとしたらそれは左回旋枝でないしそれはださい ; $hypothesis$ = 「「もし仮に青っぽくないならばネイティブらしくないしださい」物はある」ということは事実と異なる ; $proof$ = 
fact4 -> int1: もしも「このスペイン戦争は青っぽいということはない」ということは事実であるならばネイティブらしくないしそれはださい; int1 -> hypothesis; __DISPROVED__
事実1: もし仮にこのスペイン戦争が青っぽくないとするとそれはネイティブらしいしださい
事実2: このスペイン戦争が青っぽいならネイティブらしくないがしかしださい
事実3: もしもこのスペイン戦争がアコーディオンだということはないならばそれは捗々しいしかつそれは届き難い
事実4: 青っぽくない物はネイティブらしくないがださい
事実5: 仮になにがしかの物はクッション部分であるとしたら為され得ない一方で図太い
事実6: 「もしも国家レベルでないならば嗚咽しないがしかし国営化する」物はある
事実7: なにかは青っぽくないとするとそれはネイティブらしいししかもださい
事実8: なにかは原動力でないならシステムＳでないしそれにそれは捗々しい
事実9: もし仮にその竣功当時が伐採しないとしたらそれは左回旋枝でないしそれはださい

仮説: 「「もし仮に青っぽくないならばネイティブらしくないしださい」物はある」ということは事実と異なる
1. 事実4から、推論1: "もしも「このスペイン戦争は青っぽいということはない」ということは事実であるならばネイティブらしくないしそれはださい"が導かれる
2. 推論1から、仮説が否定される

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