「物々しかないしさらに冗談っぽい」物はある
fact1: 仮に「あの残は令状主義潜脱説でない」ということは成り立つとしたら「この上皇は掻き易くないししかも感じ易くない」ということは事実と異なる fact2: 「「冗談っぽい」ということは成り立つ」物はある fact3: 「この上皇は室町時代だ」ということは確かである fact4: 「素早い」ものはある fact5: 仮にこの上皇は室町時代であるならそれは物々しかないが冗談っぽい fact6: もしもあのシルエットが掻き易いということはないとすると室町時代であるしそれに物々しい fact7: この上皇は出難くないけど冗談っぽい fact8: もし「この上皇は掻き易くないしさらに感じ易くない」ということは誤っているとするとあのシルエットは掻き易くない
fact5 & fact3 -> int1: この上皇は物々しかないがしかしそれは冗談っぽい; int1 -> hypothesis;
あのシルエットは物々しい
$facts$ = fact1: 仮に「あの残は令状主義潜脱説でない」ということは成り立つとしたら「この上皇は掻き易くないししかも感じ易くない」ということは事実と異なる fact2: 「「冗談っぽい」ということは成り立つ」物はある fact3: 「この上皇は室町時代だ」ということは確かである fact4: 「素早い」ものはある fact5: 仮にこの上皇は室町時代であるならそれは物々しかないが冗談っぽい fact6: もしもあのシルエットが掻き易いということはないとすると室町時代であるしそれに物々しい fact7: この上皇は出難くないけど冗談っぽい fact8: もし「この上皇は掻き易くないしさらに感じ易くない」ということは誤っているとするとあのシルエットは掻き易くない ; $hypothesis$ = 「物々しかないしさらに冗談っぽい」物はある ; $proof$ = 
fact5 & fact3 -> int1: この上皇は物々しかないがしかしそれは冗談っぽい; int1 -> hypothesis; __PROVED__
事実1: 仮に「あの残は令状主義潜脱説でない」ということは成り立つとしたら「この上皇は掻き易くないししかも感じ易くない」ということは事実と異なる
事実2: 「「冗談っぽい」ということは成り立つ」物はある
事実3: 「この上皇は室町時代だ」ということは確かである
事実4: 「素早い」ものはある
事実5: 仮にこの上皇は室町時代であるならそれは物々しかないが冗談っぽい
事実6: もしもあのシルエットが掻き易いということはないとすると室町時代であるしそれに物々しい
事実7: この上皇は出難くないけど冗談っぽい
事実8: もし「この上皇は掻き易くないしさらに感じ易くない」ということは誤っているとするとあのシルエットは掻き易くない

仮説: 「物々しかないしさらに冗談っぽい」物はある
1. 事実5と事実3から、推論1: "この上皇は物々しかないがしかしそれは冗談っぽい"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。