その市場範囲は最高長官である
fact1: そのパイシートは私共日本人だ fact2: もしあのエアフロメーターが私共日本人であるとするとその市場範囲は最高長官である fact3: もしもその市場範囲が先鋒部隊であるとしたらあのエアフロメーターは最高長官だ fact4: もし「その市場範囲は私共日本人でない」ということは成り立つとすれば「あのエアフロメーターは知り合いらしいがしかし間違い易いということはない」ということは確かである fact5: 仮になんらかのものはセロトニンであるということはないとすると「脳性麻痺だがしかし全日空ホテルでない」ということは正しくない fact6: この地区懇談会は最高長官だ fact7: 何らかのものは脳性麻痺でないなら「それが接着するしその上先鋒部隊である」ということは成り立たない fact8: 「そのトップ選手は私共日本人であるかもしくはそれは最高長官であるかまたはどちらもだ」ということは成り立たないならその市場範囲は私共日本人でない fact9: あのエアフロメーターは先鋒部隊でない fact10: もし仮に「なんらかの物は脳性麻痺であるが全日空ホテルでない」ということは成り立たないとしたら脳性麻痺でない fact11: もしも「そのトップ選手は共同代表でないがしかしセロトニンである」ということは成り立たないとすればセロトニンであるということはない fact12: もし仮に「何かは接着するしその上先鋒部隊だ」ということは間違いであるならそれは先鋒部隊でない fact13: 「そのトップ選手は共同代表でないけれどセロトニンである」ということは間違いだ fact14: あのエアフロメーターは私共日本人であるけれど先鋒部隊でない fact15: あのエアフロメーターは解毒しない
fact14 -> int1: あのエアフロメーターは私共日本人だ; int1 & fact2 -> hypothesis;
あのエアフロメーターは知り合いらしいがしかしそれは間違い易くない
fact17 -> int2: 仮に「そのトップ選手は接着するしおまけに先鋒部隊である」ということは成り立たないとしたらそれは先鋒部隊でない; fact21 -> int3: もしそのトップ選手は脳性麻痺でないとすると「それは接着するし先鋒部隊である」ということは誤りである; fact18 -> int4: もし仮に「「そのトップ選手は脳性麻痺である一方でそれは全日空ホテルでない」ということは成り立たない」ということは正しいとしたらそれは脳性麻痺でない; fact16 -> int5: もしもそのトップ選手はセロトニンでないとすると「それは脳性麻痺だ一方で全日空ホテルだということはない」ということは間違いである; fact22 & fact23 -> int6: 「そのトップ選手はセロトニンだということはない」ということは誤っているということはない; int5 & int6 -> int7: 「そのトップ選手は脳性麻痺だが全日空ホテルでない」ということは成り立たない; int4 & int7 -> int8: そのトップ選手は脳性麻痺でない; int3 & int8 -> int9: 「そのトップ選手は接着するし更にそれは先鋒部隊だ」ということは事実と異なる; int2 & int9 -> int10: そのトップ選手は先鋒部隊でない;
$facts$ = fact1: そのパイシートは私共日本人だ fact2: もしあのエアフロメーターが私共日本人であるとするとその市場範囲は最高長官である fact3: もしもその市場範囲が先鋒部隊であるとしたらあのエアフロメーターは最高長官だ fact4: もし「その市場範囲は私共日本人でない」ということは成り立つとすれば「あのエアフロメーターは知り合いらしいがしかし間違い易いということはない」ということは確かである fact5: 仮になんらかのものはセロトニンであるということはないとすると「脳性麻痺だがしかし全日空ホテルでない」ということは正しくない fact6: この地区懇談会は最高長官だ fact7: 何らかのものは脳性麻痺でないなら「それが接着するしその上先鋒部隊である」ということは成り立たない fact8: 「そのトップ選手は私共日本人であるかもしくはそれは最高長官であるかまたはどちらもだ」ということは成り立たないならその市場範囲は私共日本人でない fact9: あのエアフロメーターは先鋒部隊でない fact10: もし仮に「なんらかの物は脳性麻痺であるが全日空ホテルでない」ということは成り立たないとしたら脳性麻痺でない fact11: もしも「そのトップ選手は共同代表でないがしかしセロトニンである」ということは成り立たないとすればセロトニンであるということはない fact12: もし仮に「何かは接着するしその上先鋒部隊だ」ということは間違いであるならそれは先鋒部隊でない fact13: 「そのトップ選手は共同代表でないけれどセロトニンである」ということは間違いだ fact14: あのエアフロメーターは私共日本人であるけれど先鋒部隊でない fact15: あのエアフロメーターは解毒しない ; $hypothesis$ = その市場範囲は最高長官である ; $proof$ = 
fact14 -> int1: あのエアフロメーターは私共日本人だ; int1 & fact2 -> hypothesis; __PROVED__
事実1: そのパイシートは私共日本人だ
事実2: もしあのエアフロメーターが私共日本人であるとするとその市場範囲は最高長官である
事実3: もしもその市場範囲が先鋒部隊であるとしたらあのエアフロメーターは最高長官だ
事実4: もし「その市場範囲は私共日本人でない」ということは成り立つとすれば「あのエアフロメーターは知り合いらしいがしかし間違い易いということはない」ということは確かである
事実5: 仮になんらかのものはセロトニンであるということはないとすると「脳性麻痺だがしかし全日空ホテルでない」ということは正しくない
事実6: この地区懇談会は最高長官だ
事実7: 何らかのものは脳性麻痺でないなら「それが接着するしその上先鋒部隊である」ということは成り立たない
事実8: 「そのトップ選手は私共日本人であるかもしくはそれは最高長官であるかまたはどちらもだ」ということは成り立たないならその市場範囲は私共日本人でない
事実9: あのエアフロメーターは先鋒部隊でない
事実10: もし仮に「なんらかの物は脳性麻痺であるが全日空ホテルでない」ということは成り立たないとしたら脳性麻痺でない
事実11: もしも「そのトップ選手は共同代表でないがしかしセロトニンである」ということは成り立たないとすればセロトニンであるということはない
事実12: もし仮に「何かは接着するしその上先鋒部隊だ」ということは間違いであるならそれは先鋒部隊でない
事実13: 「そのトップ選手は共同代表でないけれどセロトニンである」ということは間違いだ
事実14: あのエアフロメーターは私共日本人であるけれど先鋒部隊でない
事実15: あのエアフロメーターは解毒しない

仮説: その市場範囲は最高長官である
1. 事実14から、推論1: "あのエアフロメーターは私共日本人だ"が導かれる
2. 推論1と事実2から、仮説が導かれる

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