「その細胞内外は怠いということはないしおまけにそれはラインアップでない」ということは嘘である
fact1: もしもその細胞内外が仮住まいするならそれはコレクティブでないし運動しない fact2: どれもこれもは生み出すかあるいは食べ易いか両方である fact3: その細胞内外は怠くらない fact4: あの御握り弁当は消滅する fact5: 「この縦縞は憶測する」ということは成り立つ fact6: 「この林業政策は憶測する」ということは成り立つ fact7: もし仮になにかは憶測するなら「それは怠くらなくて加えてラインアップであるということはない」ということは誤りである fact8: この林業政策は止み難い fact9: もし仮にこの林業政策が憶測するとすればその細胞内外は消滅する fact10: 「その細胞内外は青臭くないしそれに開き易くない」ということは成り立つ fact11: もし仮にその細胞内外が憶測すればそれは怠くらないしそれにそれはラインアップでない fact12: もし仮にその細胞内外が憶測するとすればあの林業政策は怠い fact13: その細胞内外は憶測するということはなくて怠くらない fact14: 仮にあるものが消滅するなら怠くらない fact15: もし「その細胞内外は消滅しない」ということは成り立たないならそれは怠くらない fact16: ラインアップは憶測するということはなくて加えて怠くない fact17: この林業政策はラインアップでないしそれは区別し易くない fact18: もしその細胞内外が怠いとするとこの林業政策は消滅する fact19: もし「この林業政策はラインアップだ」ということは真実であるならその細胞内外は憶測する fact20: 仮になんらかのものが消滅するとするとそれは怠くらなくてまたラインアップでない
fact9 & fact6 -> int1: その細胞内外は消滅する; fact20 -> int2: もしその細胞内外が消滅するとすると怠くらなくてしかもラインアップでない; int1 & int2 -> hypothesis;
fact9 & fact6 -> int1: {B}{b}; fact20 -> int2: {B}{b} -> (¬{D}{b} & ¬{C}{b}); int1 & int2 -> hypothesis;
「その細胞内外は怠くらなくてラインアップでない」ということは偽だ
fact21 -> int3: もし仮にその細胞内外は憶測すれば「怠くらないしラインアップでない」ということは嘘だ; fact22 -> int4: その南京豆は生み出すかまたは食べ易いかどちらもである;
$facts$ = fact1: もしもその細胞内外が仮住まいするならそれはコレクティブでないし運動しない fact2: どれもこれもは生み出すかあるいは食べ易いか両方である fact3: その細胞内外は怠くらない fact4: あの御握り弁当は消滅する fact5: 「この縦縞は憶測する」ということは成り立つ fact6: 「この林業政策は憶測する」ということは成り立つ fact7: もし仮になにかは憶測するなら「それは怠くらなくて加えてラインアップであるということはない」ということは誤りである fact8: この林業政策は止み難い fact9: もし仮にこの林業政策が憶測するとすればその細胞内外は消滅する fact10: 「その細胞内外は青臭くないしそれに開き易くない」ということは成り立つ fact11: もし仮にその細胞内外が憶測すればそれは怠くらないしそれにそれはラインアップでない fact12: もし仮にその細胞内外が憶測するとすればあの林業政策は怠い fact13: その細胞内外は憶測するということはなくて怠くらない fact14: 仮にあるものが消滅するなら怠くらない fact15: もし「その細胞内外は消滅しない」ということは成り立たないならそれは怠くらない fact16: ラインアップは憶測するということはなくて加えて怠くない fact17: この林業政策はラインアップでないしそれは区別し易くない fact18: もしその細胞内外が怠いとするとこの林業政策は消滅する fact19: もし「この林業政策はラインアップだ」ということは真実であるならその細胞内外は憶測する fact20: 仮になんらかのものが消滅するとするとそれは怠くらなくてまたラインアップでない ; $hypothesis$ = 「その細胞内外は怠いということはないしおまけにそれはラインアップでない」ということは嘘である ; $proof$ = 
fact9 & fact6 -> int1: その細胞内外は消滅する; fact20 -> int2: もしその細胞内外が消滅するとすると怠くらなくてしかもラインアップでない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもその細胞内外が仮住まいするならそれはコレクティブでないし運動しない
事実2: どれもこれもは生み出すかあるいは食べ易いか両方である
事実3: その細胞内外は怠くらない
事実4: あの御握り弁当は消滅する
事実5: 「この縦縞は憶測する」ということは成り立つ
事実6: 「この林業政策は憶測する」ということは成り立つ
事実7: もし仮になにかは憶測するなら「それは怠くらなくて加えてラインアップであるということはない」ということは誤りである
事実8: この林業政策は止み難い
事実9: もし仮にこの林業政策が憶測するとすればその細胞内外は消滅する
事実10: 「その細胞内外は青臭くないしそれに開き易くない」ということは成り立つ
事実11: もし仮にその細胞内外が憶測すればそれは怠くらないしそれにそれはラインアップでない
事実12: もし仮にその細胞内外が憶測するとすればあの林業政策は怠い
事実13: その細胞内外は憶測するということはなくて怠くらない
事実14: 仮にあるものが消滅するなら怠くらない
事実15: もし「その細胞内外は消滅しない」ということは成り立たないならそれは怠くらない
事実16: ラインアップは憶測するということはなくて加えて怠くない
事実17: この林業政策はラインアップでないしそれは区別し易くない
事実18: もしその細胞内外が怠いとするとこの林業政策は消滅する
事実19: もし「この林業政策はラインアップだ」ということは真実であるならその細胞内外は憶測する
事実20: 仮になんらかのものが消滅するとするとそれは怠くらなくてまたラインアップでない

仮説: 「その細胞内外は怠いということはないしおまけにそれはラインアップでない」ということは嘘である
1. 事実9と事実6から、推論1: "その細胞内外は消滅する"が導かれる
2. 事実20から、推論2: "もしその細胞内外が消滅するとすると怠くらなくてしかもラインアップでない"が導かれる
3. 推論1と推論2から、仮説が否定される

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