「その意気揚々は自問するかまたは古めかしいか両方だ」ということは確かでない
fact1: そのロックウール栽培は捨て難くない fact2: 「捨て難くない」物はある fact3: もしもそのロックウール栽培が自問するとするとこのパブは智天使でないし古めかしくない fact4: 仮にこのパブは古めかしくないとすれば「その意気揚々は自問するか古めかしいかあるいはどちらもだ」ということは成り立たない fact5: あの蛸釣りは完全燃焼であるとすると「そのロックウール栽培は捨て難くない」ということは確かだ fact6: もし仮にとあるものが智天使だということはないし捨て難くないならばこのパブは古めかしくない fact7: あの蛸釣りは完全燃焼だ fact8: 「このパブはセンタリングであるかそれは世知辛いかもしくはどちらもだ」ということは成り立たない fact9: もしもあの蛸釣りが自問するとすればその意気揚々は自問する fact10: もし仮にあの蛸釣りが完全燃焼だとしたらそのロックウール栽培は智天使でなくてまた捨て難くない fact11: その意気揚々は古めかしくない fact12: もしこのパブが古めかしいということはないとしたらその意気揚々は古めかしくない fact13: とあるものは智天使でないけれど捨て難い fact14: その意気揚々は自問しないとしたら「このパブは古めかしいか自問するかまたはどちらもである」ということは成り立たない fact15: その意気揚々が捨て難いならばそのロックウール栽培は古めかしくないしそれに智天使でない fact16: ある物は智天使であるが捨て難くない fact17: そのロックウール栽培はマウントしなくて捨て難くない fact18: なにがしかの物は智天使でない fact19: とあるものはストックでなくて漏れ易いということはない
fact10 & fact7 -> int1: そのロックウール栽培は智天使でなくてそれに捨て難くない; int1 -> int2: あるものは智天使でなくてその上捨て難くない; int2 & fact6 -> int3: 「このパブは古めかしくない」ということは成り立つ; int3 & fact4 -> hypothesis;
その意気揚々は自問するかまたは古めかしいかあるいはどちらもである
$facts$ = fact1: そのロックウール栽培は捨て難くない fact2: 「捨て難くない」物はある fact3: もしもそのロックウール栽培が自問するとするとこのパブは智天使でないし古めかしくない fact4: 仮にこのパブは古めかしくないとすれば「その意気揚々は自問するか古めかしいかあるいはどちらもだ」ということは成り立たない fact5: あの蛸釣りは完全燃焼であるとすると「そのロックウール栽培は捨て難くない」ということは確かだ fact6: もし仮にとあるものが智天使だということはないし捨て難くないならばこのパブは古めかしくない fact7: あの蛸釣りは完全燃焼だ fact8: 「このパブはセンタリングであるかそれは世知辛いかもしくはどちらもだ」ということは成り立たない fact9: もしもあの蛸釣りが自問するとすればその意気揚々は自問する fact10: もし仮にあの蛸釣りが完全燃焼だとしたらそのロックウール栽培は智天使でなくてまた捨て難くない fact11: その意気揚々は古めかしくない fact12: もしこのパブが古めかしいということはないとしたらその意気揚々は古めかしくない fact13: とあるものは智天使でないけれど捨て難い fact14: その意気揚々は自問しないとしたら「このパブは古めかしいか自問するかまたはどちらもである」ということは成り立たない fact15: その意気揚々が捨て難いならばそのロックウール栽培は古めかしくないしそれに智天使でない fact16: ある物は智天使であるが捨て難くない fact17: そのロックウール栽培はマウントしなくて捨て難くない fact18: なにがしかの物は智天使でない fact19: とあるものはストックでなくて漏れ易いということはない ; $hypothesis$ = 「その意気揚々は自問するかまたは古めかしいか両方だ」ということは確かでない ; $proof$ = 
fact10 & fact7 -> int1: そのロックウール栽培は智天使でなくてそれに捨て難くない; int1 -> int2: あるものは智天使でなくてその上捨て難くない; int2 & fact6 -> int3: 「このパブは古めかしくない」ということは成り立つ; int3 & fact4 -> hypothesis; __PROVED__
事実1: そのロックウール栽培は捨て難くない
事実2: 「捨て難くない」物はある
事実3: もしもそのロックウール栽培が自問するとするとこのパブは智天使でないし古めかしくない
事実4: 仮にこのパブは古めかしくないとすれば「その意気揚々は自問するか古めかしいかあるいはどちらもだ」ということは成り立たない
事実5: あの蛸釣りは完全燃焼であるとすると「そのロックウール栽培は捨て難くない」ということは確かだ
事実6: もし仮にとあるものが智天使だということはないし捨て難くないならばこのパブは古めかしくない
事実7: あの蛸釣りは完全燃焼だ
事実8: 「このパブはセンタリングであるかそれは世知辛いかもしくはどちらもだ」ということは成り立たない
事実9: もしもあの蛸釣りが自問するとすればその意気揚々は自問する
事実10: もし仮にあの蛸釣りが完全燃焼だとしたらそのロックウール栽培は智天使でなくてまた捨て難くない
事実11: その意気揚々は古めかしくない
事実12: もしこのパブが古めかしいということはないとしたらその意気揚々は古めかしくない
事実13: とあるものは智天使でないけれど捨て難い
事実14: その意気揚々は自問しないとしたら「このパブは古めかしいか自問するかまたはどちらもである」ということは成り立たない
事実15: その意気揚々が捨て難いならばそのロックウール栽培は古めかしくないしそれに智天使でない
事実16: ある物は智天使であるが捨て難くない
事実17: そのロックウール栽培はマウントしなくて捨て難くない
事実18: なにがしかの物は智天使でない
事実19: とあるものはストックでなくて漏れ易いということはない

仮説: 「その意気揚々は自問するかまたは古めかしいか両方だ」ということは確かでない
1. 事実10と事実7から、推論1: "そのロックウール栽培は智天使でなくてそれに捨て難くない"が導かれる
2. 推論1から、推論2: "あるものは智天使でなくてその上捨て難くない"が導かれる
3. 推論2と事実6から、推論3: "「このパブは古めかしくない」ということは成り立つ"が導かれる
4. 推論3と事実4から、仮説が導かれる

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