「「その空調瓶栽培はいかれるしおまけに離れ難い」ということは成り立つ」ということは嘘だ
fact1: 「事全ては離れ難い」ということは確かである fact2: もし仮に「そのシックはインショップ販売だ」ということは正しいとしたらその空調瓶栽培は事全てである fact3: もし仮に「あの核酸塩基は揺るがし兼ねるけどそれは握り直さない」ということは偽ならその空調瓶栽培は現行しない fact4: そのシックはインショップ販売であるし罹り易い fact5: 「あの核酸塩基は揺るがし兼ねるがしかし握り直さない」ということは誤っている fact6: もしも「その空調瓶栽培は現行しない」ということは本当ならば二千年段階だしいかれる
fact4 -> int1: そのシックはインショップ販売だ; int1 & fact2 -> int2: その空調瓶栽培は事全てだ; fact1 -> int3: 仮にその空調瓶栽培が事全てだとするとそれは離れ難い; int2 & int3 -> int4: その空調瓶栽培は離れ難い; fact3 & fact5 -> int5: その空調瓶栽培は現行しない; int5 & fact6 -> int6: その空調瓶栽培は二千年段階であるしおまけにそれはいかれる; int6 -> int7: 「その空調瓶栽培はいかれる」ということは事実だ; int4 & int7 -> hypothesis;
$facts$ = fact1: 「事全ては離れ難い」ということは確かである fact2: もし仮に「そのシックはインショップ販売だ」ということは正しいとしたらその空調瓶栽培は事全てである fact3: もし仮に「あの核酸塩基は揺るがし兼ねるけどそれは握り直さない」ということは偽ならその空調瓶栽培は現行しない fact4: そのシックはインショップ販売であるし罹り易い fact5: 「あの核酸塩基は揺るがし兼ねるがしかし握り直さない」ということは誤っている fact6: もしも「その空調瓶栽培は現行しない」ということは本当ならば二千年段階だしいかれる ; $hypothesis$ = 「「その空調瓶栽培はいかれるしおまけに離れ難い」ということは成り立つ」ということは嘘だ ; $proof$ = 
fact4 -> int1: そのシックはインショップ販売だ; int1 & fact2 -> int2: その空調瓶栽培は事全てだ; fact1 -> int3: 仮にその空調瓶栽培が事全てだとするとそれは離れ難い; int2 & int3 -> int4: その空調瓶栽培は離れ難い; fact3 & fact5 -> int5: その空調瓶栽培は現行しない; int5 & fact6 -> int6: その空調瓶栽培は二千年段階であるしおまけにそれはいかれる; int6 -> int7: 「その空調瓶栽培はいかれる」ということは事実だ; int4 & int7 -> hypothesis; __DISPROVED__
事実1: 「事全ては離れ難い」ということは確かである
事実2: もし仮に「そのシックはインショップ販売だ」ということは正しいとしたらその空調瓶栽培は事全てである
事実3: もし仮に「あの核酸塩基は揺るがし兼ねるけどそれは握り直さない」ということは偽ならその空調瓶栽培は現行しない
事実4: そのシックはインショップ販売であるし罹り易い
事実5: 「あの核酸塩基は揺るがし兼ねるがしかし握り直さない」ということは誤っている
事実6: もしも「その空調瓶栽培は現行しない」ということは本当ならば二千年段階だしいかれる

仮説: 「「その空調瓶栽培はいかれるしおまけに離れ難い」ということは成り立つ」ということは嘘だ
1. 事実4から、推論1: "そのシックはインショップ販売だ"が導かれる
2. 推論1と事実2から、推論2: "その空調瓶栽培は事全てだ"が導かれる
3. 事実1から、推論3: "仮にその空調瓶栽培が事全てだとするとそれは離れ難い"が導かれる
4. 推論2と推論3から、推論4: "その空調瓶栽培は離れ難い"が導かれる
5. 事実3と事実5から、推論5: "その空調瓶栽培は現行しない"が導かれる
6. 推論5と事実6から、推論6: "その空調瓶栽培は二千年段階であるしおまけにそれはいかれる"が導かれる
7. 推論6から、推論7: "「その空調瓶栽培はいかれる」ということは事実だ"が導かれる
8. 推論4と推論7から、仮説が否定される

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