この責問権は説き給わない
fact1: 何らかのものは摂取しない fact2: 「説き給うし加えて高速回転する」ものはあるとすると「この責問権は居住しない」ということは確かである fact3: なにがしかの物は優れないけれど起き難い fact4: もしも首尾良くないしまた小さい物があればこの責問権は説き給うということはない fact5: もしある物は小さくないとすると「それは説き給わないしおまけに首尾良くない」ということは事実と異なる fact6: 「首尾良いし小さい」物はある fact7: もしも広し物が説き給うとしたらこの責問権は遠しということはない fact8: もし「優れるしさらに間断無い」物はあるなら「この責問権は説き給わない」ということは成り立つ fact9: 「抗うということはなくてそれに陸攻隊な」物はある fact10: なにがしかの物は小さい fact11: 仮に「人懐っこいということはないし加えて神代正語な」物があるとすればこの責問権は棄却しない fact12: 「何らかの物は変えらないがしかし露出度である」ということは成り立つ fact13: 仮にとある物が首尾良くて繁殖し易いならその訃報は暴き立てるということはない fact14: なにかは御馳走しないけれど間断無い fact15: もし仮になんらかの物が小さくないかまたはそれはスパイダーマンだということはないか両方ならばそれは小さくない fact16: 何らかのものは説き給わない fact17: もし何かは抗うということはないけど小さいならばこの朝市は対策本部長でない fact18: 「首尾良くない」ものはある fact19: 首尾良くないし更に小さい物はある
fact19 & fact4 -> hypothesis;
fact19 & fact4 -> hypothesis;
この責問権は説き給う
fact20 -> int1: もし仮にこの責問権が小さくないかそれはスパイダーマンでないかもしくはどちらもならそれは小さいということはない;
$facts$ = fact1: 何らかのものは摂取しない fact2: 「説き給うし加えて高速回転する」ものはあるとすると「この責問権は居住しない」ということは確かである fact3: なにがしかの物は優れないけれど起き難い fact4: もしも首尾良くないしまた小さい物があればこの責問権は説き給うということはない fact5: もしある物は小さくないとすると「それは説き給わないしおまけに首尾良くない」ということは事実と異なる fact6: 「首尾良いし小さい」物はある fact7: もしも広し物が説き給うとしたらこの責問権は遠しということはない fact8: もし「優れるしさらに間断無い」物はあるなら「この責問権は説き給わない」ということは成り立つ fact9: 「抗うということはなくてそれに陸攻隊な」物はある fact10: なにがしかの物は小さい fact11: 仮に「人懐っこいということはないし加えて神代正語な」物があるとすればこの責問権は棄却しない fact12: 「何らかの物は変えらないがしかし露出度である」ということは成り立つ fact13: 仮にとある物が首尾良くて繁殖し易いならその訃報は暴き立てるということはない fact14: なにかは御馳走しないけれど間断無い fact15: もし仮になんらかの物が小さくないかまたはそれはスパイダーマンだということはないか両方ならばそれは小さくない fact16: 何らかのものは説き給わない fact17: もし何かは抗うということはないけど小さいならばこの朝市は対策本部長でない fact18: 「首尾良くない」ものはある fact19: 首尾良くないし更に小さい物はある ; $hypothesis$ = この責問権は説き給わない ; $proof$ = 
fact19 & fact4 -> hypothesis; __PROVED__
事実1: 何らかのものは摂取しない
事実2: 「説き給うし加えて高速回転する」ものはあるとすると「この責問権は居住しない」ということは確かである
事実3: なにがしかの物は優れないけれど起き難い
事実4: もしも首尾良くないしまた小さい物があればこの責問権は説き給うということはない
事実5: もしある物は小さくないとすると「それは説き給わないしおまけに首尾良くない」ということは事実と異なる
事実6: 「首尾良いし小さい」物はある
事実7: もしも広し物が説き給うとしたらこの責問権は遠しということはない
事実8: もし「優れるしさらに間断無い」物はあるなら「この責問権は説き給わない」ということは成り立つ
事実9: 「抗うということはなくてそれに陸攻隊な」物はある
事実10: なにがしかの物は小さい
事実11: 仮に「人懐っこいということはないし加えて神代正語な」物があるとすればこの責問権は棄却しない
事実12: 「何らかの物は変えらないがしかし露出度である」ということは成り立つ
事実13: 仮にとある物が首尾良くて繁殖し易いならその訃報は暴き立てるということはない
事実14: なにかは御馳走しないけれど間断無い
事実15: もし仮になんらかの物が小さくないかまたはそれはスパイダーマンだということはないか両方ならばそれは小さくない
事実16: 何らかのものは説き給わない
事実17: もし何かは抗うということはないけど小さいならばこの朝市は対策本部長でない
事実18: 「首尾良くない」ものはある
事実19: 首尾良くないし更に小さい物はある

仮説: この責問権は説き給わない
1. 事実19と事実4から、仮説が導かれる

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