そのカーショーはシードであるかもしくはそれは組み合わす
fact1: その郊外化は組み合わす fact2: なにかはドーム型でないならば「シードであるかあるいはそれは組み合わす」ということは成り立たない fact3: そのカーショーは組み合わす fact4: 仮にあのルーティンが出し易くないとするとそれはプロらしくないが各ツールだ fact5: プロらしいということはないものは空費するか季卿でない fact6: もし仮にあのルーティンが空費するかもしくはそれが季卿だということはないとすればそのカーショーは整合する fact7: もしなんらかの物が整合するとするとそれはドーム型でない
fact3 -> hypothesis;
fact3 -> hypothesis;
「そのカーショーはシードであるかあるいは組み合わす」ということは成り立たない
fact11 -> int1: 仮にそのカーショーはドーム型でないとすると「「シードであるかあるいはそれは組み合わすかまたは両方ともである」ということは本当である」ということは成り立つということはない; fact9 -> int2: そのカーショーが整合するならそれはドーム型であるということはない; fact12 -> int3: もしも「あのルーティンはプロらしくない」ということは確かだとすれば空費するか季卿だということはない;
$facts$ = fact1: その郊外化は組み合わす fact2: なにかはドーム型でないならば「シードであるかあるいはそれは組み合わす」ということは成り立たない fact3: そのカーショーは組み合わす fact4: 仮にあのルーティンが出し易くないとするとそれはプロらしくないが各ツールだ fact5: プロらしいということはないものは空費するか季卿でない fact6: もし仮にあのルーティンが空費するかもしくはそれが季卿だということはないとすればそのカーショーは整合する fact7: もしなんらかの物が整合するとするとそれはドーム型でない ; $hypothesis$ = そのカーショーはシードであるかもしくはそれは組み合わす ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: その郊外化は組み合わす
事実2: なにかはドーム型でないならば「シードであるかあるいはそれは組み合わす」ということは成り立たない
事実3: そのカーショーは組み合わす
事実4: 仮にあのルーティンが出し易くないとするとそれはプロらしくないが各ツールだ
事実5: プロらしいということはないものは空費するか季卿でない
事実6: もし仮にあのルーティンが空費するかもしくはそれが季卿だということはないとすればそのカーショーは整合する
事実7: もしなんらかの物が整合するとするとそれはドーム型でない

仮説: そのカーショーはシードであるかもしくはそれは組み合わす
1. 事実3から、仮説が導かれる

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