この左腰は街らしくない一方で半角文字である
fact1: もしもなにがしかのものが消耗感ならそれは半角文字だ fact2: 「「ＲＯＳＡでなくてしかも進発しない」ということは偽である」ものがあるならこの左腰は消耗感だ fact3: 仮になんらかのものが進発するとすればそれはＲＯＳＡであるけど消耗感でない fact4: 「「ＲＯＳＡでないし進発しない」ということは成り立たない」物はある fact5: もしもなにかは目的無しないなら「街らしいということはないが半角文字だ」ということは成り立たない fact6: あのドライフラワーは街らしい fact7: ＲＯＳＡは消耗感でないならそれは目的無しない fact8: もしもこの左腰が手っ取り早くないならばそれは聖別するしさらにそれは湛える fact9: もしもあの訴額算定基準は目的無しなら「あのドライフラワーは見詰め有るかあるいは見えるということはない」ということは誤っている fact10: もしも「「見詰め有るか見えるということはないかあるいは両方である」ということは誤っている」ものがあるとすればこの左腰は街らしくない fact11: あの訴額算定基準は目的無し fact12: もしなんらかのものが聖別すればそれは進発する
fact9 & fact11 -> int1: 「あのドライフラワーは見詰め有るかまたはそれは見えないか両方だ」ということは成り立つということはない; int1 -> int2: 「「見詰め有るかもしくは見えないか両方である」ということは間違っている」ものはある; int2 & fact10 -> int3: この左腰は街らしくない; fact2 & fact4 -> int4: この左腰は消耗感だ; fact1 -> int5: もしこの左腰は消耗感であるなら半角文字だ; int4 & int5 -> int6: この左腰は半角文字である; int3 & int6 -> hypothesis;
「この左腰は街らしいということはないけれど半角文字だ」ということは成り立たない
fact14 -> int7: もしもこの左腰は目的無しないなら「街らしくないがしかし半角文字である」ということは嘘である; fact15 -> int8: 仮にこの左腰がＲＯＳＡであるが消耗感でないとすればそれは目的無しない; fact16 -> int9: もし「この左腰は進発する」ということは真実だとするとＲＯＳＡだしさらにそれは消耗感でない; fact13 -> int10: 仮にこの左腰が聖別するとするとそれは進発する;
$facts$ = fact1: もしもなにがしかのものが消耗感ならそれは半角文字だ fact2: 「「ＲＯＳＡでなくてしかも進発しない」ということは偽である」ものがあるならこの左腰は消耗感だ fact3: 仮になんらかのものが進発するとすればそれはＲＯＳＡであるけど消耗感でない fact4: 「「ＲＯＳＡでないし進発しない」ということは成り立たない」物はある fact5: もしもなにかは目的無しないなら「街らしいということはないが半角文字だ」ということは成り立たない fact6: あのドライフラワーは街らしい fact7: ＲＯＳＡは消耗感でないならそれは目的無しない fact8: もしもこの左腰が手っ取り早くないならばそれは聖別するしさらにそれは湛える fact9: もしもあの訴額算定基準は目的無しなら「あのドライフラワーは見詰め有るかあるいは見えるということはない」ということは誤っている fact10: もしも「「見詰め有るか見えるということはないかあるいは両方である」ということは誤っている」ものがあるとすればこの左腰は街らしくない fact11: あの訴額算定基準は目的無し fact12: もしなんらかのものが聖別すればそれは進発する ; $hypothesis$ = この左腰は街らしくない一方で半角文字である ; $proof$ = 
fact9 & fact11 -> int1: 「あのドライフラワーは見詰め有るかまたはそれは見えないか両方だ」ということは成り立つということはない; int1 -> int2: 「「見詰め有るかもしくは見えないか両方である」ということは間違っている」ものはある; int2 & fact10 -> int3: この左腰は街らしくない; fact2 & fact4 -> int4: この左腰は消耗感だ; fact1 -> int5: もしこの左腰は消耗感であるなら半角文字だ; int4 & int5 -> int6: この左腰は半角文字である; int3 & int6 -> hypothesis; __PROVED__
事実1: もしもなにがしかのものが消耗感ならそれは半角文字だ
事実2: 「「ＲＯＳＡでなくてしかも進発しない」ということは偽である」ものがあるならこの左腰は消耗感だ
事実3: 仮になんらかのものが進発するとすればそれはＲＯＳＡであるけど消耗感でない
事実4: 「「ＲＯＳＡでないし進発しない」ということは成り立たない」物はある
事実5: もしもなにかは目的無しないなら「街らしいということはないが半角文字だ」ということは成り立たない
事実6: あのドライフラワーは街らしい
事実7: ＲＯＳＡは消耗感でないならそれは目的無しない
事実8: もしもこの左腰が手っ取り早くないならばそれは聖別するしさらにそれは湛える
事実9: もしもあの訴額算定基準は目的無しなら「あのドライフラワーは見詰め有るかあるいは見えるということはない」ということは誤っている
事実10: もしも「「見詰め有るか見えるということはないかあるいは両方である」ということは誤っている」ものがあるとすればこの左腰は街らしくない
事実11: あの訴額算定基準は目的無し
事実12: もしなんらかのものが聖別すればそれは進発する

仮説: この左腰は街らしくない一方で半角文字である
1. 事実9と事実11から、推論1: "「あのドライフラワーは見詰め有るかまたはそれは見えないか両方だ」ということは成り立つということはない"が導かれる
2. 推論1から、推論2: "「「見詰め有るかもしくは見えないか両方である」ということは間違っている」ものはある"が導かれる
3. 推論2と事実10から、推論3: "この左腰は街らしくない"が導かれる
4. 事実2と事実4から、推論4: "この左腰は消耗感だ"が導かれる
5. 事実1から、推論5: "もしこの左腰は消耗感であるなら半角文字だ"が導かれる
6. 推論4と推論5から、推論6: "この左腰は半角文字である"が導かれる
7. 推論3と推論6から、仮説が導かれる

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