なんらかの物は刈るし生み難い
fact1: この共通化は生み難い fact2: 仮に「この斬首は生み難い」ということは確かなら「あの画用紙は生み難い」ということは本当である fact3: あの画用紙は彼らしい fact4: もしも「何らかのものは彼らしいけど仰々しくない」ということは成り立たないとするとそれは仰々しい fact5: この斬首は生み難い fact6: あの画用紙は悪しい fact7: 「刈る」物はある fact8: 仮にこの斬首が仰々しいとすればあの画用紙は仰々しい fact9: あの画用紙は刈るししかもそれは彼らしい
fact9 -> int1: あの画用紙は刈る; fact5 & fact2 -> int2: あの画用紙は生み難い; int1 & int2 -> int3: 「あの画用紙は刈るし加えて生み難い」ということは成り立つ; int3 -> hypothesis;
「仰々しくて四神図な」ものはある
fact11 -> int4: もし「この斬首は彼らしいがしかし仰々しくない」ということは確かでないとしたら仰々しい;
$facts$ = fact1: この共通化は生み難い fact2: 仮に「この斬首は生み難い」ということは確かなら「あの画用紙は生み難い」ということは本当である fact3: あの画用紙は彼らしい fact4: もしも「何らかのものは彼らしいけど仰々しくない」ということは成り立たないとするとそれは仰々しい fact5: この斬首は生み難い fact6: あの画用紙は悪しい fact7: 「刈る」物はある fact8: 仮にこの斬首が仰々しいとすればあの画用紙は仰々しい fact9: あの画用紙は刈るししかもそれは彼らしい ; $hypothesis$ = なんらかの物は刈るし生み難い ; $proof$ = 
fact9 -> int1: あの画用紙は刈る; fact5 & fact2 -> int2: あの画用紙は生み難い; int1 & int2 -> int3: 「あの画用紙は刈るし加えて生み難い」ということは成り立つ; int3 -> hypothesis; __PROVED__
事実1: この共通化は生み難い
事実2: 仮に「この斬首は生み難い」ということは確かなら「あの画用紙は生み難い」ということは本当である
事実3: あの画用紙は彼らしい
事実4: もしも「何らかのものは彼らしいけど仰々しくない」ということは成り立たないとするとそれは仰々しい
事実5: この斬首は生み難い
事実6: あの画用紙は悪しい
事実7: 「刈る」物はある
事実8: 仮にこの斬首が仰々しいとすればあの画用紙は仰々しい
事実9: あの画用紙は刈るししかもそれは彼らしい

仮説: なんらかの物は刈るし生み難い
1. 事実9から、推論1: "あの画用紙は刈る"が導かれる
2. 事実5と事実2から、推論2: "あの画用紙は生み難い"が導かれる
3. 推論1と推論2から、推論3: "「あの画用紙は刈るし加えて生み難い」ということは成り立つ"が導かれる
4. 推論3から、仮説が導かれる

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