この信号灯は君らしくない
fact1: もし仮に「「御招きするということはないし更に好ましい」ということは偽である」ものがあるとすればこの年次は取り澄ます fact2: 「科学的見解でない」ものはある fact3: 「済ま無いということはない」物はある fact4: もし「済ま無くない」ものがあるならこの四参照は取り澄ますということはない fact5: もし仮になんらかのものが科学的見解でないとしたらあの断崖絶壁は来易くない fact6: もしも「この年次は取り澄ますかもしくはそれは立法権であるかまたは両方だ」ということは本当であるならばこの四参照は済ま無くない fact7: 仮に「この四参照は済ま無くない」ということは成り立てばこの信号灯は君らしい fact8: もしあの断崖絶壁は来易いということはないとすれば「この間広は御招きしないけどそれは好ましい」ということは誤っている
fact2 & fact5 -> int1: あの断崖絶壁は来易くない; int1 & fact8 -> int2: 「この間広は御招きしないけどそれは好ましい」ということは成り立たない; int2 -> int3: 「「御招きしないが好ましい」ということは事実と異なる」物はある; int3 & fact1 -> int4: この年次は取り澄ます; int4 -> int5: この年次は取り澄ますかもしくは立法権であるかあるいは両方ともである; int5 & fact6 -> int6: この四参照は済ま無くない; int6 & fact7 -> hypothesis;
$facts$ = fact1: もし仮に「「御招きするということはないし更に好ましい」ということは偽である」ものがあるとすればこの年次は取り澄ます fact2: 「科学的見解でない」ものはある fact3: 「済ま無いということはない」物はある fact4: もし「済ま無くない」ものがあるならこの四参照は取り澄ますということはない fact5: もし仮になんらかのものが科学的見解でないとしたらあの断崖絶壁は来易くない fact6: もしも「この年次は取り澄ますかもしくはそれは立法権であるかまたは両方だ」ということは本当であるならばこの四参照は済ま無くない fact7: 仮に「この四参照は済ま無くない」ということは成り立てばこの信号灯は君らしい fact8: もしあの断崖絶壁は来易いということはないとすれば「この間広は御招きしないけどそれは好ましい」ということは誤っている ; $hypothesis$ = この信号灯は君らしくない ; $proof$ = 
fact2 & fact5 -> int1: あの断崖絶壁は来易くない; int1 & fact8 -> int2: 「この間広は御招きしないけどそれは好ましい」ということは成り立たない; int2 -> int3: 「「御招きしないが好ましい」ということは事実と異なる」物はある; int3 & fact1 -> int4: この年次は取り澄ます; int4 -> int5: この年次は取り澄ますかもしくは立法権であるかあるいは両方ともである; int5 & fact6 -> int6: この四参照は済ま無くない; int6 & fact7 -> hypothesis; __DISPROVED__
事実1: もし仮に「「御招きするということはないし更に好ましい」ということは偽である」ものがあるとすればこの年次は取り澄ます
事実2: 「科学的見解でない」ものはある
事実3: 「済ま無いということはない」物はある
事実4: もし「済ま無くない」ものがあるならこの四参照は取り澄ますということはない
事実5: もし仮になんらかのものが科学的見解でないとしたらあの断崖絶壁は来易くない
事実6: もしも「この年次は取り澄ますかもしくはそれは立法権であるかまたは両方だ」ということは本当であるならばこの四参照は済ま無くない
事実7: 仮に「この四参照は済ま無くない」ということは成り立てばこの信号灯は君らしい
事実8: もしあの断崖絶壁は来易いということはないとすれば「この間広は御招きしないけどそれは好ましい」ということは誤っている

仮説: この信号灯は君らしくない
1. 事実2と事実5から、推論1: "あの断崖絶壁は来易くない"が導かれる
2. 推論1と事実8から、推論2: "「この間広は御招きしないけどそれは好ましい」ということは成り立たない"が導かれる
3. 推論2から、推論3: "「「御招きしないが好ましい」ということは事実と異なる」物はある"が導かれる
4. 推論3と事実1から、推論4: "この年次は取り澄ます"が導かれる
5. 推論4から、推論5: "この年次は取り澄ますかもしくは立法権であるかあるいは両方ともである"が導かれる
6. 推論5と事実6から、推論6: "この四参照は済ま無くない"が導かれる
7. 推論6と事実7から、仮説が否定される

よって、仮説が否定されました。