あのユーティリティーは頼り無いし望ましい
fact1: この遠投は脳炎でないとすれば「カセットだけれど痛々しくない」ということは事実と異なる fact2: もし真っ暗い物は頼り無くないとすれば「それは何気無い」ということは成り立つ fact3: この遠投は脳炎でない fact4: 仮にこの伸展が曇り無ししおまけにそれが暮らせるとすればあの一般的職務権限は曇り無しということはない fact5: もし仮に何かは利活用しないかあるいはそれが大人らしくないなら大人らしくない fact6: 割れ難いということはないものは利活用しないかまたは大人らしくないかまたは両方ともだ fact7: もしそのガラスケースが苛立たない一方でそれが明示するとしたらあのユーティリティーは苛立つ fact8: あのユーティリティーは苛立つ fact9: もしとある物が剥脱するということはないならばそれは苛立たなくてそれにそれは明示する fact10: 仮にあの膵管が何気無いならばその野鳥は何気無い fact11: あのα乗分布が両側面だとすればその一般的職務権限は剥脱する fact12: あの膵管は何気無くてさらにそれは真っ暗い fact13: この地域再生は御し易いしおまけに割れ難い fact14: あのユーティリティーは望ましいしそれに苛立つ fact15: もしこの遠投がカセットでないとすればこの伸展は曇り無しし暮らせる fact16: あの膵管は何気無い fact17: もしもあのユーティリティーは苛立てば「あの膵管は望ましい」ということは成り立つ fact18: 仮にあの膵管が真っ暗いならあのユーティリティーは頼り無い fact19: 大人らしくない物は両側面だしさらに上げ易い fact20: 「この遠投はカセットだがしかしそれは痛々しくない」ということは成り立たないとしたらそれはカセットでない fact21: あの膵管は頼り無いしその上何気無い fact22: 「仮にその一般的職務権限が剥脱する一方で曇り無しということはないとしたらそのガラスケースは剥脱しない」ということは成り立つ fact23: 仮にこの地域再生が御し易いししかも割れ難いならあのα乗分布は割れ難くない
fact12 -> int1: あの膵管は真っ暗い; int1 & fact18 -> int2: あのユーティリティーは頼り無い; fact14 -> int3: あのユーティリティーは望ましい; int2 & int3 -> hypothesis;
fact12 -> int1: {B}{a}; int1 & fact18 -> int2: {C}{b}; fact14 -> int3: {D}{b}; int2 & int3 -> hypothesis;
その野鳥は何気無い
fact38 -> int4: もしもあの膵管は真っ暗いけど頼り無くないなら何気無い; fact26 -> int5: もしそのガラスケースが剥脱しないとすれば苛立たないが明示する; fact28 -> int6: もしもあのα乗分布が大人らしくないとすればそれは両側面であるし加えて上げ易い; fact29 -> int7: 仮にあのα乗分布が利活用しないかまたはそれは大人らしくないなら「それは大人らしくない」ということは確かである; fact24 -> int8: あのα乗分布が割れ難くないとしたら利活用しないかまたは大人らしくないかもしくはどちらもである; fact36 & fact34 -> int9: あのα乗分布は割れ難くない; int8 & int9 -> int10: あのα乗分布は利活用するということはないかまたは大人らしいということはないかまたは両方である; int7 & int10 -> int11: あのα乗分布は大人らしくない; int6 & int11 -> int12: あのα乗分布は両側面でまた上げ易い; int12 -> int13: あのα乗分布は両側面である; fact35 & int13 -> int14: その一般的職務権限は剥脱する; fact32 & fact30 -> int15: 「この遠投はカセットだけれどそれは痛々しくない」ということは誤っている; fact40 & int15 -> int16: この遠投はカセットでない; fact27 & int16 -> int17: この伸展は曇り無ししそれに暮らせる; fact39 & int17 -> int18: その一般的職務権限は曇り無しない; int14 & int18 -> int19: その一般的職務権限は剥脱する一方で曇り無しない; fact31 & int19 -> int20: そのガラスケースは剥脱しない; int5 & int20 -> int21: そのガラスケースは苛立たない一方で明示する; fact37 & int21 -> int22: あのユーティリティーは苛立つ; fact25 & int22 -> int23: あの膵管は望ましい;
$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 -> int1: あの膵管は真っ暗い; int1 & fact18 -> int2: あのユーティリティーは頼り無い; fact14 -> int3: あのユーティリティーは望ましい; int2 & int3 -> 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から、推論1: "あの膵管は真っ暗い"が導かれる
2. 推論1と事実18から、推論2: "あのユーティリティーは頼り無い"が導かれる
3. 事実14から、推論3: "あのユーティリティーは望ましい"が導かれる
4. 推論2と推論3から、仮説が導かれる

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