この蝶結びはすばしっこくない
fact1: もし「とあるものは壊れ易いしそれはすばしっこい」ということは偽だとするとそれはすばしっこいということはない fact2: 「この蝶結びは壊れ易い」ということは確かである fact3: もしもこの蝶結びが壊れ易いなら接近し易い fact4: 接近し易いものは相談毎である fact5: とあるものが相談毎ならすばしっこい fact6: もしもなにがしかの物は相談毎であるとすると「壊れ易い」ということは成り立つ fact7: 仮にこの専門医が受け易いとしたら相談毎である fact8: もし仮に「なにがしかの物は接近し易いしその上すばしっこい」ということは成り立たないならそれはすばしっこくない
fact3 & fact2 -> int1: この蝶結びは接近し易い; fact4 -> int2: もしもこの蝶結びが接近し易いとしたら相談毎だ; int1 & int2 -> int3: この蝶結びは相談毎である; fact5 -> int4: もしもこの蝶結びは相談毎であるならばすばしっこい; int3 & int4 -> hypothesis;
この蝶結びはすばしっこいということはない
fact10 -> int5: もしも「この蝶結びは壊れ易いししかもすばしっこい」ということは間違いであるとすればそれはすばしっこくない; fact9 -> int6: 仮に「この受験体制は接近し易いしそれにそれはすばしっこい」ということは事実と異なるとすればそれはすばしっこくない;
$facts$ = fact1: もし「とあるものは壊れ易いしそれはすばしっこい」ということは偽だとするとそれはすばしっこいということはない fact2: 「この蝶結びは壊れ易い」ということは確かである fact3: もしもこの蝶結びが壊れ易いなら接近し易い fact4: 接近し易いものは相談毎である fact5: とあるものが相談毎ならすばしっこい fact6: もしもなにがしかの物は相談毎であるとすると「壊れ易い」ということは成り立つ fact7: 仮にこの専門医が受け易いとしたら相談毎である fact8: もし仮に「なにがしかの物は接近し易いしその上すばしっこい」ということは成り立たないならそれはすばしっこくない ; $hypothesis$ = この蝶結びはすばしっこくない ; $proof$ = 
fact3 & fact2 -> int1: この蝶結びは接近し易い; fact4 -> int2: もしもこの蝶結びが接近し易いとしたら相談毎だ; int1 & int2 -> int3: この蝶結びは相談毎である; fact5 -> int4: もしもこの蝶結びは相談毎であるならばすばしっこい; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし「とあるものは壊れ易いしそれはすばしっこい」ということは偽だとするとそれはすばしっこいということはない
事実2: 「この蝶結びは壊れ易い」ということは確かである
事実3: もしもこの蝶結びが壊れ易いなら接近し易い
事実4: 接近し易いものは相談毎である
事実5: とあるものが相談毎ならすばしっこい
事実6: もしもなにがしかの物は相談毎であるとすると「壊れ易い」ということは成り立つ
事実7: 仮にこの専門医が受け易いとしたら相談毎である
事実8: もし仮に「なにがしかの物は接近し易いしその上すばしっこい」ということは成り立たないならそれはすばしっこくない

仮説: この蝶結びはすばしっこくない
1. 事実3と事実2から、推論1: "この蝶結びは接近し易い"が導かれる
2. 事実4から、推論2: "もしもこの蝶結びが接近し易いとしたら相談毎だ"が導かれる
3. 推論1と推論2から、推論3: "この蝶結びは相談毎である"が導かれる
4. 事実5から、推論4: "もしもこの蝶結びは相談毎であるならばすばしっこい"が導かれる
5. 推論3と推論4から、仮説が否定される

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