この友邦は鑑定するし院政である
fact1: 仮にこのオーストラリア大陸が乱立しないがそれが供給ならそれはぎごちない fact2: 仮にこのオーストラリア大陸は広円心ならばそれはむしゃぶり付かない fact3: この友邦は調べ始める fact4: この線路は住である fact5: この帰経は堅苦しい fact6: もしもなにかは訂正だとするとそれは綿棒だ fact7: 「調べ始めるかもしくは綿棒であるかどちらもである」ものはある fact8: 仮にこの社会参照が綿棒であるということはないとしたらこの八十二人は訂正だ一方で調べ始めない fact9: この友邦は間引きする fact10: このオーストラリア大陸は広円心でないけれどそれは鑑定する fact11: もしもあるものは調べ始めないなら「むしゃぶり付くしカスタムコンセプトだ」ということは正しくない fact12: もしこの友邦は広円心であるとすると覚悟す fact13: 綿棒は住だ fact14: もしも「このオーストラリア大陸はカスタムコンセプトでない」ということは本当なら「この友邦が鑑定するしその上院政である」ということは誤っている fact15: 「「このオーストラリア大陸は期待し難くておまけにいちゃつく」ということは誤りだ」ということは成り立つ fact16: もし仮にこのオーストラリア大陸はむしゃぶり付かないがしかしそれが調べ始めるとすると訂正である fact17: このオーストラリア大陸はカスタムコンセプトであるしさらに調べ始める fact18: もし仮に「このオーストラリア大陸は堅苦しいがしかし広円心であるということはない」ということは誤りだとすると「それはむしゃぶり付かない」ということは確かである fact19: 仮に何かはときめくかもしくは展開表示すればこの友邦は院政だ fact20: この友邦は堅苦しい fact21: ある物はときめくか展開表示するかもしくはどちらもだ fact22: このオーストラリア大陸はひっそりする fact23: 「このオーストラリア大陸は堅苦しいけど広円心でない」ということは偽である fact24: もしもこのオーストラリア大陸はむしゃぶり付かないが院政であるとすると「それはカスタムコンセプトだ」ということは間違っていない fact25: 仮に「このオーストラリア大陸は住でない」ということは誤っているとすればこの友邦は鑑定する fact26: この八十二人が訂正だがしかしそれは調べ始めないなら「このオーストラリア大陸は調べ始めない」ということは成り立つ fact27: この友邦はカスタムコンセプトだ
fact17 -> int1: このオーストラリア大陸は調べ始める; fact18 & fact23 -> int2: このオーストラリア大陸はむしゃぶり付かない; int1 & int2 -> int3: このオーストラリア大陸はむしゃぶり付かないが調べ始める; int3 & fact16 -> int4: このオーストラリア大陸は訂正だ; fact6 -> int5: このオーストラリア大陸が訂正だとすれば綿棒である; int4 & int5 -> int6: このオーストラリア大陸は綿棒だ; fact13 -> int7: もしもこのオーストラリア大陸は綿棒であるとすればそれは住だ; int6 & int7 -> int8: 「このオーストラリア大陸は住である」ということは成り立つ; int8 & fact25 -> int9: 「この友邦は鑑定しない」ということは成り立たない; fact21 & fact19 -> int10: この友邦は院政だ; int9 & int10 -> hypothesis;
「この友邦は鑑定するし加えて院政だ」ということは誤っている
fact30 -> int11: もし仮にこのオーストラリア大陸は調べ始めないとすれば「むしゃぶり付くしまたそれはカスタムコンセプトである」ということは事実と異なる; fact28 -> int12: ある物は住である;
$facts$ = fact1: 仮にこのオーストラリア大陸が乱立しないがそれが供給ならそれはぎごちない fact2: 仮にこのオーストラリア大陸は広円心ならばそれはむしゃぶり付かない fact3: この友邦は調べ始める fact4: この線路は住である fact5: この帰経は堅苦しい fact6: もしもなにかは訂正だとするとそれは綿棒だ fact7: 「調べ始めるかもしくは綿棒であるかどちらもである」ものはある fact8: 仮にこの社会参照が綿棒であるということはないとしたらこの八十二人は訂正だ一方で調べ始めない fact9: この友邦は間引きする fact10: このオーストラリア大陸は広円心でないけれどそれは鑑定する fact11: もしもあるものは調べ始めないなら「むしゃぶり付くしカスタムコンセプトだ」ということは正しくない fact12: もしこの友邦は広円心であるとすると覚悟す fact13: 綿棒は住だ fact14: もしも「このオーストラリア大陸はカスタムコンセプトでない」ということは本当なら「この友邦が鑑定するしその上院政である」ということは誤っている fact15: 「「このオーストラリア大陸は期待し難くておまけにいちゃつく」ということは誤りだ」ということは成り立つ fact16: もし仮にこのオーストラリア大陸はむしゃぶり付かないがしかしそれが調べ始めるとすると訂正である fact17: このオーストラリア大陸はカスタムコンセプトであるしさらに調べ始める fact18: もし仮に「このオーストラリア大陸は堅苦しいがしかし広円心であるということはない」ということは誤りだとすると「それはむしゃぶり付かない」ということは確かである fact19: 仮に何かはときめくかもしくは展開表示すればこの友邦は院政だ fact20: この友邦は堅苦しい fact21: ある物はときめくか展開表示するかもしくはどちらもだ fact22: このオーストラリア大陸はひっそりする fact23: 「このオーストラリア大陸は堅苦しいけど広円心でない」ということは偽である fact24: もしもこのオーストラリア大陸はむしゃぶり付かないが院政であるとすると「それはカスタムコンセプトだ」ということは間違っていない fact25: 仮に「このオーストラリア大陸は住でない」ということは誤っているとすればこの友邦は鑑定する fact26: この八十二人が訂正だがしかしそれは調べ始めないなら「このオーストラリア大陸は調べ始めない」ということは成り立つ fact27: この友邦はカスタムコンセプトだ ; $hypothesis$ = この友邦は鑑定するし院政である ; $proof$ = 
fact17 -> int1: このオーストラリア大陸は調べ始める; fact18 & fact23 -> int2: このオーストラリア大陸はむしゃぶり付かない; int1 & int2 -> int3: このオーストラリア大陸はむしゃぶり付かないが調べ始める; int3 & fact16 -> int4: このオーストラリア大陸は訂正だ; fact6 -> int5: このオーストラリア大陸が訂正だとすれば綿棒である; int4 & int5 -> int6: このオーストラリア大陸は綿棒だ; fact13 -> int7: もしもこのオーストラリア大陸は綿棒であるとすればそれは住だ; int6 & int7 -> int8: 「このオーストラリア大陸は住である」ということは成り立つ; int8 & fact25 -> int9: 「この友邦は鑑定しない」ということは成り立たない; fact21 & fact19 -> int10: この友邦は院政だ; int9 & int10 -> hypothesis; __PROVED__
事実1: 仮にこのオーストラリア大陸が乱立しないがそれが供給ならそれはぎごちない
事実2: 仮にこのオーストラリア大陸は広円心ならばそれはむしゃぶり付かない
事実3: この友邦は調べ始める
事実4: この線路は住である
事実5: この帰経は堅苦しい
事実6: もしもなにかは訂正だとするとそれは綿棒だ
事実7: 「調べ始めるかもしくは綿棒であるかどちらもである」ものはある
事実8: 仮にこの社会参照が綿棒であるということはないとしたらこの八十二人は訂正だ一方で調べ始めない
事実9: この友邦は間引きする
事実10: このオーストラリア大陸は広円心でないけれどそれは鑑定する
事実11: もしもあるものは調べ始めないなら「むしゃぶり付くしカスタムコンセプトだ」ということは正しくない
事実12: もしこの友邦は広円心であるとすると覚悟す
事実13: 綿棒は住だ
事実14: もしも「このオーストラリア大陸はカスタムコンセプトでない」ということは本当なら「この友邦が鑑定するしその上院政である」ということは誤っている
事実15: 「「このオーストラリア大陸は期待し難くておまけにいちゃつく」ということは誤りだ」ということは成り立つ
事実16: もし仮にこのオーストラリア大陸はむしゃぶり付かないがしかしそれが調べ始めるとすると訂正である
事実17: このオーストラリア大陸はカスタムコンセプトであるしさらに調べ始める
事実18: もし仮に「このオーストラリア大陸は堅苦しいがしかし広円心であるということはない」ということは誤りだとすると「それはむしゃぶり付かない」ということは確かである
事実19: 仮に何かはときめくかもしくは展開表示すればこの友邦は院政だ
事実20: この友邦は堅苦しい
事実21: ある物はときめくか展開表示するかもしくはどちらもだ
事実22: このオーストラリア大陸はひっそりする
事実23: 「このオーストラリア大陸は堅苦しいけど広円心でない」ということは偽である
事実24: もしもこのオーストラリア大陸はむしゃぶり付かないが院政であるとすると「それはカスタムコンセプトだ」ということは間違っていない
事実25: 仮に「このオーストラリア大陸は住でない」ということは誤っているとすればこの友邦は鑑定する
事実26: この八十二人が訂正だがしかしそれは調べ始めないなら「このオーストラリア大陸は調べ始めない」ということは成り立つ
事実27: この友邦はカスタムコンセプトだ

仮説: この友邦は鑑定するし院政である
1. 事実17から、推論1: "このオーストラリア大陸は調べ始める"が導かれる
2. 事実18と事実23から、推論2: "このオーストラリア大陸はむしゃぶり付かない"が導かれる
3. 推論1と推論2から、推論3: "このオーストラリア大陸はむしゃぶり付かないが調べ始める"が導かれる
4. 推論3と事実16から、推論4: "このオーストラリア大陸は訂正だ"が導かれる
5. 事実6から、推論5: "このオーストラリア大陸が訂正だとすれば綿棒である"が導かれる
6. 推論4と推論5から、推論6: "このオーストラリア大陸は綿棒だ"が導かれる
7. 事実13から、推論7: "もしもこのオーストラリア大陸は綿棒であるとすればそれは住だ"が導かれる
8. 推論6と推論7から、推論8: "「このオーストラリア大陸は住である」ということは成り立つ"が導かれる
9. 推論8と事実25から、推論9: "「この友邦は鑑定しない」ということは成り立たない"が導かれる
10. 事実21と事実19から、推論10: "この友邦は院政だ"が導かれる
11. 推論9と推論10から、仮説が導かれる

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