この幼児用はスクラムでない
fact1: この幼児用は研究・開発でない fact2: もしも何かは反省でないとしたら哀惜であるしかつスクラムである fact3: もし仮にこの幼児用が哀惜だとすればそれはスクラムであるということはない fact4: 満遍無いものは反省でない fact5: 仮にこの幼児用は研究・開発でないなら延長オプション付けである fact6: この幼児用が延長オプション付けだとすると手続き出来るかあるいは予測し難くない fact7: この幼児用は哀惜である
fact3 & fact7 -> hypothesis;
fact3 & fact7 -> hypothesis;
この幼児用はスクラムである
fact12 -> int1: 「もし仮に「この幼児用は反省でない」ということは確かであるとしたらこの幼児用は哀惜であるしその上スクラムだ」ということは本当だ; fact9 -> int2: もしもこの幼児用が満遍無いならば反省でない; fact10 & fact8 -> int3: この幼児用は延長オプション付けだ; fact11 & int3 -> int4: この幼児用は手続き出来るかもしくは予測し難くないかもしくはどちらもである;
$facts$ = fact1: この幼児用は研究・開発でない fact2: もしも何かは反省でないとしたら哀惜であるしかつスクラムである fact3: もし仮にこの幼児用が哀惜だとすればそれはスクラムであるということはない fact4: 満遍無いものは反省でない fact5: 仮にこの幼児用は研究・開発でないなら延長オプション付けである fact6: この幼児用が延長オプション付けだとすると手続き出来るかあるいは予測し難くない fact7: この幼児用は哀惜である ; $hypothesis$ = この幼児用はスクラムでない ; $proof$ = 
fact3 & fact7 -> hypothesis; __PROVED__
事実1: この幼児用は研究・開発でない
事実2: もしも何かは反省でないとしたら哀惜であるしかつスクラムである
事実3: もし仮にこの幼児用が哀惜だとすればそれはスクラムであるということはない
事実4: 満遍無いものは反省でない
事実5: 仮にこの幼児用は研究・開発でないなら延長オプション付けである
事実6: この幼児用が延長オプション付けだとすると手続き出来るかあるいは予測し難くない
事実7: この幼児用は哀惜である

仮説: この幼児用はスクラムでない
1. 事実3と事実7から、仮説が導かれる

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