あの識別は君らしい
fact1: もしもこのグリッドが野蛮人でないけれどそれがわんならばこの称揚は展示館でない fact2: 仮に何らかの物が寄る辺無くないとしたら野蛮人でないしその上わんである fact3: もし仮にあの識別が展示館であるしそれは野蛮人であるならそれは哀れむということはない fact4: もし仮にその遺尿がきもいということはないがそれが寄る辺無いとするとこのグリッドは寄る辺無くない fact5: もし仮にその遺尿が乳房全摘術でないかもしくは物々しいならばきもくない fact6: 仮にこの称揚は展示館でないとすると「あの識別は君らしくないけど哀れむ」ということは成り立たない fact7: もしある物が哀れまないとすると君らしいということはない fact8: あの識別は展示館であるしその上それは野蛮人だ
fact7 -> int1: 仮にあの識別が哀れまないとするとそれは君らしくない; fact3 & fact8 -> int2: あの識別は哀れまない; int1 & int2 -> hypothesis;
fact7 -> int1: ¬{B}{aa} -> ¬{C}{aa}; fact3 & fact8 -> int2: ¬{B}{aa}; int1 & int2 -> hypothesis;
あの識別は君らしい
fact9 -> int3: もしもこのグリッドが寄る辺無くないとしたら野蛮人でなくて加えてわんである;
$facts$ = fact1: もしもこのグリッドが野蛮人でないけれどそれがわんならばこの称揚は展示館でない fact2: 仮に何らかの物が寄る辺無くないとしたら野蛮人でないしその上わんである fact3: もし仮にあの識別が展示館であるしそれは野蛮人であるならそれは哀れむということはない fact4: もし仮にその遺尿がきもいということはないがそれが寄る辺無いとするとこのグリッドは寄る辺無くない fact5: もし仮にその遺尿が乳房全摘術でないかもしくは物々しいならばきもくない fact6: 仮にこの称揚は展示館でないとすると「あの識別は君らしくないけど哀れむ」ということは成り立たない fact7: もしある物が哀れまないとすると君らしいということはない fact8: あの識別は展示館であるしその上それは野蛮人だ ; $hypothesis$ = あの識別は君らしい ; $proof$ = 
fact7 -> int1: 仮にあの識別が哀れまないとするとそれは君らしくない; fact3 & fact8 -> int2: あの識別は哀れまない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもこのグリッドが野蛮人でないけれどそれがわんならばこの称揚は展示館でない
事実2: 仮に何らかの物が寄る辺無くないとしたら野蛮人でないしその上わんである
事実3: もし仮にあの識別が展示館であるしそれは野蛮人であるならそれは哀れむということはない
事実4: もし仮にその遺尿がきもいということはないがそれが寄る辺無いとするとこのグリッドは寄る辺無くない
事実5: もし仮にその遺尿が乳房全摘術でないかもしくは物々しいならばきもくない
事実6: 仮にこの称揚は展示館でないとすると「あの識別は君らしくないけど哀れむ」ということは成り立たない
事実7: もしある物が哀れまないとすると君らしいということはない
事実8: あの識別は展示館であるしその上それは野蛮人だ

仮説: あの識別は君らしい
1. 事実7から、推論1: "仮にあの識別が哀れまないとするとそれは君らしくない"が導かれる
2. 事実3と事実8から、推論2: "あの識別は哀れまない"が導かれる
3. 推論1と推論2から、仮説が否定される

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