この播磨灘伝承は反復しない
fact1: その小売りは低頭する fact2: もしもそのドイツ悲劇が徴するということはないがしかしそれが五歳以下ならばこの職種別は丹沢山塊である fact3: もしその小売りが低頭しないとすればそのドイツ悲劇は低頭する fact4: もしその小売りが低頭するならそのドイツ悲劇は徴しないけれど五歳以下だ fact5: もしもそのドイツ悲劇が徴するししかも五歳以下であるならばこの職種別は丹沢山塊だ fact6: 仮になにがしかのものが低頭するならそれは卑しくないけど凄まじい fact7: もし仮に「なんらかのものは低頭するが反復するということはない」ということは事実と異なるとしたら低頭しない fact8: もしもその小売りが低頭するとすればそのドイツ悲劇は徴しない fact9: もし仮にこの職種別が丹沢山塊であるとしたらこの播磨灘伝承は反復する fact10: そのドイツ悲劇は徴するということはない
fact4 & fact1 -> int1: そのドイツ悲劇は徴しないが五歳以下だ; int1 & fact2 -> int2: この職種別は丹沢山塊である; int2 & fact9 -> hypothesis;
そのドイツ悲劇は卑しいということはないがしかし凄まじい
fact11 -> int3: もしそのドイツ悲劇は低頭するとすれば「それは卑しくないし凄まじい」ということは事実である; fact12 -> int4: 仮に「その小売りは低頭するけど反復しない」ということは嘘であるとすれば低頭しない;
$facts$ = fact1: その小売りは低頭する fact2: もしもそのドイツ悲劇が徴するということはないがしかしそれが五歳以下ならばこの職種別は丹沢山塊である fact3: もしその小売りが低頭しないとすればそのドイツ悲劇は低頭する fact4: もしその小売りが低頭するならそのドイツ悲劇は徴しないけれど五歳以下だ fact5: もしもそのドイツ悲劇が徴するししかも五歳以下であるならばこの職種別は丹沢山塊だ fact6: 仮になにがしかのものが低頭するならそれは卑しくないけど凄まじい fact7: もし仮に「なんらかのものは低頭するが反復するということはない」ということは事実と異なるとしたら低頭しない fact8: もしもその小売りが低頭するとすればそのドイツ悲劇は徴しない fact9: もし仮にこの職種別が丹沢山塊であるとしたらこの播磨灘伝承は反復する fact10: そのドイツ悲劇は徴するということはない ; $hypothesis$ = この播磨灘伝承は反復しない ; $proof$ = 
fact4 & fact1 -> int1: そのドイツ悲劇は徴しないが五歳以下だ; int1 & fact2 -> int2: この職種別は丹沢山塊である; int2 & fact9 -> hypothesis; __DISPROVED__
事実1: その小売りは低頭する
事実2: もしもそのドイツ悲劇が徴するということはないがしかしそれが五歳以下ならばこの職種別は丹沢山塊である
事実3: もしその小売りが低頭しないとすればそのドイツ悲劇は低頭する
事実4: もしその小売りが低頭するならそのドイツ悲劇は徴しないけれど五歳以下だ
事実5: もしもそのドイツ悲劇が徴するししかも五歳以下であるならばこの職種別は丹沢山塊だ
事実6: 仮になにがしかのものが低頭するならそれは卑しくないけど凄まじい
事実7: もし仮に「なんらかのものは低頭するが反復するということはない」ということは事実と異なるとしたら低頭しない
事実8: もしもその小売りが低頭するとすればそのドイツ悲劇は徴しない
事実9: もし仮にこの職種別が丹沢山塊であるとしたらこの播磨灘伝承は反復する
事実10: そのドイツ悲劇は徴するということはない

仮説: この播磨灘伝承は反復しない
1. 事実4と事実1から、推論1: "そのドイツ悲劇は徴しないが五歳以下だ"が導かれる
2. 推論1と事実2から、推論2: "この職種別は丹沢山塊である"が導かれる
3. 推論2と事実9から、仮説が否定される

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