この美術史は張り付けしない
fact1: 「この気負いは男性だしさらに痛み易い」ということは成り立たないならあのパイエル板は男性でない fact2: もし何かは自閉症以外だということはないとすると女らしいものであり加えて胡散臭くない fact3: 仮にあの警部さんは自閉症以外でないとするとそれは女らしい fact4: もしもあのパイエル板が男性でないならこのＪＳＰファイルは迫り上がるしそれは街らしい fact5: もし女らしい物が胡散臭くないならば厳くない fact6: もしとある物が迫り上がらないがしかしそれは自然観察であるとすればそれは街らしくない fact7: もしあの警部さんが厳くないとしたらその妄り語は迫り上がらないけど自然観察だ fact8: あの警部さんが自閉症以外であるとしたらこの美術史は張り付けする fact9: 仮にあるものが男性だとしたら街らしい fact10: もしとあるものは迫り上がるとすると「それは自閉症以外でないが自然観察である」ということは成り立つということはない fact11: その妄り語は男性である fact12: その抑止力は掬う fact13: あの警部さんは女らしい fact14: もし「このＪＳＰファイルは自閉症以外でないが自然観察だ」ということは誤っているならその妄り語は自閉症以外でない fact15: その妄り語は自然観察だ fact16: その妄り語は自閉症以外でないとしたら「厳いしかつ張り付けする」ということは事実と異なる
fact2 -> int1: もし仮にあの警部さんが自閉症以外でないならばそれは女らしいしまたそれは胡散臭くない; void -> assump1: 以下のように仮定する。あの警部さんは自閉症以外でない; int1 & assump1 -> int2: あの警部さんは女らしいがしかし胡散臭くない; fact5 -> int3: もしあの警部さんは女らしいがしかし胡散臭くないならそれは厳いということはない; int2 & int3 -> int4: あの警部さんは厳くない; int4 & fact7 -> int5: その妄り語は迫り上がるということはないが自然観察だ; fact6 -> int6: その妄り語が迫り上がらないけどそれが自然観察ならば街らしくない; int5 & int6 -> int7: 「その妄り語は街らしくない」ということは正しい; fact9 -> int8: もし「その妄り語は男性だ」ということは確かだとすると街らしい; int8 & fact11 -> int9: その妄り語は街らしい; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: あの警部さんは自閉症以外である; int11 & fact8 -> hypothesis;
この美術史は張り付けするということはない
fact22 -> int12: 「このＪＳＰファイルは迫り上がる」ということは事実であるならば「自閉症以外でないがしかし自然観察だ」ということは成り立たない; fact18 -> int13: 「掬う」物はある;
$facts$ = fact1: 「この気負いは男性だしさらに痛み易い」ということは成り立たないならあのパイエル板は男性でない fact2: もし何かは自閉症以外だということはないとすると女らしいものであり加えて胡散臭くない fact3: 仮にあの警部さんは自閉症以外でないとするとそれは女らしい fact4: もしもあのパイエル板が男性でないならこのＪＳＰファイルは迫り上がるしそれは街らしい fact5: もし女らしい物が胡散臭くないならば厳くない fact6: もしとある物が迫り上がらないがしかしそれは自然観察であるとすればそれは街らしくない fact7: もしあの警部さんが厳くないとしたらその妄り語は迫り上がらないけど自然観察だ fact8: あの警部さんが自閉症以外であるとしたらこの美術史は張り付けする fact9: 仮にあるものが男性だとしたら街らしい fact10: もしとあるものは迫り上がるとすると「それは自閉症以外でないが自然観察である」ということは成り立つということはない fact11: その妄り語は男性である fact12: その抑止力は掬う fact13: あの警部さんは女らしい fact14: もし「このＪＳＰファイルは自閉症以外でないが自然観察だ」ということは誤っているならその妄り語は自閉症以外でない fact15: その妄り語は自然観察だ fact16: その妄り語は自閉症以外でないとしたら「厳いしかつ張り付けする」ということは事実と異なる ; $hypothesis$ = この美術史は張り付けしない ; $proof$ = 
fact2 -> int1: もし仮にあの警部さんが自閉症以外でないならばそれは女らしいしまたそれは胡散臭くない; void -> assump1: 以下のように仮定する。あの警部さんは自閉症以外でない; int1 & assump1 -> int2: あの警部さんは女らしいがしかし胡散臭くない; fact5 -> int3: もしあの警部さんは女らしいがしかし胡散臭くないならそれは厳いということはない; int2 & int3 -> int4: あの警部さんは厳くない; int4 & fact7 -> int5: その妄り語は迫り上がるということはないが自然観察だ; fact6 -> int6: その妄り語が迫り上がらないけどそれが自然観察ならば街らしくない; int5 & int6 -> int7: 「その妄り語は街らしくない」ということは正しい; fact9 -> int8: もし「その妄り語は男性だ」ということは確かだとすると街らしい; int8 & fact11 -> int9: その妄り語は街らしい; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: あの警部さんは自閉症以外である; int11 & fact8 -> hypothesis; __DISPROVED__
事実1: 「この気負いは男性だしさらに痛み易い」ということは成り立たないならあのパイエル板は男性でない
事実2: もし何かは自閉症以外だということはないとすると女らしいものであり加えて胡散臭くない
事実3: 仮にあの警部さんは自閉症以外でないとするとそれは女らしい
事実4: もしもあのパイエル板が男性でないならこのＪＳＰファイルは迫り上がるしそれは街らしい
事実5: もし女らしい物が胡散臭くないならば厳くない
事実6: もしとある物が迫り上がらないがしかしそれは自然観察であるとすればそれは街らしくない
事実7: もしあの警部さんが厳くないとしたらその妄り語は迫り上がらないけど自然観察だ
事実8: あの警部さんが自閉症以外であるとしたらこの美術史は張り付けする
事実9: 仮にあるものが男性だとしたら街らしい
事実10: もしとあるものは迫り上がるとすると「それは自閉症以外でないが自然観察である」ということは成り立つということはない
事実11: その妄り語は男性である
事実12: その抑止力は掬う
事実13: あの警部さんは女らしい
事実14: もし「このＪＳＰファイルは自閉症以外でないが自然観察だ」ということは誤っているならその妄り語は自閉症以外でない
事実15: その妄り語は自然観察だ
事実16: その妄り語は自閉症以外でないとしたら「厳いしかつ張り付けする」ということは事実と異なる

