この色模様は慈悲深くない
fact1: もし仮にあの司祭は引っ掴まないなら「この色模様は実行し易くてそれは幅広い」ということは間違いだ fact2: 「このラングは引っ掴まない」ということは正しい fact3: 「ある物は実行し易いがしかし幅広くない」ということは成り立たないなら「慈悲深い」ということは事実だ fact4: 仮になにかは働き易くないとすれば「吸収され難くて更に引っ掴む」ということは事実と異なる fact5: 「この色模様は実行し易いしおまけに幅広い」ということは事実でない fact6: 仮にこの色模様が幅広いとしたらそれは慈悲深い fact7: 「あの司祭は引っ掴まない」ということは正しい fact8: あの司祭は引っ掴まないならば「この色模様は実行し易いがしかし幅広くない」ということは正しくない
fact8 & fact7 -> int1: 「この色模様は実行し易い一方で幅広くない」ということは成り立たない; fact3 -> int2: 「この色模様は実行し易いけれど幅広くない」ということは成り立たないなら慈悲深い; int1 & int2 -> hypothesis;
「この色模様は慈悲深い」ということは事実と異なる
fact9 -> int3: もし仮にあの司祭は働き易くないとすれば「吸収され難くてさらに引っ掴む」ということは成り立たない;
$facts$ = fact1: もし仮にあの司祭は引っ掴まないなら「この色模様は実行し易くてそれは幅広い」ということは間違いだ fact2: 「このラングは引っ掴まない」ということは正しい fact3: 「ある物は実行し易いがしかし幅広くない」ということは成り立たないなら「慈悲深い」ということは事実だ fact4: 仮になにかは働き易くないとすれば「吸収され難くて更に引っ掴む」ということは事実と異なる fact5: 「この色模様は実行し易いしおまけに幅広い」ということは事実でない fact6: 仮にこの色模様が幅広いとしたらそれは慈悲深い fact7: 「あの司祭は引っ掴まない」ということは正しい fact8: あの司祭は引っ掴まないならば「この色模様は実行し易いがしかし幅広くない」ということは正しくない ; $hypothesis$ = この色模様は慈悲深くない ; $proof$ = 
fact8 & fact7 -> int1: 「この色模様は実行し易い一方で幅広くない」ということは成り立たない; fact3 -> int2: 「この色模様は実行し易いけれど幅広くない」ということは成り立たないなら慈悲深い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮にあの司祭は引っ掴まないなら「この色模様は実行し易くてそれは幅広い」ということは間違いだ
事実2: 「このラングは引っ掴まない」ということは正しい
事実3: 「ある物は実行し易いがしかし幅広くない」ということは成り立たないなら「慈悲深い」ということは事実だ
事実4: 仮になにかは働き易くないとすれば「吸収され難くて更に引っ掴む」ということは事実と異なる
事実5: 「この色模様は実行し易いしおまけに幅広い」ということは事実でない
事実6: 仮にこの色模様が幅広いとしたらそれは慈悲深い
事実7: 「あの司祭は引っ掴まない」ということは正しい
事実8: あの司祭は引っ掴まないならば「この色模様は実行し易いがしかし幅広くない」ということは正しくない

仮説: この色模様は慈悲深くない
1. 事実8と事実7から、推論1: "「この色模様は実行し易い一方で幅広くない」ということは成り立たない"が導かれる
2. 事実3から、推論2: "「この色模様は実行し易いけれど幅広くない」ということは成り立たないなら慈悲深い"が導かれる
3. 推論1と推論2から、仮説が否定される

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