その安全はけばけばしい
fact1: 「このアバターは採点するということはない」ということは成り立つとすると「その安全はリスト表示するしさらにけばけばしい」ということは成り立たない fact2: あのシリコンチューブはリスト表示しないしそれにそれは当該市政情報でない fact3: このルバイヤートはリスト表示する fact4: もしあるものがリスト表示するし更にそれが採点するとするとそれは御詳しくない fact5: もし仮にその安全が規則正しいが侵食し始めないとしたらそれはけばけばしい fact6: このアバターが御詳しくないならばその安全は規則正しくないし加えてそれは侵食し始めない fact7: その安全は規則正しいということはない fact8: このアバターは侵食し始めるしそれに用い易い fact9: 「このアバターはリスト表示する」ということは成り立つ fact10: 仮にとあるものは規則正しくないし侵食し始めるということはないとすればそれはけばけばしい fact11: このアバターは生まれ易くない fact12: 規則正しくないものは御詳しい一方で採点しない fact13: このアバターは採点する fact14: その下総国は採点する fact15: この端末側は採点する fact16: 規則正しいものは侵食し始めないとするとけばけばしい fact17: もし仮に「なにがしかの物はリスト表示するし加えてけばけばしい」ということは真実でないならそれはけばけばしいということはない fact18: この納豆キナーゼは内接しないし加えて言い忘れない fact19: 仮にこのアバターが御詳しくないとするとその安全は規則正しくない fact20: このアバターは捏ね回すということはない
fact9 & fact13 -> int1: このアバターはリスト表示するしさらに採点する; fact4 -> int2: もしこのアバターはリスト表示するししかも採点すれば御詳しいということはない; int1 & int2 -> int3: このアバターは御詳しくない; int3 & fact6 -> int4: その安全は規則正しくないし侵食し始めるということはない; fact10 -> int5: 仮にその安全が規則正しくなくてかつ侵食し始めないならばけばけばしい; int4 & int5 -> hypothesis;
その安全はけばけばしくない
fact22 -> int6: もし仮に「その安全はリスト表示するしけばけばしい」ということは成り立つということはないとするとそれはけばけばしくない; fact23 -> int7: もし仮に「このアバターは規則正しくない」ということは事実だとしたらそれは御詳しいしそれは採点しない;
$facts$ = fact1: 「このアバターは採点するということはない」ということは成り立つとすると「その安全はリスト表示するしさらにけばけばしい」ということは成り立たない fact2: あのシリコンチューブはリスト表示しないしそれにそれは当該市政情報でない fact3: このルバイヤートはリスト表示する fact4: もしあるものがリスト表示するし更にそれが採点するとするとそれは御詳しくない fact5: もし仮にその安全が規則正しいが侵食し始めないとしたらそれはけばけばしい fact6: このアバターが御詳しくないならばその安全は規則正しくないし加えてそれは侵食し始めない fact7: その安全は規則正しいということはない fact8: このアバターは侵食し始めるしそれに用い易い fact9: 「このアバターはリスト表示する」ということは成り立つ fact10: 仮にとあるものは規則正しくないし侵食し始めるということはないとすればそれはけばけばしい fact11: このアバターは生まれ易くない fact12: 規則正しくないものは御詳しい一方で採点しない fact13: このアバターは採点する fact14: その下総国は採点する fact15: この端末側は採点する fact16: 規則正しいものは侵食し始めないとするとけばけばしい fact17: もし仮に「なにがしかの物はリスト表示するし加えてけばけばしい」ということは真実でないならそれはけばけばしいということはない fact18: この納豆キナーゼは内接しないし加えて言い忘れない fact19: 仮にこのアバターが御詳しくないとするとその安全は規則正しくない fact20: このアバターは捏ね回すということはない ; $hypothesis$ = その安全はけばけばしい ; $proof$ = 
fact9 & fact13 -> int1: このアバターはリスト表示するしさらに採点する; fact4 -> int2: もしこのアバターはリスト表示するししかも採点すれば御詳しいということはない; int1 & int2 -> int3: このアバターは御詳しくない; int3 & fact6 -> int4: その安全は規則正しくないし侵食し始めるということはない; fact10 -> int5: 仮にその安全が規則正しくなくてかつ侵食し始めないならばけばけばしい; int4 & int5 -> hypothesis; __PROVED__
事実1: 「このアバターは採点するということはない」ということは成り立つとすると「その安全はリスト表示するしさらにけばけばしい」ということは成り立たない
事実2: あのシリコンチューブはリスト表示しないしそれにそれは当該市政情報でない
事実3: このルバイヤートはリスト表示する
事実4: もしあるものがリスト表示するし更にそれが採点するとするとそれは御詳しくない
事実5: もし仮にその安全が規則正しいが侵食し始めないとしたらそれはけばけばしい
事実6: このアバターが御詳しくないならばその安全は規則正しくないし加えてそれは侵食し始めない
事実7: その安全は規則正しいということはない
事実8: このアバターは侵食し始めるしそれに用い易い
事実9: 「このアバターはリスト表示する」ということは成り立つ
事実10: 仮にとあるものは規則正しくないし侵食し始めるということはないとすればそれはけばけばしい
事実11: このアバターは生まれ易くない
事実12: 規則正しくないものは御詳しい一方で採点しない
事実13: このアバターは採点する
事実14: その下総国は採点する
事実15: この端末側は採点する
事実16: 規則正しいものは侵食し始めないとするとけばけばしい
事実17: もし仮に「なにがしかの物はリスト表示するし加えてけばけばしい」ということは真実でないならそれはけばけばしいということはない
事実18: この納豆キナーゼは内接しないし加えて言い忘れない
事実19: 仮にこのアバターが御詳しくないとするとその安全は規則正しくない
事実20: このアバターは捏ね回すということはない

仮説: その安全はけばけばしい
1. 事実9と事実13から、推論1: "このアバターはリスト表示するしさらに採点する"が導かれる
2. 事実4から、推論2: "もしこのアバターはリスト表示するししかも採点すれば御詳しいということはない"が導かれる
3. 推論1と推論2から、推論3: "このアバターは御詳しくない"が導かれる
4. 推論3と事実6から、推論4: "その安全は規則正しくないし侵食し始めるということはない"が導かれる
5. 事実10から、推論5: "仮にその安全が規則正しくなくてかつ侵食し始めないならばけばけばしい"が導かれる
6. 推論4と推論5から、仮説が導かれる

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