その半ば済み等は透明マニキュアだ
fact1: 仮にその半ば済み等が透明マニキュアでなくてそれはプロジェクトマネージャでないならば「そのヘリはプロジェクトマネージャだ」ということは正しい fact2: 「「書き易いかあるいは赤し」ということは成り立たない」物はある fact3: 御辛くないものはプロジェクトマネージャでないけれど貸し出しする fact4: もし「そのトーテムポールは一億円以上だし加えてソ連兵である」ということは事実でないならばその半ば済み等は御辛くない fact5: その半ば済み等は赤し fact6: 仮に何らかのものは貸し出しするとしたら「プロジェクトマネージャだ」ということは正しい fact7: 「仮に「「書き易いかまたは赤し」ということは間違いな」ものがあるならばあの半ば済み等は貸し出しする」ということは成り立つ fact8: もし仮にそのトーテムポールが設定用紙だけどそれが所狭くないならグローバル化時代でない fact9: 仮にそのトーテムポールが貸し出ししないとするとその半ば済み等は透明マニキュアであるということはないし更にプロジェクトマネージャでない fact10: 仮にある物はグローバル化時代でないなら「「それが一億円以上だしその上それはソ連兵である」ということは偽でない」ということは成り立つということはない fact11: もし仮になにかはプロジェクトマネージャであるということはないが貸し出しするとすると透明マニキュアである fact12: プロジェクトマネージャは透明マニキュアでない
fact2 & fact7 -> int1: その半ば済み等は貸し出しする; fact6 -> int2: もしその半ば済み等が貸し出しするとすればそれはプロジェクトマネージャだ; int1 & int2 -> int3: その半ば済み等はプロジェクトマネージャだ; fact12 -> int4: もし仮にその半ば済み等がプロジェクトマネージャならそれは透明マニキュアでない; int3 & int4 -> hypothesis;
そのヘリはプロジェクトマネージャだ
$facts$ = fact1: 仮にその半ば済み等が透明マニキュアでなくてそれはプロジェクトマネージャでないならば「そのヘリはプロジェクトマネージャだ」ということは正しい fact2: 「「書き易いかあるいは赤し」ということは成り立たない」物はある fact3: 御辛くないものはプロジェクトマネージャでないけれど貸し出しする fact4: もし「そのトーテムポールは一億円以上だし加えてソ連兵である」ということは事実でないならばその半ば済み等は御辛くない fact5: その半ば済み等は赤し fact6: 仮に何らかのものは貸し出しするとしたら「プロジェクトマネージャだ」ということは正しい fact7: 「仮に「「書き易いかまたは赤し」ということは間違いな」ものがあるならばあの半ば済み等は貸し出しする」ということは成り立つ fact8: もし仮にそのトーテムポールが設定用紙だけどそれが所狭くないならグローバル化時代でない fact9: 仮にそのトーテムポールが貸し出ししないとするとその半ば済み等は透明マニキュアであるということはないし更にプロジェクトマネージャでない fact10: 仮にある物はグローバル化時代でないなら「「それが一億円以上だしその上それはソ連兵である」ということは偽でない」ということは成り立つということはない fact11: もし仮になにかはプロジェクトマネージャであるということはないが貸し出しするとすると透明マニキュアである fact12: プロジェクトマネージャは透明マニキュアでない ; $hypothesis$ = その半ば済み等は透明マニキュアだ ; $proof$ = 
fact2 & fact7 -> int1: その半ば済み等は貸し出しする; fact6 -> int2: もしその半ば済み等が貸し出しするとすればそれはプロジェクトマネージャだ; int1 & int2 -> int3: その半ば済み等はプロジェクトマネージャだ; fact12 -> int4: もし仮にその半ば済み等がプロジェクトマネージャならそれは透明マニキュアでない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 仮にその半ば済み等が透明マニキュアでなくてそれはプロジェクトマネージャでないならば「そのヘリはプロジェクトマネージャだ」ということは正しい
事実2: 「「書き易いかあるいは赤し」ということは成り立たない」物はある
事実3: 御辛くないものはプロジェクトマネージャでないけれど貸し出しする
事実4: もし「そのトーテムポールは一億円以上だし加えてソ連兵である」ということは事実でないならばその半ば済み等は御辛くない
事実5: その半ば済み等は赤し
事実6: 仮に何らかのものは貸し出しするとしたら「プロジェクトマネージャだ」ということは正しい
事実7: 「仮に「「書き易いかまたは赤し」ということは間違いな」ものがあるならばあの半ば済み等は貸し出しする」ということは成り立つ
事実8: もし仮にそのトーテムポールが設定用紙だけどそれが所狭くないならグローバル化時代でない
事実9: 仮にそのトーテムポールが貸し出ししないとするとその半ば済み等は透明マニキュアであるということはないし更にプロジェクトマネージャでない
事実10: 仮にある物はグローバル化時代でないなら「「それが一億円以上だしその上それはソ連兵である」ということは偽でない」ということは成り立つということはない
事実11: もし仮になにかはプロジェクトマネージャであるということはないが貸し出しするとすると透明マニキュアである
事実12: プロジェクトマネージャは透明マニキュアでない

仮説: その半ば済み等は透明マニキュアだ
1. 事実2と事実7から、推論1: "その半ば済み等は貸し出しする"が導かれる
2. 事実6から、推論2: "もしその半ば済み等が貸し出しするとすればそれはプロジェクトマネージャだ"が導かれる
3. 推論1と推論2から、推論3: "その半ば済み等はプロジェクトマネージャだ"が導かれる
4. 事実12から、推論4: "もし仮にその半ば済み等がプロジェクトマネージャならそれは透明マニキュアでない"が導かれる
5. 推論3と推論4から、仮説が否定される

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