仮説: この美術史は張り付けしない
1. 事実2から、推論1: "もし仮にあの警部さんが自閉症以外でないならばそれは女らしいしまたそれは胡散臭くない"が導かれる
2. 仮定1: 以下のように仮定する。あの警部さんは自閉症以外でない
3. 推論1と仮定1から、推論2: "あの警部さんは女らしいがしかし胡散臭くない"が導かれる
4. 事実5から、推論3: "もしあの警部さんは女らしいがしかし胡散臭くないならそれは厳いということはない"が導かれる
5. 推論2と推論3から、推論4: "あの警部さんは厳くない"が導かれる
6. 推論4と事実7から、推論5: "その妄り語は迫り上がるということはないが自然観察だ"が導かれる
7. 事実6から、推論6: "その妄り語が迫り上がらないけどそれが自然観察ならば街らしくない"が導かれる
8. 推論5と推論6から、推論7: "「その妄り語は街らしくない」ということは正しい"が導かれる
9. 事実9から、推論8: "もし「その妄り語は男性だ」ということは確かだとすると街らしい"が導かれる
10. 推論8と事実11から、推論9: "その妄り語は街らしい"が導かれる
11. 推論7と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、推論11: "あの警部さんは自閉症以外である"が導かれる
13. 推論11と事実8から、仮説が否定される

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