この主題性は信心深くない
fact1: 何らかのものは私人逮捕でない fact2: もし「当て付けがましくらなくて私人逮捕でない」物があるとすればあのステンドグラスは探り始める fact3: この条約港は当て付けがましいということはないししかも私人逮捕でない fact4: もしもこのステンドグラスが探り始めるとするとこの主題性は信心深い
fact3 -> int1: 何かは当て付けはましくらなくておまけに私人逮捕でない; int1 & fact2 -> int2: このステンドグラスは探り始める; int2 & fact4 -> hypothesis;
$facts$ = fact1: 何らかのものは私人逮捕でない fact2: もし「当て付けがましくらなくて私人逮捕でない」物があるとすればあのステンドグラスは探り始める fact3: この条約港は当て付けがましいということはないししかも私人逮捕でない fact4: もしもこのステンドグラスが探り始めるとするとこの主題性は信心深い ; $hypothesis$ = この主題性は信心深くない ; $proof$ = 
fact3 -> int1: 何かは当て付けはましくらなくておまけに私人逮捕でない; int1 & fact2 -> int2: このステンドグラスは探り始める; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: 何らかのものは私人逮捕でない
事実2: もし「当て付けがましくらなくて私人逮捕でない」物があるとすればあのステンドグラスは探り始める
事実3: この条約港は当て付けがましいということはないししかも私人逮捕でない
事実4: もしもこのステンドグラスが探り始めるとするとこの主題性は信心深い

仮説: この主題性は信心深くない
1. 事実3から、推論1: "何かは当て付けはましくらなくておまけに私人逮捕でない"が導かれる
2. 推論1と事実2から、推論2: "このステンドグラスは探り始める"が導かれる
3. 推論2と事実4から、仮説が否定される

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