この血栓溶解酵素は凌げない
fact1: この御相手は実践教育学である fact2: 「このチャイナドレスは知り難し」ということは成り立つ fact3: 仮にこの木橋が知り難くないならこのチャイナドレスは薄明るい fact4: もし仮にこのチャイナドレスは知り難しとしたら「この木橋は薄明るいけれど実践教育学でない」ということは成り立たない fact5: このチャイナドレスは寄与度グラフであるか止む無いかどちらもだ fact6: 「この血栓溶解酵素は実践教育学であるし凌げる」ということは成り立たない fact7: もし「このチャイナドレスは寄与度グラフであるかもしくはそれは止む無い」ということは成り立つとするとそれは大き過ぎない fact8: このチャイナドレスは実践教育学だ fact9: 仮にこのチャイナドレスは知り難しならば「この木橋は薄明るいししかも実践教育学である」ということは本当でない fact10: もしなにがしかのものは大き過ぎないししかも与し易くないとしたらそれは応募出来る fact11: 「この木橋は薄明るいが実践教育学でない」ということは間違っているとすればこの血栓溶解酵素は凌げる
fact4 & fact2 -> int1: 「この木橋は薄明るい一方でそれは実践教育学でない」ということは成り立たない; int1 & fact11 -> hypothesis;
この血栓溶解酵素は凌げない
fact12 -> int2: 仮にこのチャイナドレスが大き過ぎないしその上与し易くないとしたらそれは応募出来る; fact14 & fact13 -> int3: このチャイナドレスは大き過ぎない;
$facts$ = fact1: この御相手は実践教育学である fact2: 「このチャイナドレスは知り難し」ということは成り立つ fact3: 仮にこの木橋が知り難くないならこのチャイナドレスは薄明るい fact4: もし仮にこのチャイナドレスは知り難しとしたら「この木橋は薄明るいけれど実践教育学でない」ということは成り立たない fact5: このチャイナドレスは寄与度グラフであるか止む無いかどちらもだ fact6: 「この血栓溶解酵素は実践教育学であるし凌げる」ということは成り立たない fact7: もし「このチャイナドレスは寄与度グラフであるかもしくはそれは止む無い」ということは成り立つとするとそれは大き過ぎない fact8: このチャイナドレスは実践教育学だ fact9: 仮にこのチャイナドレスは知り難しならば「この木橋は薄明るいししかも実践教育学である」ということは本当でない fact10: もしなにがしかのものは大き過ぎないししかも与し易くないとしたらそれは応募出来る fact11: 「この木橋は薄明るいが実践教育学でない」ということは間違っているとすればこの血栓溶解酵素は凌げる ; $hypothesis$ = この血栓溶解酵素は凌げない ; $proof$ = 
fact4 & fact2 -> int1: 「この木橋は薄明るい一方でそれは実践教育学でない」ということは成り立たない; int1 & fact11 -> hypothesis; __DISPROVED__
事実1: この御相手は実践教育学である
事実2: 「このチャイナドレスは知り難し」ということは成り立つ
事実3: 仮にこの木橋が知り難くないならこのチャイナドレスは薄明るい
事実4: もし仮にこのチャイナドレスは知り難しとしたら「この木橋は薄明るいけれど実践教育学でない」ということは成り立たない
事実5: このチャイナドレスは寄与度グラフであるか止む無いかどちらもだ
事実6: 「この血栓溶解酵素は実践教育学であるし凌げる」ということは成り立たない
事実7: もし「このチャイナドレスは寄与度グラフであるかもしくはそれは止む無い」ということは成り立つとするとそれは大き過ぎない
事実8: このチャイナドレスは実践教育学だ
事実9: 仮にこのチャイナドレスは知り難しならば「この木橋は薄明るいししかも実践教育学である」ということは本当でない
事実10: もしなにがしかのものは大き過ぎないししかも与し易くないとしたらそれは応募出来る
事実11: 「この木橋は薄明るいが実践教育学でない」ということは間違っているとすればこの血栓溶解酵素は凌げる

仮説: この血栓溶解酵素は凌げない
1. 事実4と事実2から、推論1: "「この木橋は薄明るい一方でそれは実践教育学でない」ということは成り立たない"が導かれる
2. 推論1と事実11から、仮説が否定される

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