その枢密院は眼球だ
fact1: その赤・黄・緑・青が母親らしいとするとその枢密院は眼球でない fact2: 「「その赤・黄・緑・青は母親らしいけれど眼球であるということはない」ということは誤りだ」ということは成り立つ fact3: もしなんらかのものは眼球であるならば母親らしくないし加えてランチメニューでない fact4: もしその赤・黄・緑・青がランチメニューでなくてかつそれが眼球でないとすればその枢密院は眼球だ fact5: 「その枢密院は保留するがしかし眼球でない」ということは事実と異なる fact6: 「なにがしかの物は万力だ」ということは確かであるならばそれはランチメニューでないしおまけに眼球だということはない fact7: 「その赤・黄・緑・青は保留するがしかし母親らしくない」ということは成り立つということはない fact8: 仮に「その赤・黄・緑・青は保留するが母親らしくない」ということは間違っているとしたらその枢密院は眼球でない fact9: 「その赤・黄・緑・青は保留するし更に母親らしい」ということは事実でない
fact8 & fact7 -> hypothesis;
fact8 & fact7 -> hypothesis;
その枢密院は眼球である
fact10 -> int1: もしその赤・黄・緑・青は万力であるならそれはランチメニューでないしさらに眼球でない;
$facts$ = fact1: その赤・黄・緑・青が母親らしいとするとその枢密院は眼球でない fact2: 「「その赤・黄・緑・青は母親らしいけれど眼球であるということはない」ということは誤りだ」ということは成り立つ fact3: もしなんらかのものは眼球であるならば母親らしくないし加えてランチメニューでない fact4: もしその赤・黄・緑・青がランチメニューでなくてかつそれが眼球でないとすればその枢密院は眼球だ fact5: 「その枢密院は保留するがしかし眼球でない」ということは事実と異なる fact6: 「なにがしかの物は万力だ」ということは確かであるならばそれはランチメニューでないしおまけに眼球だということはない fact7: 「その赤・黄・緑・青は保留するがしかし母親らしくない」ということは成り立つということはない fact8: 仮に「その赤・黄・緑・青は保留するが母親らしくない」ということは間違っているとしたらその枢密院は眼球でない fact9: 「その赤・黄・緑・青は保留するし更に母親らしい」ということは事実でない ; $hypothesis$ = その枢密院は眼球だ ; $proof$ = 
fact8 & fact7 -> hypothesis; __DISPROVED__
事実1: その赤・黄・緑・青が母親らしいとするとその枢密院は眼球でない
事実2: 「「その赤・黄・緑・青は母親らしいけれど眼球であるということはない」ということは誤りだ」ということは成り立つ
事実3: もしなんらかのものは眼球であるならば母親らしくないし加えてランチメニューでない
事実4: もしその赤・黄・緑・青がランチメニューでなくてかつそれが眼球でないとすればその枢密院は眼球だ
事実5: 「その枢密院は保留するがしかし眼球でない」ということは事実と異なる
事実6: 「なにがしかの物は万力だ」ということは確かであるならばそれはランチメニューでないしおまけに眼球だということはない
事実7: 「その赤・黄・緑・青は保留するがしかし母親らしくない」ということは成り立つということはない
事実8: 仮に「その赤・黄・緑・青は保留するが母親らしくない」ということは間違っているとしたらその枢密院は眼球でない
事実9: 「その赤・黄・緑・青は保留するし更に母親らしい」ということは事実でない

仮説: その枢密院は眼球だ
1. 事実8と事実7から、仮説が否定される

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