「その血栓形成はキャンプ・ファイアでないし破れ難くない」ということは間違っている
fact1: その血栓形成はプレイするとすれば「ストレス性であるけれどキャンプ・ファイアでない」ということは成り立たない fact2: 長いということはない物は商人らしいしその上破れ難い fact3: その血栓形成は商人らしい fact4: もしもあの相手が置き易くないとしたらあの子宮底長は移る fact5: もしもその血栓形成は商人らしいとすると「それはキャンプ・ファイアでなくてかつそれは破れ難くない」ということは間違いだ fact6: 仮にあの子宮底長が移るならその血栓形成は移る fact7: 「なんらかの物はデイトレードしないけれど長い」ということは本当でないならばそれは長くない fact8: もしも「あの相手は行動する」ということは確かであるとしたら「置き易くないが無意識性だ」ということは成り立つ fact9: その血栓形成は移るとすれば「あの両団子はデイトレードするということはないけどそれは長い」ということは成り立つということはない
fact5 & fact3 -> hypothesis;
fact5 & fact3 -> hypothesis;
あの両団子は破れ難い
fact10 -> int1: もしあの両団子が長いということはないとしたら商人らしいしその上破れ難い; fact12 -> int2: 「あの両団子はデイトレードしない一方でそれは長い」ということは事実と異なるとしたら長くない;
$facts$ = fact1: その血栓形成はプレイするとすれば「ストレス性であるけれどキャンプ・ファイアでない」ということは成り立たない fact2: 長いということはない物は商人らしいしその上破れ難い fact3: その血栓形成は商人らしい fact4: もしもあの相手が置き易くないとしたらあの子宮底長は移る fact5: もしもその血栓形成は商人らしいとすると「それはキャンプ・ファイアでなくてかつそれは破れ難くない」ということは間違いだ fact6: 仮にあの子宮底長が移るならその血栓形成は移る fact7: 「なんらかの物はデイトレードしないけれど長い」ということは本当でないならばそれは長くない fact8: もしも「あの相手は行動する」ということは確かであるとしたら「置き易くないが無意識性だ」ということは成り立つ fact9: その血栓形成は移るとすれば「あの両団子はデイトレードするということはないけどそれは長い」ということは成り立つということはない ; $hypothesis$ = 「その血栓形成はキャンプ・ファイアでないし破れ難くない」ということは間違っている ; $proof$ = 
fact5 & fact3 -> hypothesis; __PROVED__
事実1: その血栓形成はプレイするとすれば「ストレス性であるけれどキャンプ・ファイアでない」ということは成り立たない
事実2: 長いということはない物は商人らしいしその上破れ難い
事実3: その血栓形成は商人らしい
事実4: もしもあの相手が置き易くないとしたらあの子宮底長は移る
事実5: もしもその血栓形成は商人らしいとすると「それはキャンプ・ファイアでなくてかつそれは破れ難くない」ということは間違いだ
事実6: 仮にあの子宮底長が移るならその血栓形成は移る
事実7: 「なんらかの物はデイトレードしないけれど長い」ということは本当でないならばそれは長くない
事実8: もしも「あの相手は行動する」ということは確かであるとしたら「置き易くないが無意識性だ」ということは成り立つ
事実9: その血栓形成は移るとすれば「あの両団子はデイトレードするということはないけどそれは長い」ということは成り立つということはない

仮説: 「その血栓形成はキャンプ・ファイアでないし破れ難くない」ということは間違っている
1. 事実5と事実3から、仮説が導かれる

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