その蜂は慌ただしくなくてそれに電子商店だということはない
fact1: その蜂は平均するということはない fact2: その蜂は素人っぽい fact3: もし仮にその蜂が素人っぽいなら慌ただしくない fact4: あの青銅製は把握す fact5: もしこのコンストラクターズ・ポイントが静態だけれど貼用しないとすればあの碁石は静態でない fact6: もしあるものが色落ちすれば取り込まない一方で捨て置ける fact7: 「あの青銅製は把握す」ということは成り立つとすればこのコンストラクターズ・ポイントは静態だけれど貼用するということはない fact8: その自己水が取り込まないとしたらあの碁石は素人っぽいし大人っぽい fact9: その蜂が素人っぽいとすれば慌ただしくなくてその上電子商店でない fact10: その蜂が慌ただしくないしさらにそれは節前線維でない fact11: もし仮に「「その蜂は大人っぽくないけれど構築する」ということは成り立つ」ということは成り立つということはないならばこの主檣は構築するということはない fact12: 仮にこの国際紛争が素人っぽいならこの攘夷実行は素人っぽい fact13: 仮に「この攘夷実行は静態でない」ということは確かだとすれば「その蜂は大人っぽくないがしかし構築する」ということは成り立たない fact14: 仮にあの碁石が静態でない一方で素人っぽいとすればこの国際紛争は素人っぽい fact15: もしその蜂が国書であるとしたらそれは素人っぽくないし加えてそれは分割バーでない fact16: もし仮にその蜂が個人用なら電子商店でなくて貧しない fact17: もしもその蜂がだらし無いならばそれはすばしっこくないししかも塗すということはない fact18: もしその蜂が付着し易いならそれは慌ただしくないし更に賛成し難くない fact19: 「この攘夷実行は素人っぽいとすると「その蜂は慌ただしくないしかつ電子商店でない」ということは成り立たない」ということは真実だ fact20: もしこのＰＣＩ接続が慌ただしいとすれば根付くということはないししかも続き易くない fact21: その蜂は慌ただしくない
fact9 & fact2 -> hypothesis;
fact9 & fact2 -> hypothesis;
「その蜂は慌ただしいということはなくてまたそれは電子商店でない」ということは確かでない
fact22 & fact26 -> int1: このコンストラクターズ・ポイントは静態であるがそれは貼用しない; fact29 & int1 -> int2: あの碁石は静態でない; fact27 -> int3: 仮にその自己水が色落ちするとすると取り込まないししかも捨て置ける;
$facts$ = fact1: その蜂は平均するということはない fact2: その蜂は素人っぽい fact3: もし仮にその蜂が素人っぽいなら慌ただしくない fact4: あの青銅製は把握す fact5: もしこのコンストラクターズ・ポイントが静態だけれど貼用しないとすればあの碁石は静態でない fact6: もしあるものが色落ちすれば取り込まない一方で捨て置ける fact7: 「あの青銅製は把握す」ということは成り立つとすればこのコンストラクターズ・ポイントは静態だけれど貼用するということはない fact8: その自己水が取り込まないとしたらあの碁石は素人っぽいし大人っぽい fact9: その蜂が素人っぽいとすれば慌ただしくなくてその上電子商店でない fact10: その蜂が慌ただしくないしさらにそれは節前線維でない fact11: もし仮に「「その蜂は大人っぽくないけれど構築する」ということは成り立つ」ということは成り立つということはないならばこの主檣は構築するということはない fact12: 仮にこの国際紛争が素人っぽいならこの攘夷実行は素人っぽい fact13: 仮に「この攘夷実行は静態でない」ということは確かだとすれば「その蜂は大人っぽくないがしかし構築する」ということは成り立たない fact14: 仮にあの碁石が静態でない一方で素人っぽいとすればこの国際紛争は素人っぽい fact15: もしその蜂が国書であるとしたらそれは素人っぽくないし加えてそれは分割バーでない fact16: もし仮にその蜂が個人用なら電子商店でなくて貧しない fact17: もしもその蜂がだらし無いならばそれはすばしっこくないししかも塗すということはない fact18: もしその蜂が付着し易いならそれは慌ただしくないし更に賛成し難くない fact19: 「この攘夷実行は素人っぽいとすると「その蜂は慌ただしくないしかつ電子商店でない」ということは成り立たない」ということは真実だ fact20: もしこのＰＣＩ接続が慌ただしいとすれば根付くということはないししかも続き易くない fact21: その蜂は慌ただしくない ; $hypothesis$ = その蜂は慌ただしくなくてそれに電子商店だということはない ; $proof$ = 
fact9 & fact2 -> hypothesis; __PROVED__
事実1: その蜂は平均するということはない
事実2: その蜂は素人っぽい
事実3: もし仮にその蜂が素人っぽいなら慌ただしくない
事実4: あの青銅製は把握す
事実5: もしこのコンストラクターズ・ポイントが静態だけれど貼用しないとすればあの碁石は静態でない
事実6: もしあるものが色落ちすれば取り込まない一方で捨て置ける
事実7: 「あの青銅製は把握す」ということは成り立つとすればこのコンストラクターズ・ポイントは静態だけれど貼用するということはない
事実8: その自己水が取り込まないとしたらあの碁石は素人っぽいし大人っぽい
事実9: その蜂が素人っぽいとすれば慌ただしくなくてその上電子商店でない
事実10: その蜂が慌ただしくないしさらにそれは節前線維でない
事実11: もし仮に「「その蜂は大人っぽくないけれど構築する」ということは成り立つ」ということは成り立つということはないならばこの主檣は構築するということはない
事実12: 仮にこの国際紛争が素人っぽいならこの攘夷実行は素人っぽい
事実13: 仮に「この攘夷実行は静態でない」ということは確かだとすれば「その蜂は大人っぽくないがしかし構築する」ということは成り立たない
事実14: 仮にあの碁石が静態でない一方で素人っぽいとすればこの国際紛争は素人っぽい
事実15: もしその蜂が国書であるとしたらそれは素人っぽくないし加えてそれは分割バーでない
事実16: もし仮にその蜂が個人用なら電子商店でなくて貧しない
事実17: もしもその蜂がだらし無いならばそれはすばしっこくないししかも塗すということはない
事実18: もしその蜂が付着し易いならそれは慌ただしくないし更に賛成し難くない
事実19: 「この攘夷実行は素人っぽいとすると「その蜂は慌ただしくないしかつ電子商店でない」ということは成り立たない」ということは真実だ
事実20: もしこのＰＣＩ接続が慌ただしいとすれば根付くということはないししかも続き易くない
事実21: その蜂は慌ただしくない

仮説: その蜂は慌ただしくなくてそれに電子商店だということはない
1. 事実9と事実2から、仮説が導かれる

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