「このマイクロアレー解析は買収する」ということは真実でない
fact1: 「仮にとある物が限り無いとすると買収する」ということは本当だ fact2: その醜男は扱い難くない fact3: もし仮に「なんらかの物はエンゼルでないがしかし抱え込む」ということは間違っているとすると抱え込まない fact4: もしとある物は抱え込まないとすれば「それは解明すらないしそれは捨て台詞だ」ということは誤りだ fact5: この少額投資は捨て台詞だ fact6: 仮に何らかの物は手放すとしたら「それはエンゼルでないけど抱え込む」ということは誤っている fact7: その偽陰性は解明すかまたはそれはエンゼルである fact8: このマイクロアレー解析は買収すれば「この少額投資は限り無い」ということは正しい fact9: この少額投資は解明すらないけれど捨て台詞である fact10: もしもその偽陰性は解明すとすれば「このマイクロアレー解析は解明す」ということは成り立つ fact11: もしも「この少額投資は解明すらないけれどそれは捨て台詞である」ということは偽なら「このマイクロアレー解析は限り無い」ということは成り立つ fact12: もしもこの少額投資は解明すらない一方で捨て台詞であるならそれは限り無くない fact13: もし仮に限り無いものが解明すなら遠出しない fact14: もしその偽陰性が譲り合うとすればあの少額投資は手放す fact15: このマイクロアレー解析は限り無くない一方で捨て台詞ならばそれは買収しない
void -> assump1: 以下のように仮定する。このマイクロアレー解析は買収する; fact8 & assump1 -> int1: この少額投資は限り無い; fact9 & fact12 -> int2: 「この少額投資は限り無くない」ということは事実である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
このマイクロアレー解析は遠出しない一方でそれは捨て台詞である
fact17 -> int4: 仮にこのマイクロアレー解析が限り無いしかつそれが解明すとしたら遠出しない;
$facts$ = fact1: 「仮にとある物が限り無いとすると買収する」ということは本当だ fact2: その醜男は扱い難くない fact3: もし仮に「なんらかの物はエンゼルでないがしかし抱え込む」ということは間違っているとすると抱え込まない fact4: もしとある物は抱え込まないとすれば「それは解明すらないしそれは捨て台詞だ」ということは誤りだ fact5: この少額投資は捨て台詞だ fact6: 仮に何らかの物は手放すとしたら「それはエンゼルでないけど抱え込む」ということは誤っている fact7: その偽陰性は解明すかまたはそれはエンゼルである fact8: このマイクロアレー解析は買収すれば「この少額投資は限り無い」ということは正しい fact9: この少額投資は解明すらないけれど捨て台詞である fact10: もしもその偽陰性は解明すとすれば「このマイクロアレー解析は解明す」ということは成り立つ fact11: もしも「この少額投資は解明すらないけれどそれは捨て台詞である」ということは偽なら「このマイクロアレー解析は限り無い」ということは成り立つ fact12: もしもこの少額投資は解明すらない一方で捨て台詞であるならそれは限り無くない fact13: もし仮に限り無いものが解明すなら遠出しない fact14: もしその偽陰性が譲り合うとすればあの少額投資は手放す fact15: このマイクロアレー解析は限り無くない一方で捨て台詞ならばそれは買収しない ; $hypothesis$ = 「このマイクロアレー解析は買収する」ということは真実でない ; $proof$ = 
void -> assump1: 以下のように仮定する。このマイクロアレー解析は買収する; fact8 & assump1 -> int1: この少額投資は限り無い; fact9 & fact12 -> int2: 「この少額投資は限り無くない」ということは事実である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「仮にとある物が限り無いとすると買収する」ということは本当だ
事実2: その醜男は扱い難くない
事実3: もし仮に「なんらかの物はエンゼルでないがしかし抱え込む」ということは間違っているとすると抱え込まない
事実4: もしとある物は抱え込まないとすれば「それは解明すらないしそれは捨て台詞だ」ということは誤りだ
事実5: この少額投資は捨て台詞だ
事実6: 仮に何らかの物は手放すとしたら「それはエンゼルでないけど抱え込む」ということは誤っている
事実7: その偽陰性は解明すかまたはそれはエンゼルである
事実8: このマイクロアレー解析は買収すれば「この少額投資は限り無い」ということは正しい
事実9: この少額投資は解明すらないけれど捨て台詞である
事実10: もしもその偽陰性は解明すとすれば「このマイクロアレー解析は解明す」ということは成り立つ
事実11: もしも「この少額投資は解明すらないけれどそれは捨て台詞である」ということは偽なら「このマイクロアレー解析は限り無い」ということは成り立つ
事実12: もしもこの少額投資は解明すらない一方で捨て台詞であるならそれは限り無くない
事実13: もし仮に限り無いものが解明すなら遠出しない
事実14: もしその偽陰性が譲り合うとすればあの少額投資は手放す
事実15: このマイクロアレー解析は限り無くない一方で捨て台詞ならばそれは買収しない

仮説: 「このマイクロアレー解析は買収する」ということは真実でない
1. 仮定1: 以下のように仮定する。このマイクロアレー解析は買収する
2. 事実8と仮定1から、推論1: "この少額投資は限り無い"が導かれる
3. 事実9と事実12から、推論2: "「この少額投資は限り無くない」ということは事実である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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