「「あの統括責任者は紛れるけど出入りし易くない」ということは確かである」ということは間違いである
fact1: 仮にとあるものが社会保障だということはないならばそれは紛れるし出入りし易くない fact2: その古木はゴム鞠でないとしたら「あの統括責任者は紛れるし出入りし易い」ということは偽だ fact3: 「あの統括責任者は紛れるし更に出入りし易い」ということは誤りだ fact4: あの統括責任者は馴れ馴れしくない fact5: あのオレンジレンズは社会保障である fact6: 仮に「社会保障であるか馴れ馴れしいかまたは両方である」物があればその古木はゴム鞠であるということはない fact7: 仮にその古木はゴム鞠でないとしたら「あの統括責任者は紛れるけど出入りし易くない」ということは成り立たない fact8: 「あのオレンジレンズはゴム鞠でない」ということは本当だ fact9: もし何かは馴れ馴れしいならその古木はゴム鞠でない fact10: 仮にあのオレンジレンズは紛れないとしたら「あの統括責任者は馴れ馴れしいがしかしそれは社会保障でない」ということは成り立たない
fact5 -> int1: あのオレンジレンズは社会保障であるかあるいはそれは馴れ馴れしいかまたは両方だ; int1 -> int2: 何らかのものは社会保障であるかあるいは馴れ馴れしい; int2 & fact6 -> int3: その古木はゴム鞠でない; int3 & fact7 -> hypothesis;
あの統括責任者は紛れるけれど出入りし易くない
fact11 -> int4: もしもあのオレンジレンズが社会保障であるということはないとすると紛れるしその上それは出入りし易くない;
$facts$ = fact1: 仮にとあるものが社会保障だということはないならばそれは紛れるし出入りし易くない fact2: その古木はゴム鞠でないとしたら「あの統括責任者は紛れるし出入りし易い」ということは偽だ fact3: 「あの統括責任者は紛れるし更に出入りし易い」ということは誤りだ fact4: あの統括責任者は馴れ馴れしくない fact5: あのオレンジレンズは社会保障である fact6: 仮に「社会保障であるか馴れ馴れしいかまたは両方である」物があればその古木はゴム鞠であるということはない fact7: 仮にその古木はゴム鞠でないとしたら「あの統括責任者は紛れるけど出入りし易くない」ということは成り立たない fact8: 「あのオレンジレンズはゴム鞠でない」ということは本当だ fact9: もし何かは馴れ馴れしいならその古木はゴム鞠でない fact10: 仮にあのオレンジレンズは紛れないとしたら「あの統括責任者は馴れ馴れしいがしかしそれは社会保障でない」ということは成り立たない ; $hypothesis$ = 「「あの統括責任者は紛れるけど出入りし易くない」ということは確かである」ということは間違いである ; $proof$ = 
fact5 -> int1: あのオレンジレンズは社会保障であるかあるいはそれは馴れ馴れしいかまたは両方だ; int1 -> int2: 何らかのものは社会保障であるかあるいは馴れ馴れしい; int2 & fact6 -> int3: その古木はゴム鞠でない; int3 & fact7 -> hypothesis; __PROVED__
事実1: 仮にとあるものが社会保障だということはないならばそれは紛れるし出入りし易くない
事実2: その古木はゴム鞠でないとしたら「あの統括責任者は紛れるし出入りし易い」ということは偽だ
事実3: 「あの統括責任者は紛れるし更に出入りし易い」ということは誤りだ
事実4: あの統括責任者は馴れ馴れしくない
事実5: あのオレンジレンズは社会保障である
事実6: 仮に「社会保障であるか馴れ馴れしいかまたは両方である」物があればその古木はゴム鞠であるということはない
事実7: 仮にその古木はゴム鞠でないとしたら「あの統括責任者は紛れるけど出入りし易くない」ということは成り立たない
事実8: 「あのオレンジレンズはゴム鞠でない」ということは本当だ
事実9: もし何かは馴れ馴れしいならその古木はゴム鞠でない
事実10: 仮にあのオレンジレンズは紛れないとしたら「あの統括責任者は馴れ馴れしいがしかしそれは社会保障でない」ということは成り立たない

仮説: 「「あの統括責任者は紛れるけど出入りし易くない」ということは確かである」ということは間違いである
1. 事実5から、推論1: "あのオレンジレンズは社会保障であるかあるいはそれは馴れ馴れしいかまたは両方だ"が導かれる
2. 推論1から、推論2: "何らかのものは社会保障であるかあるいは馴れ馴れしい"が導かれる
3. 推論2と事実6から、推論3: "その古木はゴム鞠でない"が導かれる
4. 推論3と事実7から、仮説が導かれる

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