その共有結合性は押し拉がない
fact1: この我が家流は確からしいし流され易い fact2: もしこの説明インスタンスはアウトソーシングするし加えて一般行政職なら色好くない fact3: 仮にこの説明インスタンスが係属しないならその共有結合性は生涯学習社会でない fact4: その共有結合性は経理面だということはない fact5: もしもこの青銅が深くて更に係属するならあの最高齢は口座名義人でない fact6: この説明インスタンスは生涯学習社会だ fact7: もしある物が生涯学習社会でそれが口座名義人だとしたらそれは係属しない fact8: もしもこの説明インスタンスが経理面であるならばあの共有結合性は押し拉ぐ fact9: 仮に何らかのものが押し拉がないとすると口座名義人だしまたそれは係属する fact10: もしなんらかの物が係属するとするとその共有結合性は来易い fact11: もしも「経理面である」物があるとしたらこの説明インスタンスは生涯学習社会であるし口座名義人だ fact12: 「経理面である」ものはある fact13: 確からしいものが流され易いならその議は頑是無くない fact14: 夥しくないものは深くて係属する fact15: もし仮に「深くないけど夥しい」物があればその上達は押し拉ぐということはない fact16: もし仮にある物はべた付き易くないがしかし年功なら「この青銅は夥しくない」ということは事実である fact17: 「もしその議が頑是無いということはないならその議はべた付き易くないがしかし年功である」ということは正しい fact18: もし仮にこの説明インスタンスが係属するということはないならその共有結合性は押し拉がない fact19: 仮に「生涯学習社会な」ものがあるとしたらその共有結合性は手厳しい fact20: 仮にとあるものが経理面であるならこの説明インスタンスは生涯学習社会である fact21: この説明インスタンスは深くないけれど夥しい fact22: もしもこの北西部は経理面であるし更に引っこ抜くとすると起こし難くない fact23: もし仮に「なにがしかのものは経理面だ一方でそれは生涯学習社会でない」ということは成り立たないなら経理面でない
fact12 & fact11 -> int1: この説明インスタンスは生涯学習社会で口座名義人だ; fact7 -> int2: もしこの説明インスタンスが生涯学習社会であるしそれが口座名義人だとすれば係属しない; int1 & int2 -> int3: この説明インスタンスは係属するということはない; int3 & fact18 -> hypothesis;
fact12 & fact11 -> int1: ({B}{a} & {C}{a}); fact7 -> int2: ({B}{a} & {C}{a}) -> ¬{D}{a}; int1 & int2 -> int3: ¬{D}{a}; int3 & fact18 -> hypothesis;
「その上達は生涯学習社会でない」ということは成り立つ
fact25 -> int4: 仮に「その上達は押し拉がない」ということは成り立つとしたら口座名義人でおまけに係属する; fact26 -> int5: 何らかの物は深くないけれど夥しい; int5 & fact24 -> int6: その上達は押し拉がない; int4 & int6 -> int7: その上達は口座名義人であるし係属する; int7 -> int8: その上達は口座名義人である;
$facts$ = fact1: この我が家流は確からしいし流され易い fact2: もしこの説明インスタンスはアウトソーシングするし加えて一般行政職なら色好くない fact3: 仮にこの説明インスタンスが係属しないならその共有結合性は生涯学習社会でない fact4: その共有結合性は経理面だということはない fact5: もしもこの青銅が深くて更に係属するならあの最高齢は口座名義人でない fact6: この説明インスタンスは生涯学習社会だ fact7: もしある物が生涯学習社会でそれが口座名義人だとしたらそれは係属しない fact8: もしもこの説明インスタンスが経理面であるならばあの共有結合性は押し拉ぐ fact9: 仮に何らかのものが押し拉がないとすると口座名義人だしまたそれは係属する fact10: もしなんらかの物が係属するとするとその共有結合性は来易い fact11: もしも「経理面である」物があるとしたらこの説明インスタンスは生涯学習社会であるし口座名義人だ fact12: 「経理面である」ものはある fact13: 確からしいものが流され易いならその議は頑是無くない fact14: 夥しくないものは深くて係属する fact15: もし仮に「深くないけど夥しい」物があればその上達は押し拉ぐということはない fact16: もし仮にある物はべた付き易くないがしかし年功なら「この青銅は夥しくない」ということは事実である fact17: 「もしその議が頑是無いということはないならその議はべた付き易くないがしかし年功である」ということは正しい fact18: もし仮にこの説明インスタンスが係属するということはないならその共有結合性は押し拉がない fact19: 仮に「生涯学習社会な」ものがあるとしたらその共有結合性は手厳しい fact20: 仮にとあるものが経理面であるならこの説明インスタンスは生涯学習社会である fact21: この説明インスタンスは深くないけれど夥しい fact22: もしもこの北西部は経理面であるし更に引っこ抜くとすると起こし難くない fact23: もし仮に「なにがしかのものは経理面だ一方でそれは生涯学習社会でない」ということは成り立たないなら経理面でない ; $hypothesis$ = その共有結合性は押し拉がない ; $proof$ = 
fact12 & fact11 -> int1: この説明インスタンスは生涯学習社会で口座名義人だ; fact7 -> int2: もしこの説明インスタンスが生涯学習社会であるしそれが口座名義人だとすれば係属しない; int1 & int2 -> int3: この説明インスタンスは係属するということはない; int3 & fact18 -> hypothesis; __PROVED__
事実1: この我が家流は確からしいし流され易い
事実2: もしこの説明インスタンスはアウトソーシングするし加えて一般行政職なら色好くない
事実3: 仮にこの説明インスタンスが係属しないならその共有結合性は生涯学習社会でない
事実4: その共有結合性は経理面だということはない
事実5: もしもこの青銅が深くて更に係属するならあの最高齢は口座名義人でない
事実6: この説明インスタンスは生涯学習社会だ
事実7: もしある物が生涯学習社会でそれが口座名義人だとしたらそれは係属しない
事実8: もしもこの説明インスタンスが経理面であるならばあの共有結合性は押し拉ぐ
事実9: 仮に何らかのものが押し拉がないとすると口座名義人だしまたそれは係属する
事実10: もしなんらかの物が係属するとするとその共有結合性は来易い
事実11: もしも「経理面である」物があるとしたらこの説明インスタンスは生涯学習社会であるし口座名義人だ
事実12: 「経理面である」ものはある
事実13: 確からしいものが流され易いならその議は頑是無くない
事実14: 夥しくないものは深くて係属する
事実15: もし仮に「深くないけど夥しい」物があればその上達は押し拉ぐということはない
事実16: もし仮にある物はべた付き易くないがしかし年功なら「この青銅は夥しくない」ということは事実である
事実17: 「もしその議が頑是無いということはないならその議はべた付き易くないがしかし年功である」ということは正しい
事実18: もし仮にこの説明インスタンスが係属するということはないならその共有結合性は押し拉がない
事実19: 仮に「生涯学習社会な」ものがあるとしたらその共有結合性は手厳しい
事実20: 仮にとあるものが経理面であるならこの説明インスタンスは生涯学習社会である
事実21: この説明インスタンスは深くないけれど夥しい
事実22: もしもこの北西部は経理面であるし更に引っこ抜くとすると起こし難くない
事実23: もし仮に「なにがしかのものは経理面だ一方でそれは生涯学習社会でない」ということは成り立たないなら経理面でない

仮説: その共有結合性は押し拉がない
1. 事実12と事実11から、推論1: "この説明インスタンスは生涯学習社会で口座名義人だ"が導かれる
2. 事実7から、推論2: "もしこの説明インスタンスが生涯学習社会であるしそれが口座名義人だとすれば係属しない"が導かれる
3. 推論1と推論2から、推論3: "この説明インスタンスは係属するということはない"が導かれる
4. 推論3と事実18から、仮説が導かれる

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