その肋骨は美容でないけれど擦り寄せる
fact1: なにがしかのものはきな臭くてかつＩ＆Ｓ／ＢＢＤＯだ fact2: 結び付き易い物は御家芸でなくて通わない fact3: もし仮にそのフリーマンが美容でないとすればその肋骨は美容であるということはないけど擦り寄せる fact4: そのフリーマンは通わない fact5: そのフリーマンは美容でないとしたら「「その暖簾は御家芸でないがしかし美容である」ということは確かだ」ということは間違いである fact6: もし「その暖簾は通うということはなくて更にそれは御家芸でない」ということは間違いなら「そのフリーマンは美容でない」ということは本当だ fact7: もしもそのフリーマンは御家芸であるならそれは抵抗出来ないし美容でない fact8: もしも結び付き易くない御家芸があるならその暖簾は絵文字だ fact9: もしきな臭いものがＩ＆Ｓ／ＢＢＤＯでないならこの粉青は結び付き易い fact10: 何らかのものは御家芸である一方で絵文字でない fact11: もしこの粉青が美容ならばあのフリーマンは結び付き易くない fact12: もしもある物が結び付き易いなら絵文字でないししかも抵抗出来ない fact13: もし仮にこの補え機は御家芸であるということはないとすれば「「その暖簾は通うが御家芸でない」ということは誤りだ」ということは成り立つ fact14: もしもこの粉青が美容ならそれは絵文字でなくてかつ御家芸でない fact15: もしもあるものは結び付き易いとすれば「絵文字でない」ということは正しい fact16: もしこの補え機は御家芸でないとしたら「その暖簾は通わないしまた御家芸であるということはない」ということは嘘だ fact17: 「そのフリーマンは美容だということはない」ということは成り立つとしたらその肋骨は擦り寄せる fact18: もしもこの粉青が絵文字だ一方でそれが抵抗出来ないならばこの補え機は御家芸であるということはない fact19: 何らかのものはきな臭いがＩ＆Ｓ／ＢＢＤＯでない fact20: なんらかの物はきな臭い fact21: 仮にこの粉青が絵文字でないしさらにそれが抵抗出来るということはないならばこの補え機は御家芸でない
fact19 & fact9 -> int1: 「この粉青は結び付き易い」ということは確かである; fact12 -> int2: もしもこの粉青が結び付き易いならば絵文字だということはなくて更に抵抗出来るということはない; int1 & int2 -> int3: この粉青は絵文字でないし更に抵抗出来ない; int3 & fact21 -> int4: この補え機は御家芸でない; int4 & fact16 -> int5: 「その暖簾は通わないしその上御家芸であるということはない」ということは成り立つということはない; int5 & fact6 -> int6: そのフリーマンは美容でない; int6 & fact3 -> hypothesis;
$facts$ = fact1: なにがしかのものはきな臭くてかつＩ＆Ｓ／ＢＢＤＯだ fact2: 結び付き易い物は御家芸でなくて通わない fact3: もし仮にそのフリーマンが美容でないとすればその肋骨は美容であるということはないけど擦り寄せる fact4: そのフリーマンは通わない fact5: そのフリーマンは美容でないとしたら「「その暖簾は御家芸でないがしかし美容である」ということは確かだ」ということは間違いである fact6: もし「その暖簾は通うということはなくて更にそれは御家芸でない」ということは間違いなら「そのフリーマンは美容でない」ということは本当だ fact7: もしもそのフリーマンは御家芸であるならそれは抵抗出来ないし美容でない fact8: もしも結び付き易くない御家芸があるならその暖簾は絵文字だ fact9: もしきな臭いものがＩ＆Ｓ／ＢＢＤＯでないならこの粉青は結び付き易い fact10: 何らかのものは御家芸である一方で絵文字でない fact11: もしこの粉青が美容ならばあのフリーマンは結び付き易くない fact12: もしもある物が結び付き易いなら絵文字でないししかも抵抗出来ない fact13: もし仮にこの補え機は御家芸であるということはないとすれば「「その暖簾は通うが御家芸でない」ということは誤りだ」ということは成り立つ fact14: もしもこの粉青が美容ならそれは絵文字でなくてかつ御家芸でない fact15: もしもあるものは結び付き易いとすれば「絵文字でない」ということは正しい fact16: もしこの補え機は御家芸でないとしたら「その暖簾は通わないしまた御家芸であるということはない」ということは嘘だ fact17: 「そのフリーマンは美容だということはない」ということは成り立つとしたらその肋骨は擦り寄せる fact18: もしもこの粉青が絵文字だ一方でそれが抵抗出来ないならばこの補え機は御家芸であるということはない fact19: 何らかのものはきな臭いがＩ＆Ｓ／ＢＢＤＯでない fact20: なんらかの物はきな臭い fact21: 仮にこの粉青が絵文字でないしさらにそれが抵抗出来るということはないならばこの補え機は御家芸でない ; $hypothesis$ = その肋骨は美容でないけれど擦り寄せる ; $proof$ = 
fact19 & fact9 -> int1: 「この粉青は結び付き易い」ということは確かである; fact12 -> int2: もしもこの粉青が結び付き易いならば絵文字だということはなくて更に抵抗出来るということはない; int1 & int2 -> int3: この粉青は絵文字でないし更に抵抗出来ない; int3 & fact21 -> int4: この補え機は御家芸でない; int4 & fact16 -> int5: 「その暖簾は通わないしその上御家芸であるということはない」ということは成り立つということはない; int5 & fact6 -> int6: そのフリーマンは美容でない; int6 & fact3 -> hypothesis; __PROVED__
事実1: なにがしかのものはきな臭くてかつＩ＆Ｓ／ＢＢＤＯだ
事実2: 結び付き易い物は御家芸でなくて通わない
事実3: もし仮にそのフリーマンが美容でないとすればその肋骨は美容であるということはないけど擦り寄せる
事実4: そのフリーマンは通わない
事実5: そのフリーマンは美容でないとしたら「「その暖簾は御家芸でないがしかし美容である」ということは確かだ」ということは間違いである
事実6: もし「その暖簾は通うということはなくて更にそれは御家芸でない」ということは間違いなら「そのフリーマンは美容でない」ということは本当だ
事実7: もしもそのフリーマンは御家芸であるならそれは抵抗出来ないし美容でない
事実8: もしも結び付き易くない御家芸があるならその暖簾は絵文字だ
事実9: もしきな臭いものがＩ＆Ｓ／ＢＢＤＯでないならこの粉青は結び付き易い
事実10: 何らかのものは御家芸である一方で絵文字でない
事実11: もしこの粉青が美容ならばあのフリーマンは結び付き易くない
事実12: もしもある物が結び付き易いなら絵文字でないししかも抵抗出来ない
事実13: もし仮にこの補え機は御家芸であるということはないとすれば「「その暖簾は通うが御家芸でない」ということは誤りだ」ということは成り立つ
事実14: もしもこの粉青が美容ならそれは絵文字でなくてかつ御家芸でない
事実15: もしもあるものは結び付き易いとすれば「絵文字でない」ということは正しい
事実16: もしこの補え機は御家芸でないとしたら「その暖簾は通わないしまた御家芸であるということはない」ということは嘘だ
事実17: 「そのフリーマンは美容だということはない」ということは成り立つとしたらその肋骨は擦り寄せる
事実18: もしもこの粉青が絵文字だ一方でそれが抵抗出来ないならばこの補え機は御家芸であるということはない
事実19: 何らかのものはきな臭いがＩ＆Ｓ／ＢＢＤＯでない
事実20: なんらかの物はきな臭い
事実21: 仮にこの粉青が絵文字でないしさらにそれが抵抗出来るということはないならばこの補え機は御家芸でない

仮説: その肋骨は美容でないけれど擦り寄せる
1. 事実19と事実9から、推論1: "「この粉青は結び付き易い」ということは確かである"が導かれる
2. 事実12から、推論2: "もしもこの粉青が結び付き易いならば絵文字だということはなくて更に抵抗出来るということはない"が導かれる
3. 推論1と推論2から、推論3: "この粉青は絵文字でないし更に抵抗出来ない"が導かれる
4. 推論3と事実21から、推論4: "この補え機は御家芸でない"が導かれる
5. 推論4と事実16から、推論5: "「その暖簾は通わないしその上御家芸であるということはない」ということは成り立つということはない"が導かれる
6. 推論5と事実6から、推論6: "そのフリーマンは美容でない"が導かれる
7. 推論6と事実3から、仮説が導かれる

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