あの芸態は人懐こいしおまけに断ち切れる
fact1: もしも「この尽きは教会側でないし煽らない」ということは間違いであるとするとこの旧株は標準化しない fact2: あの芸態は断ち切れる fact3: もしあの黒駒はどうして良いということはないとすると「塩茹でするということはないかもしくはそれは腹立つかあるいは両方ともである」ということは成り立たない fact4: 仮にこのディアマンテが大宰であるということはないとしたらそれは視察者でなくてそれは煽る fact5: あの黒駒が標準化するということはないとしたらこの旧株は教会側だということはない一方で標準化する fact6: 仮にこの旧株が標準化しないとすればあの芸態は視察者でない fact7: あの外交員がどうして良いならばあの実験・実習は運び易くない fact8: もし仮にこの旧株が視察者でないけれど煽るとすればこの尽きは大宰だ fact9: 「仮にとある物は視察者でないとすると「人懐こいものであっておまけに断ち切れる」ということは間違っている」ということは真実である fact10: あの黒駒はどうして良くない fact11: この特別室は断ち切れる fact12: もしもとあるものは運び易くないとすると「大宰だ」ということは成り立つ fact13: もし「この尽きは大宰だ」ということは成り立つとしたら「あの芸態は人懐こい」ということは真実である fact14: もし仮になにがしかの物が作品画像だとしたらそれは打っ込みであるかまたはそれは御見せしないかまたはどちらもである fact15: この旧株は煽るし運び易い fact16: もしその実験・実習は大宰だとしたら「この尽きは教会側でなくてそれは煽らない」ということは誤りだ fact17: 仮に「とあるものは塩茹でしないか腹立つかもしくはどちらもである」ということは間違いであるなら標準化しない fact18: とある物が打っ込みであるかもしくは御見せしないとしたらどうして良い fact19: 仮に何かは教会側であるということはないが標準化するとするとそれは視察者でない fact20: もし仮になんらかの物が標準化するか視察者でないとしたら教会側でない
fact17 -> int1: もしも「「あの黒駒は塩茹でしないか腹立つかあるいはどちらもだ」ということは成り立つ」ということは確かでないとしたらそれは標準化するということはない; fact3 & fact10 -> int2: 「あの黒駒は塩茹でするということはないかあるいは腹立つかもしくは両方である」ということは確かでない; int1 & int2 -> int3: あの黒駒は標準化するということはない; int3 & fact5 -> int4: この旧株は教会側であるということはないがしかし標準化する; fact19 -> int5: もしもこの旧株は教会側でないがしかし標準化するとするとそれは視察者でない; int4 & int5 -> int6: この旧株は視察者でない; fact15 -> int7: この旧株は煽る; int6 & int7 -> int8: この旧株は視察者でないけれど煽る; int8 & fact8 -> int9: この尽きは大宰だ; int9 & fact13 -> int10: あの芸態は人懐こい; int10 & fact2 -> hypothesis;
このディアマンテは教会側でない
fact21 -> int11: このディアマンテが標準化するかあるいは視察者でないとしたらそれは教会側でない;
$facts$ = fact1: もしも「この尽きは教会側でないし煽らない」ということは間違いであるとするとこの旧株は標準化しない fact2: あの芸態は断ち切れる fact3: もしあの黒駒はどうして良いということはないとすると「塩茹でするということはないかもしくはそれは腹立つかあるいは両方ともである」ということは成り立たない fact4: 仮にこのディアマンテが大宰であるということはないとしたらそれは視察者でなくてそれは煽る fact5: あの黒駒が標準化するということはないとしたらこの旧株は教会側だということはない一方で標準化する fact6: 仮にこの旧株が標準化しないとすればあの芸態は視察者でない fact7: あの外交員がどうして良いならばあの実験・実習は運び易くない fact8: もし仮にこの旧株が視察者でないけれど煽るとすればこの尽きは大宰だ fact9: 「仮にとある物は視察者でないとすると「人懐こいものであっておまけに断ち切れる」ということは間違っている」ということは真実である fact10: あの黒駒はどうして良くない fact11: この特別室は断ち切れる fact12: もしもとあるものは運び易くないとすると「大宰だ」ということは成り立つ fact13: もし「この尽きは大宰だ」ということは成り立つとしたら「あの芸態は人懐こい」ということは真実である fact14: もし仮になにがしかの物が作品画像だとしたらそれは打っ込みであるかまたはそれは御見せしないかまたはどちらもである fact15: この旧株は煽るし運び易い fact16: もしその実験・実習は大宰だとしたら「この尽きは教会側でなくてそれは煽らない」ということは誤りだ fact17: 仮に「とあるものは塩茹でしないか腹立つかもしくはどちらもである」ということは間違いであるなら標準化しない fact18: とある物が打っ込みであるかもしくは御見せしないとしたらどうして良い fact19: 仮に何かは教会側であるということはないが標準化するとするとそれは視察者でない fact20: もし仮になんらかの物が標準化するか視察者でないとしたら教会側でない ; $hypothesis$ = あの芸態は人懐こいしおまけに断ち切れる ; $proof$ = 
fact17 -> int1: もしも「「あの黒駒は塩茹でしないか腹立つかあるいはどちらもだ」ということは成り立つ」ということは確かでないとしたらそれは標準化するということはない; fact3 & fact10 -> int2: 「あの黒駒は塩茹でするということはないかあるいは腹立つかもしくは両方である」ということは確かでない; int1 & int2 -> int3: あの黒駒は標準化するということはない; int3 & fact5 -> int4: この旧株は教会側であるということはないがしかし標準化する; fact19 -> int5: もしもこの旧株は教会側でないがしかし標準化するとするとそれは視察者でない; int4 & int5 -> int6: この旧株は視察者でない; fact15 -> int7: この旧株は煽る; int6 & int7 -> int8: この旧株は視察者でないけれど煽る; int8 & fact8 -> int9: この尽きは大宰だ; int9 & fact13 -> int10: あの芸態は人懐こい; int10 & fact2 -> hypothesis; __PROVED__
事実1: もしも「この尽きは教会側でないし煽らない」ということは間違いであるとするとこの旧株は標準化しない
事実2: あの芸態は断ち切れる
事実3: もしあの黒駒はどうして良いということはないとすると「塩茹でするということはないかもしくはそれは腹立つかあるいは両方ともである」ということは成り立たない
事実4: 仮にこのディアマンテが大宰であるということはないとしたらそれは視察者でなくてそれは煽る
事実5: あの黒駒が標準化するということはないとしたらこの旧株は教会側だということはない一方で標準化する
事実6: 仮にこの旧株が標準化しないとすればあの芸態は視察者でない
事実7: あの外交員がどうして良いならばあの実験・実習は運び易くない
事実8: もし仮にこの旧株が視察者でないけれど煽るとすればこの尽きは大宰だ
事実9: 「仮にとある物は視察者でないとすると「人懐こいものであっておまけに断ち切れる」ということは間違っている」ということは真実である
事実10: あの黒駒はどうして良くない
事実11: この特別室は断ち切れる
事実12: もしもとあるものは運び易くないとすると「大宰だ」ということは成り立つ
事実13: もし「この尽きは大宰だ」ということは成り立つとしたら「あの芸態は人懐こい」ということは真実である
事実14: もし仮になにがしかの物が作品画像だとしたらそれは打っ込みであるかまたはそれは御見せしないかまたはどちらもである
事実15: この旧株は煽るし運び易い
事実16: もしその実験・実習は大宰だとしたら「この尽きは教会側でなくてそれは煽らない」ということは誤りだ
事実17: 仮に「とあるものは塩茹でしないか腹立つかもしくはどちらもである」ということは間違いであるなら標準化しない
事実18: とある物が打っ込みであるかもしくは御見せしないとしたらどうして良い
事実19: 仮に何かは教会側であるということはないが標準化するとするとそれは視察者でない
事実20: もし仮になんらかの物が標準化するか視察者でないとしたら教会側でない

仮説: あの芸態は人懐こいしおまけに断ち切れる
1. 事実17から、推論1: "もしも「「あの黒駒は塩茹でしないか腹立つかあるいはどちらもだ」ということは成り立つ」ということは確かでないとしたらそれは標準化するということはない"が導かれる
2. 事実3と事実10から、推論2: "「あの黒駒は塩茹でするということはないかあるいは腹立つかもしくは両方である」ということは確かでない"が導かれる
3. 推論1と推論2から、推論3: "あの黒駒は標準化するということはない"が導かれる
4. 推論3と事実5から、推論4: "この旧株は教会側であるということはないがしかし標準化する"が導かれる
5. 事実19から、推論5: "もしもこの旧株は教会側でないがしかし標準化するとするとそれは視察者でない"が導かれる
6. 推論4と推論5から、推論6: "この旧株は視察者でない"が導かれる
7. 事実15から、推論7: "この旧株は煽る"が導かれる
8. 推論6と推論7から、推論8: "この旧株は視察者でないけれど煽る"が導かれる
9. 推論8と事実8から、推論9: "この尽きは大宰だ"が導かれる
10. 推論9と事実13から、推論10: "あの芸態は人懐こい"が導かれる
11. 推論10と事実2から、仮説が導かれる

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