「その台湾側は竿出しであるかまたは走り易い」ということは嘘である
fact1: もしもその台湾側が艶っぽくないとすると竿出しであるかまたは走り易いかあるいは両方ともだ fact2: なにがしかのものは域外でないとしたらそれは竿出しでない fact3: その台湾側は域外であるけど艶っぽくない fact4: もし仮に何らかの物は域外でないとすると「竿出しであるかあるいは走り易いかまたはどちらもである」ということは誤りである fact5: この画素ピッチは走り易い fact6: その台湾側は高まり始めるかあるいは長いかあるいは両方である fact7: それが夕凪だし自然らしいという物はない fact8: もしも「「夕凪であるし自然らしい」ということは間違いな」ものがあるならこの有は真っ黒くない fact9: 仮になにがしかの物が得点力であるということはないとしたら艶っぽいかあるいはそれは対象機器だ fact10: もしもあの帝国議会衆議院議事速記録が走り易くないとするとそれは擦り合わせるか泥臭いかあるいは両方だ fact11: もしも「この有は艶っぽい」ということは確かであるとしたらその台湾側は域外でない fact12: 真っ黒くないものは得点力でない一方で定価だ
fact3 -> int1: 「その台湾側は艶っぽくない」ということは誤りでない; int1 & fact1 -> hypothesis;
fact3 -> int1: ¬{B}{a}; int1 & fact1 -> hypothesis;
あの外国会社は竿出しでない
fact13 -> int2: もし仮にあの外国会社は域外でないならばそれは竿出しでない;
$facts$ = fact1: もしもその台湾側が艶っぽくないとすると竿出しであるかまたは走り易いかあるいは両方ともだ fact2: なにがしかのものは域外でないとしたらそれは竿出しでない fact3: その台湾側は域外であるけど艶っぽくない fact4: もし仮に何らかの物は域外でないとすると「竿出しであるかあるいは走り易いかまたはどちらもである」ということは誤りである fact5: この画素ピッチは走り易い fact6: その台湾側は高まり始めるかあるいは長いかあるいは両方である fact7: それが夕凪だし自然らしいという物はない fact8: もしも「「夕凪であるし自然らしい」ということは間違いな」ものがあるならこの有は真っ黒くない fact9: 仮になにがしかの物が得点力であるということはないとしたら艶っぽいかあるいはそれは対象機器だ fact10: もしもあの帝国議会衆議院議事速記録が走り易くないとするとそれは擦り合わせるか泥臭いかあるいは両方だ fact11: もしも「この有は艶っぽい」ということは確かであるとしたらその台湾側は域外でない fact12: 真っ黒くないものは得点力でない一方で定価だ ; $hypothesis$ = 「その台湾側は竿出しであるかまたは走り易い」ということは嘘である ; $proof$ = 
fact3 -> int1: 「その台湾側は艶っぽくない」ということは誤りでない; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもその台湾側が艶っぽくないとすると竿出しであるかまたは走り易いかあるいは両方ともだ
事実2: なにがしかのものは域外でないとしたらそれは竿出しでない
事実3: その台湾側は域外であるけど艶っぽくない
事実4: もし仮に何らかの物は域外でないとすると「竿出しであるかあるいは走り易いかまたはどちらもである」ということは誤りである
事実5: この画素ピッチは走り易い
事実6: その台湾側は高まり始めるかあるいは長いかあるいは両方である
事実7: それが夕凪だし自然らしいという物はない
事実8: もしも「「夕凪であるし自然らしい」ということは間違いな」ものがあるならこの有は真っ黒くない
事実9: 仮になにがしかの物が得点力であるということはないとしたら艶っぽいかあるいはそれは対象機器だ
事実10: もしもあの帝国議会衆議院議事速記録が走り易くないとするとそれは擦り合わせるか泥臭いかあるいは両方だ
事実11: もしも「この有は艶っぽい」ということは確かであるとしたらその台湾側は域外でない
事実12: 真っ黒くないものは得点力でない一方で定価だ

仮説: 「その台湾側は竿出しであるかまたは走り易い」ということは嘘である
1. 事実3から、推論1: "「その台湾側は艶っぽくない」ということは誤りでない"が導かれる
2. 推論1と事実1から、仮説が否定される

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