この親指側は駆けずり回る
fact1: 生温いということはない物はしつこくないがしかし駆けずり回る fact2: もし仮に何らかのものはしつこいということはないなら「それは自書するということはないけれど駆けずり回る」ということは成り立たない fact3: なんらかのものがぎごちないならばそれは懐こいがしかし生温くない fact4: もし仮にその実寸が明言しないならばぎごちないしそれは娘らしい fact5: もしも「この親指側は冗談ぽいということはない一方で頼み難い」ということは嘘であるなら「駆けずり回らない」ということは確かである fact6: その実寸はしつこい fact7: 仮に懐こい物が生温くないならばそれはしつこくない fact8: 仮にその実寸はしつこいとしたら「この親指側は冗談ぽくない一方で頼み難い」ということは間違っている
fact8 & fact6 -> int1: 「この親指側は冗談ぽくないがしかし頼み難い」ということは成り立つということはない; int1 & fact5 -> hypothesis;
「「その実寸は自書しないけど駆けずり回る」ということは正しい」ということは真実でない
fact11 -> int2: 仮にその実寸はしつこくないならば「自書しなくて加えてそれは駆けずり回る」ということは誤りである; fact9 -> int3: 仮にその実寸は懐こいが生温くないとするとそれはしつこくない; fact10 -> int4: 仮に「その実寸はぎごちない」ということは成り立つとしたらそれは懐こいが生温くない;
$facts$ = fact1: 生温いということはない物はしつこくないがしかし駆けずり回る fact2: もし仮に何らかのものはしつこいということはないなら「それは自書するということはないけれど駆けずり回る」ということは成り立たない fact3: なんらかのものがぎごちないならばそれは懐こいがしかし生温くない fact4: もし仮にその実寸が明言しないならばぎごちないしそれは娘らしい fact5: もしも「この親指側は冗談ぽいということはない一方で頼み難い」ということは嘘であるなら「駆けずり回らない」ということは確かである fact6: その実寸はしつこい fact7: 仮に懐こい物が生温くないならばそれはしつこくない fact8: 仮にその実寸はしつこいとしたら「この親指側は冗談ぽくない一方で頼み難い」ということは間違っている ; $hypothesis$ = この親指側は駆けずり回る ; $proof$ = 
fact8 & fact6 -> int1: 「この親指側は冗談ぽくないがしかし頼み難い」ということは成り立つということはない; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: 生温いということはない物はしつこくないがしかし駆けずり回る
事実2: もし仮に何らかのものはしつこいということはないなら「それは自書するということはないけれど駆けずり回る」ということは成り立たない
事実3: なんらかのものがぎごちないならばそれは懐こいがしかし生温くない
事実4: もし仮にその実寸が明言しないならばぎごちないしそれは娘らしい
事実5: もしも「この親指側は冗談ぽいということはない一方で頼み難い」ということは嘘であるなら「駆けずり回らない」ということは確かである
事実6: その実寸はしつこい
事実7: 仮に懐こい物が生温くないならばそれはしつこくない
事実8: 仮にその実寸はしつこいとしたら「この親指側は冗談ぽくない一方で頼み難い」ということは間違っている

仮説: この親指側は駆けずり回る
1. 事実8と事実6から、推論1: "「この親指側は冗談ぽくないがしかし頼み難い」ということは成り立つということはない"が導かれる
2. 推論1と事実5から、仮説が否定される

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