「あの祭典はグローバル化しない」ということは成り立つ
fact1: もし仮に「ややこしいかまたはグローバル化するかまたはどちらもである」物があるとしたらあの祭典はスライディングしない fact2: 仮にあるものがグローバル化するとしたらそれはややこしいということはなくて加えてスライディングするということはない fact3: あの祭典は一年半である fact4: もしも一年半が集中だとするとそれは蛋白加水分解物でない fact5: このラシャはスライディングする fact6: 仮にある物がスライディングするかまたはややこしいならあの祭典はグローバル化しない fact7: 何らかのものは蛋白加水分解物でないとしたらそれはグローバル化するしさらに世界大会だ fact8: もし仮に「ややこしい」ものがあるとするとあの祭典はグローバル化しない
fact5 -> int1: このラシャはスライディングするかもしくはややこしいかあるいは両方である; int1 -> int2: なんらかの物はスライディングするかもしくはそれはややこしいかもしくは両方だ; int2 & fact6 -> hypothesis;
fact5 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact6 -> hypothesis;
あの祭典はややこしいということはない
fact12 -> int3: あの祭典がグローバル化するとするとややこしくないしさらにスライディングするということはない; fact10 -> int4: もしあの祭典が蛋白加水分解物だということはないとすればグローバル化するしそれにそれは世界大会だ; fact11 -> int5: もし仮にあの祭典が一年半であるしそれが集中なら蛋白加水分解物でない;
$facts$ = fact1: もし仮に「ややこしいかまたはグローバル化するかまたはどちらもである」物があるとしたらあの祭典はスライディングしない fact2: 仮にあるものがグローバル化するとしたらそれはややこしいということはなくて加えてスライディングするということはない fact3: あの祭典は一年半である fact4: もしも一年半が集中だとするとそれは蛋白加水分解物でない fact5: このラシャはスライディングする fact6: 仮にある物がスライディングするかまたはややこしいならあの祭典はグローバル化しない fact7: 何らかのものは蛋白加水分解物でないとしたらそれはグローバル化するしさらに世界大会だ fact8: もし仮に「ややこしい」ものがあるとするとあの祭典はグローバル化しない ; $hypothesis$ = 「あの祭典はグローバル化しない」ということは成り立つ ; $proof$ = 
fact5 -> int1: このラシャはスライディングするかもしくはややこしいかあるいは両方である; int1 -> int2: なんらかの物はスライディングするかもしくはそれはややこしいかもしくは両方だ; int2 & fact6 -> hypothesis; __PROVED__
事実1: もし仮に「ややこしいかまたはグローバル化するかまたはどちらもである」物があるとしたらあの祭典はスライディングしない
事実2: 仮にあるものがグローバル化するとしたらそれはややこしいということはなくて加えてスライディングするということはない
事実3: あの祭典は一年半である
事実4: もしも一年半が集中だとするとそれは蛋白加水分解物でない
事実5: このラシャはスライディングする
事実6: 仮にある物がスライディングするかまたはややこしいならあの祭典はグローバル化しない
事実7: 何らかのものは蛋白加水分解物でないとしたらそれはグローバル化するしさらに世界大会だ
事実8: もし仮に「ややこしい」ものがあるとするとあの祭典はグローバル化しない

仮説: 「あの祭典はグローバル化しない」ということは成り立つ
1. 事実5から、推論1: "このラシャはスライディングするかもしくはややこしいかあるいは両方である"が導かれる
2. 推論1から、推論2: "なんらかの物はスライディングするかもしくはそれはややこしいかもしくは両方だ"が導かれる
3. 推論2と事実6から、仮説が導かれる

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