「その生息・生育地は離れ難いけれどいがらっぽくない」ということは嘘である
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: 「この留置所は暑いが術式でない」ということは成り立つ
fact15 & fact22 -> int1: この留置所は高い; fact8 & fact10 -> int2: この留置所はトンガン人である; int1 & int2 -> int3: この留置所は高くてさらにそれはトンガン人だ; int3 & fact6 -> int4: その生息・生育地はいがらっぽくない; fact14 & fact1 -> int5: その生息・生育地は登山家らしくない; fact13 & int5 -> int6: その生息・生育地は離れ難くてかつ書様である; int6 -> int7: その生息・生育地は離れ難い; int4 & int7 -> hypothesis;
「その生息・生育地は離れ難いがいがらっぽくない」ということは成り立たない
fact26 -> int8: 「仮にその生息・生育地は真っ暗いということはないとしたら「その生息・生育地は離れ難いがいがらっぽくない」ということは確かでない」ということは成り立つ;
$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: 「この留置所は暑いが術式でない」ということは成り立つ ; $hypothesis$ = 「その生息・生育地は離れ難いけれどいがらっぽくない」ということは嘘である ; $proof$ = 
fact15 & fact22 -> int1: この留置所は高い; fact8 & fact10 -> int2: この留置所はトンガン人である; int1 & int2 -> int3: この留置所は高くてさらにそれはトンガン人だ; int3 & fact6 -> int4: その生息・生育地はいがらっぽくない; fact14 & fact1 -> int5: その生息・生育地は登山家らしくない; fact13 & int5 -> int6: その生息・生育地は離れ難くてかつ書様である; int6 -> int7: その生息・生育地は離れ難い; int4 & int7 -> hypothesis; __DISPROVED__
事実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: 「この留置所は暑いが術式でない」ということは成り立つ

仮説: 「その生息・生育地は離れ難いけれどいがらっぽくない」ということは嘘である
1. 事実15と事実22から、推論1: "この留置所は高い"が導かれる
2. 事実8と事実10から、推論2: "この留置所はトンガン人である"が導かれる
3. 推論1と推論2から、推論3: "この留置所は高くてさらにそれはトンガン人だ"が導かれる
4. 推論3と事実6から、推論4: "その生息・生育地はいがらっぽくない"が導かれる
5. 事実14と事実1から、推論5: "その生息・生育地は登山家らしくない"が導かれる
6. 事実13と推論5から、推論6: "その生息・生育地は離れ難くてかつ書様である"が導かれる
7. 推論6から、推論7: "その生息・生育地は離れ難い"が導かれる
8. 推論4と推論7から、仮説が否定される

よって、仮説が否定されました。