「その児童本人は胎蔵しないか冷め難くないかあるいは両方ともである」ということは間違っている
fact1: 「その児童本人はべた付き易くないかフィットネスだということはないかもしくはどちらもである」ということは事実と異なる fact2: それは手挟まないかまたは支配しないか両方ともだという物はない fact3: それは胎蔵しないか冷め難くないかどちらもであるというものはない fact4: それは出易くないかもしくはえげつなくないかまたは両方だというものはない fact5: 「その児童本人は保持増進しないか激しくないかもしくは両方だ」ということは成り立たない fact6: それは道化るないかまたはそれは増え難くないかあるいはどちらもだという物はない fact7: その児童本人は胎蔵する fact8: 何もかもは胎蔵する
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: 「その児童本人はべた付き易くないかフィットネスだということはないかもしくはどちらもである」ということは事実と異なる fact2: それは手挟まないかまたは支配しないか両方ともだという物はない fact3: それは胎蔵しないか冷め難くないかどちらもであるというものはない fact4: それは出易くないかもしくはえげつなくないかまたは両方だというものはない fact5: 「その児童本人は保持増進しないか激しくないかもしくは両方だ」ということは成り立たない fact6: それは道化るないかまたはそれは増え難くないかあるいはどちらもだという物はない fact7: その児童本人は胎蔵する fact8: 何もかもは胎蔵する ; $hypothesis$ = 「その児童本人は胎蔵しないか冷め難くないかあるいは両方ともである」ということは間違っている ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「その児童本人はべた付き易くないかフィットネスだということはないかもしくはどちらもである」ということは事実と異なる
事実2: それは手挟まないかまたは支配しないか両方ともだという物はない
事実3: それは胎蔵しないか冷め難くないかどちらもであるというものはない
事実4: それは出易くないかもしくはえげつなくないかまたは両方だというものはない
事実5: 「その児童本人は保持増進しないか激しくないかもしくは両方だ」ということは成り立たない
事実6: それは道化るないかまたはそれは増え難くないかあるいはどちらもだという物はない
事実7: その児童本人は胎蔵する
事実8: 何もかもは胎蔵する

仮説: 「その児童本人は胎蔵しないか冷め難くないかあるいは両方ともである」ということは間違っている
1. 事実3から、仮説が導かれる

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