「もし間断無くないとしたら後ろめたくないし可笑しくない」物はある
fact1: 「仮に間断無くないとしたら可笑しくない」ものはある fact2: この宗像等は間断無いということはないとすれば「それは後ろめたくない」ということは成り立つ fact3: 「もしも間断無くないならば後ろめたくて可笑しくない」物はある fact4: もしもこの宗像等が間断無いとしたらそれは後ろめたいということはなくて更に可笑しくない fact5: 「もし「間断無くない」ということは真実だとすれば後ろめたくない」物はある fact6: 仮にこの宗像等が間断無くないとしたら後ろめたくなくてその上可笑しくない fact7: もし仮にこの宗像等が間断無いということはないとすればそれは後ろめたくないけど可笑しい fact8: 仮に何らかのものが受け易くないならばそれは切り始めないしかつ戸籍上だということはない fact9: 「もし「間断無い」ということは確かでないとしたら後ろめたくないし可笑しい」物はある fact10: 仮にこの手当てが残業職員であるということはないとすると蝟集しないしさらに後ろめたくない fact11: 「仮に間断無いならば後ろめたくないし加えて可笑しくない」物はある
fact6 -> hypothesis;
「受け易くないならば切り始めないしまた戸籍上でない」物はある
fact12 -> int1: 仮にその接近が受け易くないとしたら切り始めないしその上それは戸籍上でない; int1 -> hypothesis;
$facts$ = fact1: 「仮に間断無くないとしたら可笑しくない」ものはある fact2: この宗像等は間断無いということはないとすれば「それは後ろめたくない」ということは成り立つ fact3: 「もしも間断無くないならば後ろめたくて可笑しくない」物はある fact4: もしもこの宗像等が間断無いとしたらそれは後ろめたいということはなくて更に可笑しくない fact5: 「もし「間断無くない」ということは真実だとすれば後ろめたくない」物はある fact6: 仮にこの宗像等が間断無くないとしたら後ろめたくなくてその上可笑しくない fact7: もし仮にこの宗像等が間断無いということはないとすればそれは後ろめたくないけど可笑しい fact8: 仮に何らかのものが受け易くないならばそれは切り始めないしかつ戸籍上だということはない fact9: 「もし「間断無い」ということは確かでないとしたら後ろめたくないし可笑しい」物はある fact10: 仮にこの手当てが残業職員であるということはないとすると蝟集しないしさらに後ろめたくない fact11: 「仮に間断無いならば後ろめたくないし加えて可笑しくない」物はある ; $hypothesis$ = 「もし間断無くないとしたら後ろめたくないし可笑しくない」物はある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 「仮に間断無くないとしたら可笑しくない」ものはある
事実2: この宗像等は間断無いということはないとすれば「それは後ろめたくない」ということは成り立つ
事実3: 「もしも間断無くないならば後ろめたくて可笑しくない」物はある
事実4: もしもこの宗像等が間断無いとしたらそれは後ろめたいということはなくて更に可笑しくない
事実5: 「もし「間断無くない」ということは真実だとすれば後ろめたくない」物はある
事実6: 仮にこの宗像等が間断無くないとしたら後ろめたくなくてその上可笑しくない
事実7: もし仮にこの宗像等が間断無いということはないとすればそれは後ろめたくないけど可笑しい
事実8: 仮に何らかのものが受け易くないならばそれは切り始めないしかつ戸籍上だということはない
事実9: 「もし「間断無い」ということは確かでないとしたら後ろめたくないし可笑しい」物はある
事実10: 仮にこの手当てが残業職員であるということはないとすると蝟集しないしさらに後ろめたくない
事実11: 「仮に間断無いならば後ろめたくないし加えて可笑しくない」物はある

仮説: 「もし間断無くないとしたら後ろめたくないし可笑しくない」物はある
1. 事実6から、仮説が導かれる

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