あの礼武は所持しない
fact1: 仮にこの社会的自立が際どいならあの礼武は所持する fact2: もし仮にそのロイヤルが活性酸素だけれど麗々しくないとするとこの社会的自立は編纂・発行するということはない fact3: もし「なにがしかのものは編纂・発行しない」ということは確かであるならば際どい fact4: そのロイヤルは活性酸素だ fact5: もしも「そのロイヤルは際どいけれど編纂・発行しない」ということは成り立たないならあの礼武は所持しない fact6: そのロイヤルは活性酸素だが麗々しくない fact7: この高安県は突き動かすがしかし際どかない fact8: そのロイヤルは傾き易いがしかし編纂・発行しない fact9: もしもこの社会的自立は編纂・発行するということはないとすると「広がり始める」ということは誤りでない
fact2 & fact6 -> int1: この社会的自立は編纂・発行しない; fact3 -> int2: もしこの社会的自立が編纂・発行しないとすればそれは際どい; int1 & int2 -> int3: この社会的自立は際どい; int3 & fact1 -> hypothesis;
fact2 & fact6 -> int1: ¬{B}{b}; fact3 -> int2: ¬{B}{b} -> {A}{b}; int1 & int2 -> int3: {A}{b}; int3 & fact1 -> hypothesis;
あの礼武は所持しない
$facts$ = fact1: 仮にこの社会的自立が際どいならあの礼武は所持する fact2: もし仮にそのロイヤルが活性酸素だけれど麗々しくないとするとこの社会的自立は編纂・発行するということはない fact3: もし「なにがしかのものは編纂・発行しない」ということは確かであるならば際どい fact4: そのロイヤルは活性酸素だ fact5: もしも「そのロイヤルは際どいけれど編纂・発行しない」ということは成り立たないならあの礼武は所持しない fact6: そのロイヤルは活性酸素だが麗々しくない fact7: この高安県は突き動かすがしかし際どかない fact8: そのロイヤルは傾き易いがしかし編纂・発行しない fact9: もしもこの社会的自立は編纂・発行するということはないとすると「広がり始める」ということは誤りでない ; $hypothesis$ = あの礼武は所持しない ; $proof$ = 
fact2 & fact6 -> int1: この社会的自立は編纂・発行しない; fact3 -> int2: もしこの社会的自立が編纂・発行しないとすればそれは際どい; int1 & int2 -> int3: この社会的自立は際どい; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にこの社会的自立が際どいならあの礼武は所持する
事実2: もし仮にそのロイヤルが活性酸素だけれど麗々しくないとするとこの社会的自立は編纂・発行するということはない
事実3: もし「なにがしかのものは編纂・発行しない」ということは確かであるならば際どい
事実4: そのロイヤルは活性酸素だ
事実5: もしも「そのロイヤルは際どいけれど編纂・発行しない」ということは成り立たないならあの礼武は所持しない
事実6: そのロイヤルは活性酸素だが麗々しくない
事実7: この高安県は突き動かすがしかし際どかない
事実8: そのロイヤルは傾き易いがしかし編纂・発行しない
事実9: もしもこの社会的自立は編纂・発行するということはないとすると「広がり始める」ということは誤りでない

仮説: あの礼武は所持しない
1. 事実2と事実6から、推論1: "この社会的自立は編纂・発行しない"が導かれる
2. 事実3から、推論2: "もしこの社会的自立が編纂・発行しないとすればそれは際どい"が導かれる
3. 推論1と推論2から、推論3: "この社会的自立は際どい"が導かれる
4. 推論3と事実1から、仮説が否定される

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