このラッキーチケットは人懐っこい
fact1: 仮になにかは称うないならば決め難い fact2: もしあるものが退行するしその上それが決め難いとするとそれは何例でない fact3: その乳幼児健診は敗走する fact4: この近付きは敗走する fact5: もし「その乳幼児健診は人懐っこくない」ということは本当であるとするとこのラッキーチケットは人懐っこい fact6: あるものが何例でないなら人懐っこくないしそれは敗走しない fact7: 仮にその電気機器が何例であるとすればこのラッキーチケットは人懐っこくないしおまけにそれは何例でない fact8: その乳幼児健診は退行する fact9: もしもその乳幼児健診が敗走するとしたらその電気機器は何例である
fact9 & fact3 -> int1: その電気機器は何例だ; int1 & fact7 -> int2: このラッキーチケットは人懐っこくないし加えて何例でない; int2 -> hypothesis;
fact9 & fact3 -> int1: {B}{b}; int1 & fact7 -> int2: (¬{D}{c} & ¬{B}{c}); int2 -> hypothesis;
このラッキーチケットは人懐っこい
fact13 -> int3: もしもその乳幼児健診が何例でないなら人懐っこいということはないしかつそれは敗走しない; fact14 -> int4: もし仮に「その乳幼児健診は退行するしまた決め難い」ということは成り立つとするとそれは何例でない; fact11 -> int5: その乳幼児健診が称うないとしたらそれは決め難い;
$facts$ = fact1: 仮になにかは称うないならば決め難い fact2: もしあるものが退行するしその上それが決め難いとするとそれは何例でない fact3: その乳幼児健診は敗走する fact4: この近付きは敗走する fact5: もし「その乳幼児健診は人懐っこくない」ということは本当であるとするとこのラッキーチケットは人懐っこい fact6: あるものが何例でないなら人懐っこくないしそれは敗走しない fact7: 仮にその電気機器が何例であるとすればこのラッキーチケットは人懐っこくないしおまけにそれは何例でない fact8: その乳幼児健診は退行する fact9: もしもその乳幼児健診が敗走するとしたらその電気機器は何例である ; $hypothesis$ = このラッキーチケットは人懐っこい ; $proof$ = 
fact9 & fact3 -> int1: その電気機器は何例だ; int1 & fact7 -> int2: このラッキーチケットは人懐っこくないし加えて何例でない; int2 -> hypothesis; __DISPROVED__
事実1: 仮になにかは称うないならば決め難い
事実2: もしあるものが退行するしその上それが決め難いとするとそれは何例でない
事実3: その乳幼児健診は敗走する
事実4: この近付きは敗走する
事実5: もし「その乳幼児健診は人懐っこくない」ということは本当であるとするとこのラッキーチケットは人懐っこい
事実6: あるものが何例でないなら人懐っこくないしそれは敗走しない
事実7: 仮にその電気機器が何例であるとすればこのラッキーチケットは人懐っこくないしおまけにそれは何例でない
事実8: その乳幼児健診は退行する
事実9: もしもその乳幼児健診が敗走するとしたらその電気機器は何例である

仮説: このラッキーチケットは人懐っこい
1. 事実9と事実3から、推論1: "その電気機器は何例だ"が導かれる
2. 推論1と事実7から、推論2: "このラッキーチケットは人懐っこくないし加えて何例でない"が導かれる
3. 推論2から、仮説が否定される

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