「「この異性装は御偉いしロイヤルノートだ」ということは本当でない」ということは事実である
fact1: もし仮に「あの庭内は加水分解するししかもそれは踏める」ということは嘘だとすればその挙兵は成れない fact2: もし仮にその挙兵は成れるということはないとしたら「この異性装は掠り傷でないけれど繁殖し易い」ということは成り立たない fact3: 仮に「なんらかのものは掠り傷でないがしかし繁殖し易い」ということは成り立たないならそれは御偉い fact4: この異性装は瑞々しい fact5: 「「あの庭内は加水分解するし踏める」ということは成り立つ」ということは誤りだ fact6: 仮にこの異性装は瑞々しいならば「ロイヤルノートだ」ということは成り立つ
fact1 & fact5 -> int1: その挙兵は成れるということはない; int1 & fact2 -> int2: 「この異性装は掠り傷でないけれど繁殖し易い」ということは成り立たない; fact3 -> int3: 「この異性装は掠り傷であるということはないがそれは繁殖し易い」ということは誤りだとすればそれは御偉い; int2 & int3 -> int4: この異性装は御偉い; fact4 & fact6 -> int5: この異性装はロイヤルノートだ; int4 & int5 -> hypothesis;
$facts$ = fact1: もし仮に「あの庭内は加水分解するししかもそれは踏める」ということは嘘だとすればその挙兵は成れない fact2: もし仮にその挙兵は成れるということはないとしたら「この異性装は掠り傷でないけれど繁殖し易い」ということは成り立たない fact3: 仮に「なんらかのものは掠り傷でないがしかし繁殖し易い」ということは成り立たないならそれは御偉い fact4: この異性装は瑞々しい fact5: 「「あの庭内は加水分解するし踏める」ということは成り立つ」ということは誤りだ fact6: 仮にこの異性装は瑞々しいならば「ロイヤルノートだ」ということは成り立つ ; $hypothesis$ = 「「この異性装は御偉いしロイヤルノートだ」ということは本当でない」ということは事実である ; $proof$ = 
fact1 & fact5 -> int1: その挙兵は成れるということはない; int1 & fact2 -> int2: 「この異性装は掠り傷でないけれど繁殖し易い」ということは成り立たない; fact3 -> int3: 「この異性装は掠り傷であるということはないがそれは繁殖し易い」ということは誤りだとすればそれは御偉い; int2 & int3 -> int4: この異性装は御偉い; fact4 & fact6 -> int5: この異性装はロイヤルノートだ; int4 & int5 -> hypothesis; __DISPROVED__
事実1: もし仮に「あの庭内は加水分解するししかもそれは踏める」ということは嘘だとすればその挙兵は成れない
事実2: もし仮にその挙兵は成れるということはないとしたら「この異性装は掠り傷でないけれど繁殖し易い」ということは成り立たない
事実3: 仮に「なんらかのものは掠り傷でないがしかし繁殖し易い」ということは成り立たないならそれは御偉い
事実4: この異性装は瑞々しい
事実5: 「「あの庭内は加水分解するし踏める」ということは成り立つ」ということは誤りだ
事実6: 仮にこの異性装は瑞々しいならば「ロイヤルノートだ」ということは成り立つ

仮説: 「「この異性装は御偉いしロイヤルノートだ」ということは本当でない」ということは事実である
1. 事実1と事実5から、推論1: "その挙兵は成れるということはない"が導かれる
2. 推論1と事実2から、推論2: "「この異性装は掠り傷でないけれど繁殖し易い」ということは成り立たない"が導かれる
3. 事実3から、推論3: "「この異性装は掠り傷であるということはないがそれは繁殖し易い」ということは誤りだとすればそれは御偉い"が導かれる
4. 推論2と推論3から、推論4: "この異性装は御偉い"が導かれる
5. 事実4と事実6から、推論5: "この異性装はロイヤルノートだ"が導かれる
6. 推論4と推論5から、仮説が否定される

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