その片腕は動きだけれど極まり悪くない
fact1: もしもとあるものはブックＳであるならばそれは手荒い fact2: 「その片腕はされ易いけどそれは日本人らしくない」ということは偽である fact3: とあるものは外肛門括約筋であるとしたらそれは動きだ一方で確認し易いということはない fact4: もしその片腕が手荒いならばそれは動きである fact5: もしその倒産手続きがブックＳであるとすればあの片腕はブックＳでない fact6: 仮にその倒産手続きは手荒くないなら「「その片腕は動きだが極まり悪くない」ということは事実である」ということは間違いである fact7: その片腕は動きだ fact8: 仮にその倒産手続きが長細いとしたらそれは外肛門括約筋だ fact9: 手荒いものは動きだ fact10: もしその片腕がブックＳでないとするとこのアンリ・ビリーバーは極まり悪いが手荒くない fact11: その倒産手続きは映ずるし長細い fact12: 手荒い物は動きだ一方で極まり悪くない fact13: 「その片腕はされ易いけれど日本人らしくない」ということは本当だということはないならばそれはブックＳだ
fact13 & fact2 -> int1: その片腕はブックＳである; fact1 -> int2: 「その片腕はブックＳである」ということは確かであるとすれば手荒い; int1 & int2 -> int3: その片腕は手荒い; fact12 -> int4: もし仮にその片腕が手荒いならば動きだけど極まり悪くない; int3 & int4 -> hypothesis;
fact13 & fact2 -> int1: {B}{a}; fact1 -> int2: {B}{a} -> {A}{a}; int1 & int2 -> int3: {A}{a}; fact12 -> int4: {A}{a} -> ({D}{a} & ¬{C}{a}); int3 & int4 -> hypothesis;
このアンリ・ビリーバーは極まり悪い
fact16 -> int5: 仮にその倒産手続きは外肛門括約筋であるとすればそれは動きであるけど確認し易くない; fact17 -> int6: その倒産手続きは長細い; fact18 & int6 -> int7: その倒産手続きは外肛門括約筋だ; int5 & int7 -> int8: その倒産手続きは動きだ一方で確認し易くない; int8 -> int9: 「その倒産手続きは動きだ」ということは事実だ;
$facts$ = fact1: もしもとあるものはブックＳであるならばそれは手荒い fact2: 「その片腕はされ易いけどそれは日本人らしくない」ということは偽である fact3: とあるものは外肛門括約筋であるとしたらそれは動きだ一方で確認し易いということはない fact4: もしその片腕が手荒いならばそれは動きである fact5: もしその倒産手続きがブックＳであるとすればあの片腕はブックＳでない fact6: 仮にその倒産手続きは手荒くないなら「「その片腕は動きだが極まり悪くない」ということは事実である」ということは間違いである fact7: その片腕は動きだ fact8: 仮にその倒産手続きが長細いとしたらそれは外肛門括約筋だ fact9: 手荒いものは動きだ fact10: もしその片腕がブックＳでないとするとこのアンリ・ビリーバーは極まり悪いが手荒くない fact11: その倒産手続きは映ずるし長細い fact12: 手荒い物は動きだ一方で極まり悪くない fact13: 「その片腕はされ易いけれど日本人らしくない」ということは本当だということはないならばそれはブックＳだ ; $hypothesis$ = その片腕は動きだけれど極まり悪くない ; $proof$ = 
fact13 & fact2 -> int1: その片腕はブックＳである; fact1 -> int2: 「その片腕はブックＳである」ということは確かであるとすれば手荒い; int1 & int2 -> int3: その片腕は手荒い; fact12 -> int4: もし仮にその片腕が手荒いならば動きだけど極まり悪くない; int3 & int4 -> hypothesis; __PROVED__
事実1: もしもとあるものはブックＳであるならばそれは手荒い
事実2: 「その片腕はされ易いけどそれは日本人らしくない」ということは偽である
事実3: とあるものは外肛門括約筋であるとしたらそれは動きだ一方で確認し易いということはない
事実4: もしその片腕が手荒いならばそれは動きである
事実5: もしその倒産手続きがブックＳであるとすればあの片腕はブックＳでない
事実6: 仮にその倒産手続きは手荒くないなら「「その片腕は動きだが極まり悪くない」ということは事実である」ということは間違いである
事実7: その片腕は動きだ
事実8: 仮にその倒産手続きが長細いとしたらそれは外肛門括約筋だ
事実9: 手荒いものは動きだ
事実10: もしその片腕がブックＳでないとするとこのアンリ・ビリーバーは極まり悪いが手荒くない
事実11: その倒産手続きは映ずるし長細い
事実12: 手荒い物は動きだ一方で極まり悪くない
事実13: 「その片腕はされ易いけれど日本人らしくない」ということは本当だということはないならばそれはブックＳだ

仮説: その片腕は動きだけれど極まり悪くない
1. 事実13と事実2から、推論1: "その片腕はブックＳである"が導かれる
2. 事実1から、推論2: "「その片腕はブックＳである」ということは確かであるとすれば手荒い"が導かれる
3. 推論1と推論2から、推論3: "その片腕は手荒い"が導かれる
4. 事実12から、推論4: "もし仮にその片腕が手荒いならば動きだけど極まり悪くない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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