その創造活動はパパ達でない
fact1: もしもその子宮癌検診が弥助だが青臭くないならばその創造活動はパパ達でない fact2: その子宮癌検診は弥助だ一方で青臭くない fact3: もし「とあるものは禍々しかなくて更にパパ達でない」ということは成り立たないならパパ達である fact4: もしその子宮癌検診は賢いなら「その創造活動は禍々しいということはなくてそれにパパ達でない」ということは成り立たない fact5: その子宮癌検診は弥助だ
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
その創造活動はパパ達である
fact7 -> int1: 「その創造活動は禍々しかなくてしかもパパ達でない」ということは嘘であるとしたらパパ達だ;
$facts$ = fact1: もしもその子宮癌検診が弥助だが青臭くないならばその創造活動はパパ達でない fact2: その子宮癌検診は弥助だ一方で青臭くない fact3: もし「とあるものは禍々しかなくて更にパパ達でない」ということは成り立たないならパパ達である fact4: もしその子宮癌検診は賢いなら「その創造活動は禍々しいということはなくてそれにパパ達でない」ということは成り立たない fact5: その子宮癌検診は弥助だ ; $hypothesis$ = その創造活動はパパ達でない ; $proof$ = 
fact1 & fact2 -> hypothesis; __PROVED__
事実1: もしもその子宮癌検診が弥助だが青臭くないならばその創造活動はパパ達でない
事実2: その子宮癌検診は弥助だ一方で青臭くない
事実3: もし「とあるものは禍々しかなくて更にパパ達でない」ということは成り立たないならパパ達である
事実4: もしその子宮癌検診は賢いなら「その創造活動は禍々しいということはなくてそれにパパ達でない」ということは成り立たない
事実5: その子宮癌検診は弥助だ

仮説: その創造活動はパパ達でない
1. 事実1と事実2から、仮説が導かれる

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