「その達成は着目しない」ということは成り立つ
fact1: あの海神会は国本培養だ fact2: この懲役刑は口煩い fact3: その達成は同道する fact4: 仮にその達成が思しいとすると殴打するということはなくてそれは実行し易い fact5: もし「その達成は消化し易い」ということは確かであるなら「それは国本培養だ」ということは成り立つ fact6: もし仮にその達成が国本培養でないけれど楽しとするとそれは現われ難くない fact7: 仮にその達成が消化し易いならそれは口煩くないししかも国本培養だ fact8: その達成は消化し易いしかつ同道する fact9: その達成が口煩くない一方で国本培養だとすると着目しない fact10: すべてのものは同道する fact11: もしその達成は使用し易いということはないがしかし合わせ易いとすれば「それは現われ難くない」ということは成り立つ fact12: その達成は共起しない
fact8 -> int1: その達成は消化し易い; int1 & fact7 -> int2: その達成は口煩くないがしかし国本培養である; int2 & fact9 -> hypothesis;
fact8 -> int1: {A}{a}; int1 & fact7 -> int2: (¬{D}{a} & {C}{a}); int2 & fact9 -> hypothesis;
その日曜・祝日は着目しない
fact13 -> int3: 「その達成は同道する」ということは本当である;
$facts$ = fact1: あの海神会は国本培養だ fact2: この懲役刑は口煩い fact3: その達成は同道する fact4: 仮にその達成が思しいとすると殴打するということはなくてそれは実行し易い fact5: もし「その達成は消化し易い」ということは確かであるなら「それは国本培養だ」ということは成り立つ fact6: もし仮にその達成が国本培養でないけれど楽しとするとそれは現われ難くない fact7: 仮にその達成が消化し易いならそれは口煩くないししかも国本培養だ fact8: その達成は消化し易いしかつ同道する fact9: その達成が口煩くない一方で国本培養だとすると着目しない fact10: すべてのものは同道する fact11: もしその達成は使用し易いということはないがしかし合わせ易いとすれば「それは現われ難くない」ということは成り立つ fact12: その達成は共起しない ; $hypothesis$ = 「その達成は着目しない」ということは成り立つ ; $proof$ = 
fact8 -> int1: その達成は消化し易い; int1 & fact7 -> int2: その達成は口煩くないがしかし国本培養である; int2 & fact9 -> hypothesis; __PROVED__
事実1: あの海神会は国本培養だ
事実2: この懲役刑は口煩い
事実3: その達成は同道する
事実4: 仮にその達成が思しいとすると殴打するということはなくてそれは実行し易い
事実5: もし「その達成は消化し易い」ということは確かであるなら「それは国本培養だ」ということは成り立つ
事実6: もし仮にその達成が国本培養でないけれど楽しとするとそれは現われ難くない
事実7: 仮にその達成が消化し易いならそれは口煩くないししかも国本培養だ
事実8: その達成は消化し易いしかつ同道する
事実9: その達成が口煩くない一方で国本培養だとすると着目しない
事実10: すべてのものは同道する
事実11: もしその達成は使用し易いということはないがしかし合わせ易いとすれば「それは現われ難くない」ということは成り立つ
事実12: その達成は共起しない

仮説: 「その達成は着目しない」ということは成り立つ
1. 事実8から、推論1: "その達成は消化し易い"が導かれる
2. 推論1と事実7から、推論2: "その達成は口煩くないがしかし国本培養である"が導かれる
3. 推論2と事実9から、仮説が導かれる

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