「この通常治療群は移ろい易いということはない」ということは成り立つ
fact1: 「あの形容詞・形容動詞はヘアスタイルでないか棹差しないかもしくは両方だ」ということは誤っているとしたらその店中は七十口径でない fact2: このＢアットは述べ伝える fact3: もしあの形容詞・形容動詞は述べ伝えれば「それはヘアスタイルでないか棹差さない」ということは誤りである fact4: あの形容詞・形容動詞はヘアスタイルだ fact5: もし何らかのものは七十口径でないとするとそれは共伴しないけど引き攣る fact6: 「共伴しないし引き攣る」ものがあるとしたらこの通常治療群は移ろい易い fact7: あの形容詞・形容動詞は述べ伝える
fact3 & fact7 -> int1: 「あの形容詞・形容動詞はヘアスタイルでないかもしくはそれは棹差さない」ということは成り立たない; int1 & fact1 -> int2: その店中は七十口径でない; fact5 -> int3: もし仮にその店中が七十口径でないならばそれは共伴しないしそれに引き攣る; int2 & int3 -> int4: その店中は共伴しないがしかし引き攣る; int4 -> int5: 「共伴しないしさらに引き攣る」ものはある; int5 & fact6 -> hypothesis;
$facts$ = fact1: 「あの形容詞・形容動詞はヘアスタイルでないか棹差しないかもしくは両方だ」ということは誤っているとしたらその店中は七十口径でない fact2: このＢアットは述べ伝える fact3: もしあの形容詞・形容動詞は述べ伝えれば「それはヘアスタイルでないか棹差さない」ということは誤りである fact4: あの形容詞・形容動詞はヘアスタイルだ fact5: もし何らかのものは七十口径でないとするとそれは共伴しないけど引き攣る fact6: 「共伴しないし引き攣る」ものがあるとしたらこの通常治療群は移ろい易い fact7: あの形容詞・形容動詞は述べ伝える ; $hypothesis$ = 「この通常治療群は移ろい易いということはない」ということは成り立つ ; $proof$ = 
fact3 & fact7 -> int1: 「あの形容詞・形容動詞はヘアスタイルでないかもしくはそれは棹差さない」ということは成り立たない; int1 & fact1 -> int2: その店中は七十口径でない; fact5 -> int3: もし仮にその店中が七十口径でないならばそれは共伴しないしそれに引き攣る; int2 & int3 -> int4: その店中は共伴しないがしかし引き攣る; int4 -> int5: 「共伴しないしさらに引き攣る」ものはある; int5 & fact6 -> hypothesis; __DISPROVED__
事実1: 「あの形容詞・形容動詞はヘアスタイルでないか棹差しないかもしくは両方だ」ということは誤っているとしたらその店中は七十口径でない
事実2: このＢアットは述べ伝える
事実3: もしあの形容詞・形容動詞は述べ伝えれば「それはヘアスタイルでないか棹差さない」ということは誤りである
事実4: あの形容詞・形容動詞はヘアスタイルだ
事実5: もし何らかのものは七十口径でないとするとそれは共伴しないけど引き攣る
事実6: 「共伴しないし引き攣る」ものがあるとしたらこの通常治療群は移ろい易い
事実7: あの形容詞・形容動詞は述べ伝える

仮説: 「この通常治療群は移ろい易いということはない」ということは成り立つ
1. 事実3と事実7から、推論1: "「あの形容詞・形容動詞はヘアスタイルでないかもしくはそれは棹差さない」ということは成り立たない"が導かれる
2. 推論1と事実1から、推論2: "その店中は七十口径でない"が導かれる
3. 事実5から、推論3: "もし仮にその店中が七十口径でないならばそれは共伴しないしそれに引き攣る"が導かれる
4. 推論2と推論3から、推論4: "その店中は共伴しないがしかし引き攣る"が導かれる
5. 推論4から、推論5: "「共伴しないしさらに引き攣る」ものはある"が導かれる
6. 推論5と事実6から、仮説が否定される

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