「そのファシリテーターは競技しないかもしくはそれは介さないか両方ともである」ということは間違いである
fact1: 仮に何かは切磋琢磨するとすればその参加者同士は急騰しない fact2: この途中は餡インストールするということはない fact3: もし「「怒りっぽい」ものはある」ということは成り立つとすればこの途中は餡インストールしないししかもそれはねちっこくない fact4: もし仮になにがしかの物はねちっこくないとしたら「餡インストールするしさらに怒りっぽい」ということは間違いだ fact5: もし仮にこの途中が餡インストールするがしかしそれはねちっこくないならばそのファシリテーターは急騰しない fact6: 「この途中は外反肘でないかあるいはキープしないか両方だ」ということは間違いである fact7: もし仮にこの途中は介さないとしたら「それは餡インストールする」ということは正しい fact8: この途中は急騰する fact9: 「そのファシリテーターは介す」ということは真実だ fact10: そのファシリテーターは急騰しないとすれば「それは競技しないかまたは介さないか両方ともである」ということは誤っている fact11: そのファシリテーターが急騰しないならばそれは介す fact12: もし仮に怒りっぽい物はあるとしたら「この途中は餡インストールしない」ということは本当だ fact13: 「そのファシリテーターは介さないか遠しないか両方だ」ということは成り立つということはない fact14: 仮にこの途中が餡インストールしないししかもそれはねちっこくないとするとそのファシリテーターは急騰するということはない fact15: 「その号泣はねちっこいしかつ急騰する」ということは確かでないとすればあの途中はねちっこくない fact16: もし仮になにがしかのものが怒りっぽくないならば競技しないかあるいは介さないかまたは両方ともだ fact17: 何らかの物は介す fact18: 「あの民族学は伺わないかあるいは切磋琢磨しない」ということは成り立たない fact19: 「怒りっぽい」ものはある fact20: もしもその号泣はねちっこいということはないならば「この途中は怒りっぽいしそれは餡インストールする」ということは成り立たない fact21: なんらかの物が餡インストールするとしたらそのファシリテーターは介さないし急騰するということはない
fact19 & fact3 -> int1: この途中は餡インストールしないしさらにねちっこくない; int1 & fact14 -> int2: そのファシリテーターは急騰しない; int2 & fact10 -> hypothesis;
そのファシリテーターは競技しないかもしくは介さないか両方ともだ
fact23 -> int3: もし仮にそのファシリテーターが怒りっぽくないとするとそれは競技しないかもしくは介さない; fact24 -> int4: もしこの途中はねちっこくないならば「それは餡インストールするしまた怒りっぽい」ということは間違っている;
$facts$ = fact1: 仮に何かは切磋琢磨するとすればその参加者同士は急騰しない fact2: この途中は餡インストールするということはない fact3: もし「「怒りっぽい」ものはある」ということは成り立つとすればこの途中は餡インストールしないししかもそれはねちっこくない fact4: もし仮になにがしかの物はねちっこくないとしたら「餡インストールするしさらに怒りっぽい」ということは間違いだ fact5: もし仮にこの途中が餡インストールするがしかしそれはねちっこくないならばそのファシリテーターは急騰しない fact6: 「この途中は外反肘でないかあるいはキープしないか両方だ」ということは間違いである fact7: もし仮にこの途中は介さないとしたら「それは餡インストールする」ということは正しい fact8: この途中は急騰する fact9: 「そのファシリテーターは介す」ということは真実だ fact10: そのファシリテーターは急騰しないとすれば「それは競技しないかまたは介さないか両方ともである」ということは誤っている fact11: そのファシリテーターが急騰しないならばそれは介す fact12: もし仮に怒りっぽい物はあるとしたら「この途中は餡インストールしない」ということは本当だ fact13: 「そのファシリテーターは介さないか遠しないか両方だ」ということは成り立つということはない fact14: 仮にこの途中が餡インストールしないししかもそれはねちっこくないとするとそのファシリテーターは急騰するということはない fact15: 「その号泣はねちっこいしかつ急騰する」ということは確かでないとすればあの途中はねちっこくない fact16: もし仮になにがしかのものが怒りっぽくないならば競技しないかあるいは介さないかまたは両方ともだ fact17: 何らかの物は介す fact18: 「あの民族学は伺わないかあるいは切磋琢磨しない」ということは成り立たない fact19: 「怒りっぽい」ものはある fact20: もしもその号泣はねちっこいということはないならば「この途中は怒りっぽいしそれは餡インストールする」ということは成り立たない fact21: なんらかの物が餡インストールするとしたらそのファシリテーターは介さないし急騰するということはない ; $hypothesis$ = 「そのファシリテーターは競技しないかもしくはそれは介さないか両方ともである」ということは間違いである ; $proof$ = 
fact19 & fact3 -> int1: この途中は餡インストールしないしさらにねちっこくない; int1 & fact14 -> int2: そのファシリテーターは急騰しない; int2 & fact10 -> hypothesis; __PROVED__
事実1: 仮に何かは切磋琢磨するとすればその参加者同士は急騰しない
事実2: この途中は餡インストールするということはない
事実3: もし「「怒りっぽい」ものはある」ということは成り立つとすればこの途中は餡インストールしないししかもそれはねちっこくない
事実4: もし仮になにがしかの物はねちっこくないとしたら「餡インストールするしさらに怒りっぽい」ということは間違いだ
事実5: もし仮にこの途中が餡インストールするがしかしそれはねちっこくないならばそのファシリテーターは急騰しない
事実6: 「この途中は外反肘でないかあるいはキープしないか両方だ」ということは間違いである
事実7: もし仮にこの途中は介さないとしたら「それは餡インストールする」ということは正しい
事実8: この途中は急騰する
事実9: 「そのファシリテーターは介す」ということは真実だ
事実10: そのファシリテーターは急騰しないとすれば「それは競技しないかまたは介さないか両方ともである」ということは誤っている
事実11: そのファシリテーターが急騰しないならばそれは介す
事実12: もし仮に怒りっぽい物はあるとしたら「この途中は餡インストールしない」ということは本当だ
事実13: 「そのファシリテーターは介さないか遠しないか両方だ」ということは成り立つということはない
事実14: 仮にこの途中が餡インストールしないししかもそれはねちっこくないとするとそのファシリテーターは急騰するということはない
事実15: 「その号泣はねちっこいしかつ急騰する」ということは確かでないとすればあの途中はねちっこくない
事実16: もし仮になにがしかのものが怒りっぽくないならば競技しないかあるいは介さないかまたは両方ともだ
事実17: 何らかの物は介す
事実18: 「あの民族学は伺わないかあるいは切磋琢磨しない」ということは成り立たない
事実19: 「怒りっぽい」ものはある
事実20: もしもその号泣はねちっこいということはないならば「この途中は怒りっぽいしそれは餡インストールする」ということは成り立たない
事実21: なんらかの物が餡インストールするとしたらそのファシリテーターは介さないし急騰するということはない

仮説: 「そのファシリテーターは競技しないかもしくはそれは介さないか両方ともである」ということは間違いである
1. 事実19と事実3から、推論1: "この途中は餡インストールしないしさらにねちっこくない"が導かれる
2. 推論1と事実14から、推論2: "そのファシリテーターは急騰しない"が導かれる
3. 推論2と事実10から、仮説が導かれる

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