この五十一ページ参照は思わしいがべた付き易くない
fact1: もし仮に「その望は離縁する」ということは正しいとするとこの五十一ページ参照は拙いかあるいはそれは親しみ易い fact2: 仮に何らかの物は良しないなら「思わしいしそれにべた付き易くない」ということは成り立たない fact3: この五十一ページ参照は良しないとしたら「それは思わしくてさらにそれはべた付き易い」ということは偽である fact4: その望は離縁する fact5: 「この五十一ページ参照が思わしいしその上べた付き易い」ということは成り立たない fact6: もしもこの五十一ページ参照が親しみ易くないならば良しない fact7: このシングルラインは親しみ易くない fact8: 拙いかもしくは親しみ易くないかもしくはどちらもなものは良しない fact9: もし仮にその望が離縁するとするとこの五十一ページ参照は拙いかまたは親しみ易いということはないかもしくは両方ともである fact10: 仮になにがしかのものが親しみ易くないとしたらそれは良しということはない fact11: あの固めは離縁する fact12: なにかは良しないなら「思わしいしまたそれはべた付き易い」ということは間違っている
fact8 -> int1: もしも「この五十一ページ参照は拙いか親しみ易くない」ということは成り立てば良しない; fact9 & fact4 -> int2: この五十一ページ参照は拙いかもしくは親しみ易くないかあるいは両方である; int1 & int2 -> int3: この五十一ページ参照は良しない; fact2 -> int4: 仮にこの五十一ページ参照は良しないなら「思わしくて更にべた付き易くない」ということは成り立たない; int3 & int4 -> hypothesis;
$facts$ = fact1: もし仮に「その望は離縁する」ということは正しいとするとこの五十一ページ参照は拙いかあるいはそれは親しみ易い fact2: 仮に何らかの物は良しないなら「思わしいしそれにべた付き易くない」ということは成り立たない fact3: この五十一ページ参照は良しないとしたら「それは思わしくてさらにそれはべた付き易い」ということは偽である fact4: その望は離縁する fact5: 「この五十一ページ参照が思わしいしその上べた付き易い」ということは成り立たない fact6: もしもこの五十一ページ参照が親しみ易くないならば良しない fact7: このシングルラインは親しみ易くない fact8: 拙いかもしくは親しみ易くないかもしくはどちらもなものは良しない fact9: もし仮にその望が離縁するとするとこの五十一ページ参照は拙いかまたは親しみ易いということはないかもしくは両方ともである fact10: 仮になにがしかのものが親しみ易くないとしたらそれは良しということはない fact11: あの固めは離縁する fact12: なにかは良しないなら「思わしいしまたそれはべた付き易い」ということは間違っている ; $hypothesis$ = この五十一ページ参照は思わしいがべた付き易くない ; $proof$ = 
fact8 -> int1: もしも「この五十一ページ参照は拙いか親しみ易くない」ということは成り立てば良しない; fact9 & fact4 -> int2: この五十一ページ参照は拙いかもしくは親しみ易くないかあるいは両方である; int1 & int2 -> int3: この五十一ページ参照は良しない; fact2 -> int4: 仮にこの五十一ページ参照は良しないなら「思わしくて更にべた付き易くない」ということは成り立たない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし仮に「その望は離縁する」ということは正しいとするとこの五十一ページ参照は拙いかあるいはそれは親しみ易い
事実2: 仮に何らかの物は良しないなら「思わしいしそれにべた付き易くない」ということは成り立たない
事実3: この五十一ページ参照は良しないとしたら「それは思わしくてさらにそれはべた付き易い」ということは偽である
事実4: その望は離縁する
事実5: 「この五十一ページ参照が思わしいしその上べた付き易い」ということは成り立たない
事実6: もしもこの五十一ページ参照が親しみ易くないならば良しない
事実7: このシングルラインは親しみ易くない
事実8: 拙いかもしくは親しみ易くないかもしくはどちらもなものは良しない
事実9: もし仮にその望が離縁するとするとこの五十一ページ参照は拙いかまたは親しみ易いということはないかもしくは両方ともである
事実10: 仮になにがしかのものが親しみ易くないとしたらそれは良しということはない
事実11: あの固めは離縁する
事実12: なにかは良しないなら「思わしいしまたそれはべた付き易い」ということは間違っている

仮説: この五十一ページ参照は思わしいがべた付き易くない
1. 事実8から、推論1: "もしも「この五十一ページ参照は拙いか親しみ易くない」ということは成り立てば良しない"が導かれる
2. 事実9と事実4から、推論2: "この五十一ページ参照は拙いかもしくは親しみ易くないかあるいは両方である"が導かれる
3. 推論1と推論2から、推論3: "この五十一ページ参照は良しない"が導かれる
4. 事実2から、推論4: "仮にこの五十一ページ参照は良しないなら「思わしくて更にべた付き易くない」ということは成り立たない"が導かれる
5. 推論3と推論4から、仮説が否定される

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