あのトランス状態は層別しない
fact1: このデンタルペーストは御覧頂ける fact2: もし仮にその譲渡損益額は御覧頂けるなら「そのふくれっ面は御覧頂ける」ということは真実だ fact3: 仮に「「領有するかあるいは通電しないかどちらもである」ということは嘘な」物があるとしたらあのトランス状態は層別する fact4: もしそのふくれっ面が領有しないかもしくは通電しないかもしくはどちらもであるならばそれは御覧頂けない fact5: そのふくれっ面は領有する fact6: 「「領有しないかもしくは通電するかまたは両方ともだ」ということは成り立たない」物はある fact7: もし仮にその譲渡損益額が各常任委員会毎でなくて加えて逃避しないとすればそのふくれっ面は逃避しない fact8: もし仮になにがしかのものは逃避しないとすると「それは閉じ籠もらなくてまた御覧頂けない」ということは嘘である fact9: もしもそのふくれっ面が層別するならばあのトランス状態は獅子奮迅である fact10: もし仮にこの水質保全が引き難いとするとその譲渡損益額は各常任委員会毎でなくて更に逃避しない fact11: なんらかのものは領有しないかまたは通電しないかもしくは両方ともである fact12: そのふくれっ面が領有しないならば御覧頂けない fact13: その譲渡損益額は御覧頂ける fact14: 何らかの物は領有する fact15: あのトランス状態は御覧頂ける fact16: もし「「領有しないか通電するということはないかあるいはどちらもだ」ということは事実でない」物があるとするとあのトランス状態は層別する
void -> assump1: 以下のように仮定する。そのふくれっ面は領有しないかあるいはそれは通電しないかまたはどちらもだ; fact4 & assump1 -> int1: 「そのふくれっ面は御覧頂けない」ということは成り立つ; fact13 & fact2 -> int2: そのふくれっ面は御覧頂ける; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「そのふくれっ面は領有しないかまたはそれは通電するということはないかまたは両方ともである」ということは誤りである; int4 -> int5: 「「領有しないかあるいは通電しないかあるいはどちらもである」ということは成り立たない」物はある; int5 & fact16 -> hypothesis;
あのトランス状態は獅子奮迅である
$facts$ = fact1: このデンタルペーストは御覧頂ける fact2: もし仮にその譲渡損益額は御覧頂けるなら「そのふくれっ面は御覧頂ける」ということは真実だ fact3: 仮に「「領有するかあるいは通電しないかどちらもである」ということは嘘な」物があるとしたらあのトランス状態は層別する fact4: もしそのふくれっ面が領有しないかもしくは通電しないかもしくはどちらもであるならばそれは御覧頂けない fact5: そのふくれっ面は領有する fact6: 「「領有しないかもしくは通電するかまたは両方ともだ」ということは成り立たない」物はある fact7: もし仮にその譲渡損益額が各常任委員会毎でなくて加えて逃避しないとすればそのふくれっ面は逃避しない fact8: もし仮になにがしかのものは逃避しないとすると「それは閉じ籠もらなくてまた御覧頂けない」ということは嘘である fact9: もしもそのふくれっ面が層別するならばあのトランス状態は獅子奮迅である fact10: もし仮にこの水質保全が引き難いとするとその譲渡損益額は各常任委員会毎でなくて更に逃避しない fact11: なんらかのものは領有しないかまたは通電しないかもしくは両方ともである fact12: そのふくれっ面が領有しないならば御覧頂けない fact13: その譲渡損益額は御覧頂ける fact14: 何らかの物は領有する fact15: あのトランス状態は御覧頂ける fact16: もし「「領有しないか通電するということはないかあるいはどちらもだ」ということは事実でない」物があるとするとあのトランス状態は層別する ; $hypothesis$ = あのトランス状態は層別しない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのふくれっ面は領有しないかあるいはそれは通電しないかまたはどちらもだ; fact4 & assump1 -> int1: 「そのふくれっ面は御覧頂けない」ということは成り立つ; fact13 & fact2 -> int2: そのふくれっ面は御覧頂ける; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「そのふくれっ面は領有しないかまたはそれは通電するということはないかまたは両方ともである」ということは誤りである; int4 -> int5: 「「領有しないかあるいは通電しないかあるいはどちらもである」ということは成り立たない」物はある; int5 & fact16 -> hypothesis; __DISPROVED__
事実1: このデンタルペーストは御覧頂ける
事実2: もし仮にその譲渡損益額は御覧頂けるなら「そのふくれっ面は御覧頂ける」ということは真実だ
事実3: 仮に「「領有するかあるいは通電しないかどちらもである」ということは嘘な」物があるとしたらあのトランス状態は層別する
事実4: もしそのふくれっ面が領有しないかもしくは通電しないかもしくはどちらもであるならばそれは御覧頂けない
事実5: そのふくれっ面は領有する
事実6: 「「領有しないかもしくは通電するかまたは両方ともだ」ということは成り立たない」物はある
事実7: もし仮にその譲渡損益額が各常任委員会毎でなくて加えて逃避しないとすればそのふくれっ面は逃避しない
事実8: もし仮になにがしかのものは逃避しないとすると「それは閉じ籠もらなくてまた御覧頂けない」ということは嘘である
事実9: もしもそのふくれっ面が層別するならばあのトランス状態は獅子奮迅である
事実10: もし仮にこの水質保全が引き難いとするとその譲渡損益額は各常任委員会毎でなくて更に逃避しない
事実11: なんらかのものは領有しないかまたは通電しないかもしくは両方ともである
事実12: そのふくれっ面が領有しないならば御覧頂けない
事実13: その譲渡損益額は御覧頂ける
事実14: 何らかの物は領有する
事実15: あのトランス状態は御覧頂ける
事実16: もし「「領有しないか通電するということはないかあるいはどちらもだ」ということは事実でない」物があるとするとあのトランス状態は層別する

仮説: あのトランス状態は層別しない
1. 仮定1: 以下のように仮定する。そのふくれっ面は領有しないかあるいはそれは通電しないかまたはどちらもだ
2. 事実4と仮定1から、推論1: "「そのふくれっ面は御覧頂けない」ということは成り立つ"が導かれる
3. 事実13と事実2から、推論2: "そのふくれっ面は御覧頂ける"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「そのふくれっ面は領有しないかまたはそれは通電するということはないかまたは両方ともである」ということは誤りである"が導かれる
6. 推論4から、推論5: "「「領有しないかあるいは通電しないかあるいはどちらもである」ということは成り立たない」物はある"が導かれる
7. 推論5と事実16から、仮説が否定される

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